lsp 什么意思什么是LSP原则

什么是LSP原则

里氏替换原则的严格表述是： 如果对每一个类型为T1的对象O1，都有类型为T2的对象O2，使得以T1定义的所有程序P在所有的对象O1都代换成O2时，程序P的行为没有变化，那么类型T2是类型T1的子类型。 换言之，一个软件实体如果使用的是一个基类的话，那么一定适用于其子类，而且它根本不能察觉出基类对象和子类对象的区别。 比如，假设有两个类，一个是Base类，另一个是Derived类，并且Derived类是Base类的子类。那么一个方法如果可以接受一个基类对象b的话：method(Base b)，那么它必然可以接受一个子类对象d，也即可以有method(d)。 LSP是继承复用的基石。只有当衍生类可以替换基类，软件单位的功能不会受到影响时，基类才能真正被复用，而衍生类也才能够在基类的基础上增加新的行为。