设计原则-SOLID

2,127 阅读4分钟

通常所说的SOLID 原则并非单纯的 1 个原则,而是由 5 个设计原则组成的,它们分别是:单一职责原则(SRP)开闭原则(OCP)里氏替换原则(LSP)接口隔离原则(ISP)依赖倒置原则(DIP).

缩写英文名称中文名称
SRPSingle Responsibility Principle单一职责原则
OCPOpen Close Principle开闭原则
LSPLiskov Substitution Principle里氏替换原则
ISPInterface Segregation Principle接口分离原则
DIPDependency Inversion Principle依赖倒置原则

ps: 通常所说的SOLID不包含LoD(迪米特法则(最少知道原则))
LoD: Law of Demeter ( Least Knowledge Principle)迪米特法则(最少知道原则)

单一职责原则(SRP),Single Responsibility Principle
这个原则的英文描述是这样的:A class or module should have a single responsibility。
一个类或者模块只负责完成一个职责(或者功能)。

开闭原则(OCP),Open Closed Principle
它的英文描述是:software entities (modules, classes, functions, etc.) should be open for extension , but closed for modification。
软件实体(模块、类、方法等)应该“对扩展开放、对修改关闭”。
即:添加一个新的功能应该是,在已有代码基础上扩展代码(新增模块、类、方法等),而非修改已有代码(修改模块、类、方法等)。

里氏替换原则(LSP),Liskov Substitution Principle
这个原则最早是在 1986 年由 Barbara Liskov 提出,他是这么描述这条原则的:

If S is a subtype of T, then objects of type T may be replaced with objects of type S, without breaking the program。

在 1996 年,Robert Martin 在他的 SOLID 原则中,重新描述了这个原则,英文原话是这样的:

Functions that use pointers of references to base classes must be able to use objects of derived classes without knowing it。

我们综合两者的描述,将这条原则用中文描述出来,是这样的:子类对象(object of subtype/derived class)能够替换程序(program)中父类对象(object of base/parent class)出现的任何地方,并且保证原来程序的逻辑行为(behavior)不变及正确性不被破坏。
虽然从定义描述和代码实现上来看,多态和里式替换有点类似,但它们关注的角度是不一样的。多态是面向对象编程的一大特性,也是面向对象编程语言的一种语法。它是一种代码实现的思路。而里式替换是一种设计原则,是用来指导继承关系中子类该如何设计的,子类的设计要保证在替换父类的时候,不改变原有程序的逻辑以及不破坏原有程序的正确性。
里式替换原则是用来指导继承关系中子类该如何设计的一个原则。 理解里式替换原则,最核心的就是理解“design by contract(按照协议来设计)”这几个字。父类定义了函数的“约定”(或者叫协议),那子类可以改变函数的内部实现逻辑,但不能改变函数原有的“约定”。这里的约定包括:函数声明要实现的功能;对输入、输出、异常的约定;甚至包括注释中所罗列的任何特殊说明。

接口隔离原则(ISP),Interface Segregation Principle
Clients should not be forced to depend upon interfaces that they do not use.
客户端不应该被强迫依赖它不需要的接口。其中的“客户端”,可以理解为接口的调用者或者使用者。

依赖倒置原则/依赖反转原则(DIP),Dependency Inversion Principle

High-level modules shouldn’t depend on low-level modules. Both modules should depend on abstractions. In addition, abstractions shouldn’t depend on details. Details depend on abstractions.

高层模块(high-level modules)不要依赖低层模块(low-level)。高层模块和低层模块应该通过抽象(abstractions)来互相依赖。除此之外,抽象(abstractions)不要依赖具体实现细节(details),具体实现细节(details)依赖抽象(abstractions)。

其他的KISS,YAGNI, DRY等原则,请查看另一篇文章

参考:
面向对象设计的六大设计原则
设计模式:面向对象设计的六大原则
面向对象设计的六大设计原则
《极客时间》17 | 理论三:里式替换(LSP)跟多态有何区别?哪些代码违背了LSP?