子类型中的前置条件不能加强 指的就是函数的参数的给定范围不能变小 子类型中后置条件不能变弱 函数的返回值的给定范围不能变大 父类的不变量必须保存在子类中 compiler编译器决定的 子类型方法参数,逆变 子类型的方法参数可以变得更抽象(父类) 子类型方法返回值,协变 子类型的方法返回值可以变得更具体(子类) 子类型中的方法不应该抛出新的异常,除非这些异常本来就是父类抛出的异常 字面意思 欢迎关注公众号BBIT 让我们共同学习共同进步!