设计模式 (计算机)
 |
在軟體工程中，設計模式（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
