LSP原则

重写(override)：

参数不变，返回值类型必须是原类型或原类型的子类。

访问权限不能变低。

final、static的方法不能被重写。

 

 重载(overload)：

参数不同，返回值类型可相同可不同。

访问权限可以修改。

 

 方法重载：一个类中，多个方法可以有相同的名字，不同的参数列表。调用方法时，可根据给定参数列表选择调用哪个方法。

 

方法重写是子类与父类的一种多态性表现，而方法重载是一个类的多态性表现。

 

LSP原则

pre-condition不能强化

post-condition不能弱化

要保持或增强不变量RI      

子类型方法参数：逆变 （Java中这种逆变不能称为override，视作overload。对应上面，override方法参数不能改变。）

子类型方法返回值：协变

（前三条即spec只能变强或不变）

（后两条是对子类型中重写方法的说明，参数逆变在Java中不算重写）

例子：

 第一个正确——ArrayList是List的子类。

第二个错误，由于类型擦除——在编译中，String和Object被擦除，只剩下两个List。

 

 当有需求时（即对于某些数据类型，需要符合LSP），可以使用通配符来定义。

 例如，List<String>是List<?>的子类。

？代表未知类型。（使用时不能调用与类型有关的方法，如add。）

<? extends T> 确定了类型的上界为T，代表T及T的子类型。（使用add方法受限，只保留了读的功能，但可以get）

<? super T> 确定了类型的下届为T，代表T及T的父类型。（使用get方法受限，但可以add）