数组运行时检查（ArrayStoreException） ----集合编译时检查
所有引用基类（父类）的地方必须能透明地使用其子类的对象。
子类完全拥有父类的方法，且具体子类必须实现父类的抽象方法。 子类中可以增加自己的方法。 当子类覆盖或实现父类的方法时，方法的形参要比父类方法的更为宽松。 当子类覆盖或实现父类的方法时，方法的返回值要比父类更严格。逆变与协变用来描述类型转换（type transformation）后的继承关系 其定义：如果A、B表示类型，f(⋅)表示类型转换，≤表示继承关系（比如，A≤B表示A是
