里氏替换原则 在面向对象的程序设计中里氏替换原则Liskov Substitution principle是对子类型的特别定义它由芭芭拉利斯科夫Barbara Liskov在年在一次会议上名为数据的抽象与层次的演说中首先提出 里氏替换原则的内容可以描述为 派生类子类对象可以在程式中代替其基类超类对象 以上内容并非利斯科夫的原文而是译自罗伯特马丁Robert Martin对原文的解读其原文为 Let q  x  displaystyle qx be a property provable about objects x displaystyle x of type T displaystyle T  Then q  y  displaystyle qy should be true for objects y displaystyle y of type S displaystyle S where S displaystyle S is a subtype of T displaystyle T  芭芭拉利斯科夫与周以真Jeannette Wing在年发表论文并提出以上的Liskov代換原則