Liskov代换原则

Liskov substitution principle

object-oriented programming principle stating that, in a computer program, if S is a subtype of T, then objects of type T may be replaced with objects of type S without altering any of the desirable properties of the program (correctness, etc.)

在面向对象的程序设计中，里氏替换原则是对子类型的特别定义。它由芭芭拉·利斯科夫在1987年在一次会议上名为“数据的抽象与层次”的演说中首先提出。