java泛型中重用extend关键字,限制泛型的边界,占位符可以extends单个类多接口;通配符被限制为单一边界。
有:
class Fruit{};
class Apple extend Fruit{};
像:List<Fruit> fruit = new List<Apple>();的操作是非法的,实际上根本不是向上转型。Apple的List不是Fruit类的List,Fruit的List将持有任何类型的fruit,即使Apple是一种Fruit类型,他们的List在类型上并不等价。
真正的问题在于,List<? extends Fruit> f = new ArrayList<Apple>();
这样的向上转型是可以的,但是编译器不允许向这个容器添加任何对象,即使是Object类的对象,编译器拒绝对参数列表涉及通配符的方法的调用(除非是add(null),但这毫无意义)。调用返回类的方法则是安全的,因为这个列表中的对象至少具有Fruit类型。
如果需要向泛型参数传递类型确定的参数,可以使用<? super T>的超类型通配符。有了它可以向容器中写入T和T的子类型。试着调用get()是没有用的,T是导出类,容器持有的可以是任何T的基类,只有返回object类才是安全的。
无界通配符<?>
List 和 List<?>的差异:List--List<Object>,持有任何Object类型的原声List,而List<?>表示“具有某种类型的非原生list”
有:
class Fruit{};
class Apple extend Fruit{};
像:List<Fruit> fruit = new List<Apple>();的操作是非法的,实际上根本不是向上转型。Apple的List不是Fruit类的List,Fruit的List将持有任何类型的fruit,即使Apple是一种Fruit类型,他们的List在类型上并不等价。
真正的问题在于,List<? extends Fruit> f = new ArrayList<Apple>();
这样的向上转型是可以的,但是编译器不允许向这个容器添加任何对象,即使是Object类的对象,编译器拒绝对参数列表涉及通配符的方法的调用(除非是add(null),但这毫无意义)。调用返回类的方法则是安全的,因为这个列表中的对象至少具有Fruit类型。
如果需要向泛型参数传递类型确定的参数,可以使用<? super T>的超类型通配符。有了它可以向容器中写入T和T的子类型。试着调用get()是没有用的,T是导出类,容器持有的可以是任何T的基类,只有返回object类才是安全的。
无界通配符<?>
List 和 List<?>的差异:List--List<Object>,持有任何Object类型的原声List,而List<?>表示“具有某种类型的非原生list”