直观理解Java泛型的子类型

Java泛型的子类型问题

存在对象及容器两个问题

1，对象类型的子类型，比如：苹果是不是水果的子类型？

2，容器类型的子类型，比如：一盒苹果是不是一盒水果的子类型？

 

继承与指针

子类型问题的根源在于继承

子类继承基类后，子类除了拥有基类的一切外，子类还有自己仅有的部分属性

举例：苹果继承了水果，苹果拥有水果的所有属性，但还有自己的属性，比如苹果的酸甜

 

子类型问题具体表现在指针与对象的匹配上

1，一个自声明的指针：我是一个指向苹果的指针

2，一个被指向的对象，比如一个水果或一个苹果

 

指针的称职

1，一个自声明为水果的指针指向一个苹果，该指针称职，从该指针你一定可以取回一个水果