跳到主要内容

SOLID 原则与 LKP

SOLID 是面向对象设计的五个基本原则的首字母缩写。这五个原则是:

单一职责原则(S)

单一职责原则Single Responsibility Principle, SRP):一个类应该有且仅有一个功能或职责。功能被定义为引起类变化的原因

如果你能够想到多于一个的动机去改变一个类,那么这个类就具有多于一个的职责。

把有不同的改变原因的事物耦合在一起的设计是糟糕的;将其分离开来,使得每个类或模块只有一个改变的理由,能够使得各个功能更加独立,更容易维护。

代码示例

在上面的代码中,Door 类有三个职责:计算门的面积、涂漆和安装。这违反了单一职责原则。为了遵守这个原则,我们可以将这三个职责分别放在三个不同的类 Door, DoorPainterDoorInstaller 中。

提示

一个通俗的判断方式就是问自己:

类的某个方法是否是这个类的所能做的事?

如果不是,那么这个方法应该被移到另一个类中。

开闭原则(O)

开闭原则Open/Closed Principle, OCP):一个类应该对扩展开放,对修改关闭。

开闭原则鼓励利用继承和多态来实现代码的可扩展性。这样,当需要添加新功能时,不需要修改现有代码,而是通过添加新的代码来实现。

与之相反的是,开闭原则反对直接修改现有代码来添加新功能。这样做可能会导致不可预测的副作用,甚至破坏现有功能。

代码示例

在上面的代码中,Door 类是一个抽象类,声明了门的基本属性 label 和计算面积的方法 area

RectangleDoorCircleDoor 类继承自 Door 类,并实现了 area 方法。这样,就可以通过统一的接口 area 来计算不同形状的门的面积。

AdvancedCircleDoor 类继承自 CircleDoor 类,并添加了一个新的方法 alert。由此,我们扩展了 CircleDoor 现有的功能,且没有修改现有代码,使用 CircleDoor 对象的接口仍然可以正常工作(这一点与下文的 里氏替换原则 也有关)。

里氏替换原则(L)

里氏替换原则Liskov Substitution Principle, LSP):子类必须能够替换其基类。换言之,程序中的对象应该是可以在不改变程序正确性的前提下被它的子类所替换的。

里氏替换原则描述了继承关系的基本特征。如果一个子类不能完全替换其基类,那么继承关系可能存在问题。

代码示例

print_area 函数中,我们接受一个 Door 类型的参数,并调用其 area 方法,而并不用知道具体是哪个子类(这一点与下文的 依赖反转原则 也有关)。这样,我们可以传入任何继承自 Door 类的子类对象,而不用担心会出现问题。

接口隔离原则(I)

接口隔离原则Interface Segregation Principle, ISP):不应该强迫客户端使用其不会使用的功能,多个特定客户端接口要好于一个宽泛用途的接口。

接口隔离原则鼓励将大接口拆分成多个小接口,以便客户端只需知道与其相关的方法。其目的在于降低系统的耦合度,提高系统的内聚性。

代码示例

这个例子就违反了接口隔离原则。DoorHelper 类包含了三个方法,按照设计,当用户只希望安装门时,他也必须初始化这个包含了所有方法的类。这样,用户就被迫使用了他不需要的功能。

为了遵守接口隔离原则,我们可以将 DoorHelper 类拆分成三个类:DoorPainter, DoorInstallerDoorCloser

依赖反转原则(D)

依赖反转原则Dependency Inversion Principle, DIP):高层模块不应该依赖于底层模块,二者都应该依赖于抽象;抽象不应该依赖于实现,实现应该依赖于抽象。

依赖反转原则鼓励使用接口或抽象类来定义模块之间的依赖关系,而不是直接依赖于具体实现。这样,当需要更换底层模块时,只需更换其实现,而不需要修改高层模块。

依赖注入

依赖注入(Dependency Injection)是依赖反转原则的一种实现方式。它通过将依赖关系传递给调用者,而不是由调用者创建依赖关系,来实现模块之间的解耦。

更通俗易懂的表述方法是:将依赖对象的创建从方法内部移到方法的外部,这样,调用者可以自由地选择依赖对象的实现。

代码示例

以依赖注入为例,注入前:

我们可以注意到,Accessory 类对象与 screw_typescrew_size 两个全局变量耦合在一起。这样,当我们需要更换螺丝的类型或尺寸时,就需要修改 Accessory 类的实现。

同样的情况也发生在 Door 类中。Door 类的实例化过程中,我们直接创建了一个 Accessory 类对象,这样,Door 类与 Accessory 类耦合在一起。

为了解耦,我们可以将依赖关系移至方法的参数中,从而使得具体的值仅在类的外部确定:

补充:最少知识原则(LKP)

最少知识原则Least Knowledge Principle, LKP,又称得墨忒耳定律):一个对象应该对其他对象有尽可能少的了解。

最少知识原则要求一个对象只与其直接的朋友通信,而不与陌生对象通信。所谓朋友是指以下几种对象:

  • 当前对象本身 this
  • 以参数形式传入到当前对象方法中的对象
  • 当前对象的成员变量直接引用的对象
  • 当前对象的容器成员变量中的各个元素
  • 当前对象所创建的对象

最少知识原则有助于降低对象之间的耦合度,提高系统的内聚性。

示例

一个直观理解最少知识原则的例子是,人可以要求狗行走(dog.walk()),但不能直接指挥狗的腿如何移动(dog.leg.move()),尽管后者是事实上该行为的真正实现者。

换句话说,最少知识原则可以简单地陈述为“只使用一个 . 运算符”,即避免使用 a.b.c.d() 这样的链式调用。