LSP原则

重写(override)：
参数不变，返回值类型必须是原类型或原类型的子类。
访问权限不能变低。
final、static的方法不能被重写。
重载(overload)：
参数不同，返回值类型可相同可不同。
访问权限可以修改。

方法重载：一个类中，多个方法可以有相同的名字，不同的参数列表。调用方法时，可根据给定参数列表选择调用哪个方法。
方法重写是子类与父类的一种多态性表现，而方法重载是一个类的多态性表现。

LSP原则
pre-condition不能强化
post-condition不能弱化
要保持或增强不变量RI

子类型方法参数：逆变 （Java中这种逆变不能称为override，视作overload。对应上面，override方法参数不能改变。）
子类型方法返回值：协变
（前三条即spec只能变强或不变）
（后两条是对子类型中重写方法的说明，参数逆变在Java中不算重写）

例子：

第一个正确——ArrayList是List的子类。
第二个错误，由于类型擦除——在编译中，String和Object被擦除，只剩下两个List。

当有需求时（即对于某些数据类型，需要符合LSP），可以使用通配符来定义。
例如，List是List<?>的子类。
？代表未知类型。（使用时不能调用与类型有关的方法，如add。）

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