设计模式 (电脑)
在软件工程中,设计模式(design pattern)是对软件设计中普遍存在(反复出现)的各种问题,所提出的解决方案。这个术语是由埃里希·伽玛(Erich Gamma)等人在1990年代从建筑设计领域引入到电脑科学的。
设计模式并不直接用来完成代码的编写,而是描述在各种不同情况下,要怎么解决问题的一种方案。面向对象设计模式通常以类别或物件来描述其中的关系和相互作用,但不涉及用来完成应用程式的特定类别或物件。设计模式能使不稳定依赖于相对稳定、具体依赖于相对抽象,避免会引起麻烦的紧耦合,以增强软件设计面对并适应变化的能力。
并非所有的软件模式都是设计模式,设计模式特指软件“设计”层次上的问题。还有其他非设计模式的模式,如架构模式。同时,算法不能算是一种设计模式,因为算法主要是用来解决计算上的问题,而非设计上的问题。
随着软件开发社群对设计模式的兴趣日益增长,已经出版了一些相关的专著,定期召开相应的研讨会,而且沃德·坎宁安(Ward Cunningham)为此发明了WikiWiki用来交流设计模式的经验。
发展历史
编辑建筑师克里斯托佛·亚历山大在1977/79年编制了一本汇集设计模式的书,但是这种设计模式的思想在建筑设计领域里的影响远没有后来在软件开发领域里传播的广泛。
肯特·贝克和沃德·坎宁安在1987年,利用克里斯托佛·亚历山大在建筑设计领域里的思想开发了设计模式,并把此思想应用在Smalltalk中的图形用户接口(GUI)的生成中。一年后,埃里希·伽玛在他的苏黎世大学博士毕业论文中开始尝试把这种思想改写为适用于软件开发。与此同时James Coplien 在1989年至1991年也在利用相同的思想致力于C++的开发,而后于1991年发表了他的著作Advanced C++ Programming Styles and Idioms。同年,埃里希·伽玛得到了博士学位,然后去了美国,在那与Richard Helm、Ralph Johnson、John Vlissides 合作出版了《设计模式:可复用面向对象软件的基础》(Design Patterns - Elements of Reusable Object-Oriented Software) 一书,在此书中共收录了 23 种设计模式。
这四位作者在软件开发领域里以“四人帮”(英语,Gang of Four,简称GoF)而闻名,并且他们在此书中的协作导致了软件设计模式的突破。有时,GoF也会用于代指《设计模式》这本书。
表述格式
编辑表述一个软件设计模式的格式根据作者的不同,划分和名称等都会有所不同。常用的GoF描述模式的格式大致分为以下这些部分:
- 模式名:每一个模式都有自己的名字,模式的名字使得我们可以讨论我们的设计。
- 问题:在面向对象的系统设计过程中反复出现的特定场合,它导致我们采用某个模式。
- 解决方案:上述问题的解决方案,其内容给出了设计的各个组成部分,它们之间的关系、职责划分和协作方式。
- 别名:一个模式可以有超过一个以上的名称。这些名称应该要在这一节注明。
- 动机:在哪种情况使用该模式,是本节提供的方案(包括问题与来龙去脉)的责任。
- 适用性:模式适用于哪些情况、模式的背景等等。
- 结构:这部分常用类图与交互图阐述此模式。
- 参与者:这部分提供一份本模式用到的类与物件清单,与它们在设计下扮演的角色。
- 合作:描述在此模式下,类与物件间的交互。
- 影响:采用该模式对软件系统其他部分的影响,比如对系统的扩充性、可移植性的影响。影响也包括负面的影响。这部分应描述使用本模式后的结果、副作用、与权衡(trade-off)。
- 实现:这部分应描述实现该模式、该模式的部分方案、实现该模式的可能技术、或者建议实现模式的方法。
- 示例:简略描绘出如何以编程语言来使用模式。
- 已知应用:业界已知的实现示例。
- 相关模式:这部分包括其他相关模式,以及与其他类似模式的不同。
分类
编辑《设计模式》一书原先把设计模式分为创建型模式、结构型模式、行为型模式,把它们通过授权、聚合、诊断的概念来描述。若想更进一步了解关于面向对象设计的背景,参考接口模式、内聚性。若想更进一步了解关于面向对象编程的背景,参考继承,接口,多态。
划分类型 | 模式名称 | 描述 | 《设计模式》中提及 | 《代码大全》中提及[1] |
---|---|---|---|---|
创建型模式 | ||||
抽象工厂模式 | 为一个产品族提供了统一的创建接口。当需要这个产品族的某一系列的时候,可以从抽象工厂中选出相应的系列创建一个具体的工厂类。 | 是 | 是 | |
工厂方法模式 | 定义一个接口用于创建对象,但是让子类决定初始化哪个类。工厂方法把一个类的初始化下放到子类。 | 是 | 是 | |
生成器模式 | 将一个复杂对象的构建与它的表示分离,使得同样的构建过程可以创建不同的表示。 | 是 | 否 | |
惰性初始模式 | 推迟对象的创建、数据的计算等需要耗费较多资源的操作,只有在第一次访问的时候才执行。 | 否 | 否 | |
对象池模式 | 通过回收利用对象避免获取和释放资源所需的昂贵成本。 | 否 | 否 | |
原型模式 | 用原型实例指定创建对象的种类,并且通过拷贝这些原型,创建新的对象。 | 是 | 否 | |
单例模式 | 确保一个类只有一个实例,并提供对该实例的全局访问。 | 是 | 是 | |
多例模式 | 确保一个类只有命名的实例,并提供对这些实例的全局访问。 | 否 | 否 | |
资源获取为初始化 | 通过绑定到合适对象的生命周期来确保资源被适当地释放。 | 否 | 否 | |
结构型模式 | ||||
适配器模式 | 将某个类的接口转换成客户端期望的另一个接口表示。适配器模式可以消除由于接口不匹配所造成的类兼容性问题。 | 是 | 是 | |
桥接模式 | 将一个抽象与实现解耦,以便两者可以独立的变化。 | 是 | 是 | |
组合模式 | 把多个对象组成树状结构来表示局部与整体,这样用户可以一样的对待单个对象和对象的组合。 | 是 | 是 | |
修饰模式 | 向某个对象动态地添加更多的功能。修饰模式是除类继承外另一种扩展功能的方法。 | 是 | 是 | |
外观模式 | 为子系统中的一组接口提供一个一致的界面, 外观模式定义了一个高层接口,这个接口使得这一子系统更加容易使用。 | 是 | 是 | |
享元 | 通过共享以便有效的支持大量小颗粒对象。 | 是 | 否 | |
代理 | 为其他对象提供一个代理以控制对这个对象的访问。 | 是 | 否 | |
行为型模式 | ||||
黑板 | 广义的观察者在系统范围内交流资讯,允许多位读者和写者。 | 否 | 否 | |
责任链 | 为解除请求的发送者和接收者之间耦合,而使多个对象都有机会处理这个请求。将这些对象连成一条链,并沿着这条链传递该请求,直到有一个对象处理它。 | 是 | 否 | |
命令 | 将一个请求封装为一个对象,从而使你可用不同的请求对客户进行参数化;对请求排队或记录请求日志,以及支持可取消的操作。 | 是 | 否 | |
解释器 | 给定一个语言, 定义它的文法的一种表示,并定义一个解释器, 该解释器使用该表示来解释语言中的句子。 | 是 | 否 | |
迭代器 | 提供一种方法顺序访问一个聚合对象中各个元素, 而又不需暴露该对象的内部表示。 | 是 | 是 | |
中介者 | 包装了一系列对象相互作用的方式,使得这些对象不必相互明显作用,从而使它们可以松散偶合。当某些对象之间的作用发生改变时,不会立即影响其他的一些对象之间的作用,保证这些作用可以彼此独立的变化。 | 是 | 否 | |
备忘录 | 备忘录对象是一个用来存储另外一个对象内部状态的快照的对象。备忘录模式的用意是在不破坏封装的条件下,将一个对象的状态捉住,并外部化,存储起来,从而可以在将来合适的时候把这个对象还原到存储起来的状态。 | 是 | 否 | |
空对象 | 通过提供默认对象来避免空引用。 | 否 | 是 | |
观察者模式 | 在对象间定义一个一对多的联络性,由此当一个对象改变了状态,所有其他相关的对象会被通知并且自动刷新。 | 是 | 是 | |
规格 | 以布尔形式表示的可重绑定的商业逻辑。 | 否 | 否 | |
状态 | 让一个对象在其内部状态改变的时候,其行为也随之改变。状态模式需要对每一个系统可能获取的状态创立一个状态类的子类。当系统的状态变化时,系统便改变所选的子类。 | 是 | 否 | |
策略 | 定义一个算法的系列,将其各个分装,并且使他们有交互性。策略模式使得算法在用户使用的时候能独立的改变。 | 是 | 是 | |
模板方法 | 模板方法模式准备一个抽象类,将部分逻辑以具体方法及具体构造子类的形式实现,然后声明一些抽象方法来迫使子类实现剩余的逻辑。不同的子类可以以不同的方式实现这些抽象方法,从而对剩余的逻辑有不同的实现。先构建一个顶级逻辑框架,而将逻辑的细节留给具体的子类去实现。 | 是 | 是 | |
访问者 | 封装一些施加于某种数据结构元素之上的操作。一旦这些操作需要修改,接受这个操作的数据结构可以保持不变。访问者模式适用于数据结构相对未定的系统,它把数据结构和作用于结构上的操作之间的耦合解脱开,使得操作集合可以相对自由的演化。 | 是 | 否 | |
并发型模式 | 主动对象 | 它主要是将方法的内容折解为执行本体和请求,在引入并时(Concurrency)处理时,可透过异步(asynchronous)处理来达成。
例如:该method 收到request 时,所以这时候caller并不需要在此等待request完成(即为异步),然后会将其设成active or busy,而后面的request则会进scheduler,request完成时透过其他thread来通知noitfy caller. |
否 | 否 |
阻碍 | 避免在某些状态不满足的情形下被执行,因此有点防呆的意思又被称为(Anti-pattern), 比如你想读一个ZIP file,当method执行时又去调用其他method才发现,该file还未open,这时就会有exception产生,若能在之前就有Balking就能避免。 | 否 | 否 | |
双重检查锁定 | 否 | 否 | ||
守卫 | 否 | 否 | ||
领导者/追随者 | 否 | 否 | ||
监测对象模式 | 否 | 否 | ||
读写锁 | 否 | 否 | ||
调度 | 否 | 否 | ||
线程池模式 | 否 | 否 | ||
线程特定存储 | 否 | 否 | ||
反应器 | 否 | 否 |
参阅
编辑参考资料
编辑- ^ McConnell, Steve. Design in Construction. Code Complete 2nd edition. Microsoft Press. June 2004: 104. ISBN 978-0735619678.
Table 5.1 Popular Design Patterns
- Erich Gamma, Richard Helm, Ralph Johnson, and John Vlissides: Design Patterns, Addison-Wesley, 1995, hardcover, 395 pages, ISBN 978-0-201-63361-0, Design Patterns CD, 1997 ISBN 978-0-201-63498-3
- Frank Buschmann, Regine Meunier, Hans Rohnert, Peter Sommerlad, Michael Stal: Pattern-oriented Software Architecture, Volume 1: A System of Patterns, John Wiley & Sons Ltd., ISBN 978-0-471-95869-7
- Douglas Schmidt: Pattern-oriented Software Architecture. Volume 2: Patterns for Concurrent and Networked Objects, John Wiley & Sons Ltd., ISBN 978-0-471-60695-6
- Alan Shalloway, James R. Trott: Design Patterns Explained: A New Perspective on Object-Oriented Design, Addison-Wesley, ISBN 978-0-201-71594-1
- Martin Fowler: Patterns of Enterprise Application Architecture, Addison-Wesley, ISBN 978-0-321-12742-6