Liskov Substitution Principle

Liskov Substitution Principle简称LSP，是里氏代换原则。

由美国第一位计算机科学方向的女博士，2008年图灵奖获得者——Barbara Liskov提出，是面向对象最重要的几大原则之一。

它规定制约了一个类的子类型。其在编程语言中，主要依靠以下约束：

1.子类型的前置条件不能强化

2.子类型的后置条件不能弱化

3.不变量要保持

4.子类型方法的参数：逆变

 

5.子类型方法的返回值：协变

 

6.异常类型：协变

由此可知上图中Square不是Rectangle满足LSP的子类。

其中要注意到Java不支持逆变，会将其看作重载。