子类必须能够替换父类：子类对象可以替换父类对象，程序的行为不会发生变化。 子类可以扩展父类功能，但不能改变父类原有的功能。 代码：子类与父类的关系 - 计算器案例 二 当子类的方法实现父类的抽象方法时，方法的后置条件（即方法的返回值）要比父 ...