SRP - 单一职责原则

• 全称：Single Responsibility Principle
• 定义：每一个上下文对象（类、函数、变量等等）的定义应该仅仅包含单一的职责
• 描述：对象提供单一职责的高度封装，对象的改变仅仅依赖于单一职责的改变，它基于软件设计中的高内聚性定义
• 出处：Robert C. Martin（Bob大叔）《Agile Software Development, Principles, Patterns, and Practices》2002
• 源头：Tom DeMarco 《Structured Analysis and Systems Specification》提出 cohesion   1979
• 宣言：to make our classes more robust ! a class should have only one reason to change !

OCP - 开放-封闭原则

• 全称：Open-Closed Principle
• 定义：上下文对象（类、模块、函数等）应该对扩展开放，对修改关闭
• 描述：利用面向对象中的多态性（Polymorphic），更灵活地处理变更拥抱变化
• 实现：1：抽象和继承，2：面向接口编程
• 出处：Robert C. Martin（Bob大叔）《Agile Software Development, Principles, Patterns, and Practices》2002
• 宣言：保护变更，拥抱变化

LSP - Liskov替换原则

• 全称：Liskov Substitusion Principle
• 定义：父类型对象可以被子类型对象所取代
• 出处：美国第一位计算机科学女博士Barbara Liskov教授和卡内基·梅隆大学Jeannette Wing教授于1994年提出
• 场景：行为子类型，类型抽象和继承。设计类的抽象和继承及多态
• 实现：参数（传入）的逆变性和返回（传出）的协变性
• 设计：基于契约的设计方式模式（.net framework 4的code contract好像是另一回事？）
  • 前置条件：前置条件在子类中不可以被加强
  • 后置条件：后置条件在子类中不可以被削弱
  • 不变量：子类型的不变量必须存储在子类型中
• 意义：如何才能设计出好的对象类型继承以及接口（参数及返回值类型）
• 以下提供一个违反Liskov替换原则的范例，大家自己感受：

  static void DrawShape(Shape s)
  {
      if (s is Rectangle)
          DrawRectange(s as Rectangle);
      else if (s is Square)
          DrawSquare(s as Square);
      else
      {
          // ...
      }
  }

ISP - 接口分离原则

• 全称：Interface Segregation Principle
• 定义：不应该强迫用户依赖于他们不用的方法
• 描述：将粗粒度的大的接口分离为较小粒度具有明确规范的接口
• 意义：松耦合，方便重构迭代
• 接口：面向接口编程，降低依赖
• 出处：Robert C. Martin（Bob大叔）《Agile Software Development, Principles, Patterns, and Practices》2002

DIP- 依赖倒置原则

• 全称：Dependency Inversion Principle
• 定义：依赖于抽象，而不要依赖于具体，因为抽象相对稳定
• 应用：在应用中通过依赖注入的方式实现解耦
  • 高级模块不应该依赖于低级模块，两者应该都依赖于抽象
  • 抽象不应该依赖于实现细节，实现细节应该依赖于抽象
• 意义：重用低级模块，重用实现，解除依赖
• 实现：通过接口或者抽象类
• 其他：Plugin, Service Locator, or Dependency Injection
• 出处：Robert C. Martin（Bob大叔）《Agile Software Development, Principles, Patterns, and Practices》2002