1.4 设计模式分类
常用的设计模式可以概括为23种,按照特点可以将其分为三大类型:
■ 创建型
■ 结构型
■ 行为型
1.4.1 创建型
创建型模式是用来创建对象的模式,抽象了实例化的过程,帮助一个系统独立于其关联对象的创建、组合和表示方式。所有的创建型模式都有两个主要功能:
■ 将系统所使用的具体类的信息封装起来;
■ 隐藏类的实例是如何被创建和组织的。外界对于这些对象只知道它们共同的接口,而不清楚其具体的实现细节。
正因为以上两点,创建型模式在创建什么(what),由谁(who)来创建,以及何时(when)创建这些方面,都为软件设计者提供了尽可能大的灵活性。
例如,假定在一个游戏开发场景中,会用到一个现代风格房屋的对象,Java代码如下所示。
Room room = new ModernRoom();
现在,现代风格房屋的对象已经有了,但如果这时房屋的风格变化,需要的是古典风格的房屋,则应创建一个古典风格的房屋,Java代码如下所示。
Room room = new ClassicalRoom();
如果在程序中有多处用到了这样的创建逻辑,仅仅是因为房屋的风格变化了,就需要修改程序中所有这样的语句。可以使用创建型模式封装对象创建的逻辑,将对象的创建放在一个工厂方法中,代码如下所示。
RoomFactory factory = new ModernRoomFactory(); Room modernRoom = factory.create();
当房屋的风格变化时,只需要将factory重新构造为ClassicalRoomFactory的实例即可,代码如下所示。
RoomFactory factory = new ClassicalRoomFactory(); Room classicalRoom = factory.create();
factory 对象在整个应用中可以只构造一次,因此上述的改动量很小,而其他用到 room的地方仍然不变,这就是为什么需要创建型模式。创建型模式的作用可以概括为如下两点。
■ 封装创建逻辑,不仅仅是new一个对象那么简单;
■ 封装创建逻辑变化,客户代码尽量不修改,或尽量少修改。
常见的创建型设计模式有下列几种。
■ 单例模式(Singleton Pattern):一个类只有一个实例,而且自行实例化并向整个系统提供这个实例。
■ 工厂方法模式(Factory Pattern):在工厂方法模式中,工厂类成为了抽象类,实际的创建工作将由其具体子类来完成。工厂方法的用意是定义一个创建产品对象的工厂接口,将实际创建工作推迟到子类中去,强调的是“单个对象”的变化。
■ 抽象工厂模式(Abstract Factory):抽象工厂是所有工厂模式中最为抽象和最具有一般性的一种形态。抽象工厂可以向客户提供一个接口,使得客户可以在不必指定产品具体类型的情况下,创建多个产品族中的产品对象,强调的是“系列对象”的变化。
■ 建造者模式(Builder Pattern):把构造对象实例的逻辑移到了类的外部,在类的外部定义了该类的构造逻辑。它把一个复杂对象的构造过程从对象的表示中分离出来,其直接效果是将一个复杂的对象简化为一个比较简单的目标对象,强调的是产品的构造过程。
■ 原型模式(Prototype Pattern):原型模式和工厂模式一样,同样对客户隐藏了对象创建工作,但与通过对一个类进行实例化来构造新对象不同的是,原型模式是通过复制一个现有对象生成新对象。
1.4.2 结构型
顾名思义,结构型模式讨论的是类和对象的结构,它采用继承机制来组合接口或实现(类结构型模式),或者通过组合一些对象实现新的功能(对象结构型模式)。这些结构型模式在某些方面具有很大的相似性,但侧重点却各有不同。
常见的结构型设计模式有以下几种。
■ 代理模式(Proxy):为其他对象提供一种代理以控制对该对象的访问。
■ 装饰模式(Decorator):动态地给一个对象添加一些额外的职责,就增加功能来说,装饰模式比生成子类更为灵活。
■ 适配器模式(Adapter):将一个类的接口变换成客户端所期待的另一接口,从而使原本因接口不匹配而无法在一起工作的两个类能够在一起工作。
■ 组合模式(Composite):也叫合成模式,将对象组合成树形结构以表示“部分—整体”的层次结构,使得用户对单个对象和组合对象的使用具有一致性。
■ 桥梁模式(Bridge):也叫桥接模式,将抽象和实现解耦,使得两者可以独立变化。
■ 外观模式(Facade):也叫门面模式,要求一个子系统的外部与其内部的通信必须通过一个统一的对象进行,外观模式提供一个高层次的接口,使得子系统更易于使用。
■ 享元模式(Flyweight):是池技术的重要实现方式,使用共享对象可有效地支持大量的细粒度的对象。
1.4.3 行为型
行为型设计模式关注的是对象的行为,用来解决对象之间的联系问题,常见的行为型设计模式有以下几种。
■ 模板方法模式(Template Method):定义一个操作中的算法的框架,而将一些步骤延迟到子类中,使得子类可以不改变一个算法的结构即可重定义该算法的某些特定步骤。
■ 命令模式(Command):是一种高内聚的模式,将一个请求封装成一个对象,从而使用不同的请求把客户端参数化,对请求排队或者记录请求日志,可以提供命令的撤销和恢复功能。
■ 责任链模式(Chain of Responsibility):使多个对象都有机会处理请求,从而避免了请求的发送者和接受者之间的耦合关系。将这些对象连成一条链,并沿着这条链传递该请求,直到有对象处理它为止。
■ 策略模式(Strategy):也叫政策模式,定义一组算法,将每个算法都封装起来,并且使它们之间可以互换。
■ 迭代器模式(Iterator):提供一种方法访问一个容器对象中的各个元素,而又不需要暴露该对象的内部细节。
■ 中介者模式(Mediator):用一个中介对象封装一系列的对象交互,中介者使各对象不需要显式地相互作用,从而使其耦合松散,而且可以独立地改变它们之间的交互。
■ 观察者模式(Observer):也叫发布订阅模式,定义对象间的一种一对多的依赖关系,使得每当一个对象改变状态,则所有依赖于它的对象都会得到通知并被自动更新。
■ 备忘录模式(Memento):在不破坏封装性的前提下,捕获一个对象的内部状态,并在该对象之外保存这个状态。
■ 访问者模式(Visitor):封装一些作用于某种数据结构中的各元素的操作,它可以在不改变数据结构的前提下定义作用于这些元素的新的操作。
■ 状态模式(State):当一个对象内在状态改变时允许其改变行为,这个对象看起来像改变了其类型,状态模式的核心是封装,状态的变更引起行为的变更。
■ 解释器模式(Interpreter):给定一门语言,定义它的文法的一种表示,并定义一个解释器,该解释器使用该文法表示来解释语言中的句子。