Liskov Substitution Principle简称LSP,是里氏代换原则。
由美国第一位计算机科学方向的女博士,2008年图灵奖获得者——Barbara Liskov提出,是面向对象最重要的几大原则之一。
它规定制约了一个类的子类型。其在编程语言中,主要依靠以下约束:
1.子类型的前置条件不能强化
2.子类型的后置条件不能弱化
3.不变量要保持
4.子类型方法的参数:逆变
5.子类型方法的返回值:协变
6.异常类型:协变
由此可知上图中Square不是Rectangle满足LSP的子类。
其中要注意到Java不支持逆变,会将其看作重载。