LSP里氏替换原则:其子类对象可以代替父类对象,但其父类对象不能代替子类对象.OCP作为OO的高层原则,主张使用“抽象”和“多态”将设计中的静态结构改为动态结构,维持设计的封闭性。
“抽象”是语言提供的功能。“多态”由继承语义实现。
定义1:如果对每一个类型为 T1的对象 o1,都有类型为 T2 的对象o2,使得以 T1定义的所有程序 P 在所有的对象 o1 都代换成 o2 时,程序 P 的行为没有发生变化,那么类型 T2 是类型 T1 的子类型。
定义2:所有引用基类的地方必须能透明地使用其子类的对象。
问题由来:有一功能P1,由类A完成。现需要将功能P1进行扩展,扩展后的功能为P,其中P由原有功能P1与新功能P2组成。新功能P由类A的子类B来完成,则子类B在完成新功能P2的同时,有可能会导致原有功能P1发生故障。
解决方案:当使用继承时,遵循里氏替换原则。类B继承类A时,除添加新的方法完成新增功能P2外,尽量不要重写父类A的方法,也尽量不要重载父类A的方法。
继承作为面向对象三大特性之一,在给程序设计带来巨大便利的同时,也带来了弊端。比如使用继承会给程序带来侵入性,程序的可移植性降低,增加了对象间的耦合性,如果一个类被其他的类所继承,则当这个类需要修改时,必须考虑到所有的子类,并且父类修改后,所有涉及到子类的功能都有可能会产生故障。
如:有一个父类:public abstract class A{}
有两个子类都继承父类A:public class B:A{}
public class C:A[]
那么运用里氏替换原则就可以:
A a = new B();或:A a = new C();
但不可以: B b = new A();
原因是根据OOP的思想里关于继承的描述:
子类对象可以代替父类对象;
父类对象不能代替子类对象;
父类的方法可以在子类中重写。