<? extends T>和<? super T>是Java泛型中的“通配符(Wildcards)”和“边界(Bounds)”的概念。
<? extends T>:是指 “上界通配符(Upper Bounds Wildcards)”
<? super T>:是指 “下界通配符(Lower Bounds Wildcards)
泛型可以是看成容器里元素的尺子。
往容器里放,元素必须比每把尺子都要小;
取出的时候,必须用比最大的尺子还要大的引用来接收:
<T>:这里T就是对元素要求的尺子;尺子只有T一把
<? extends T>和<? super T>:
这里面的?是对尺子的通配,而不是对放进去的元素的通配;
相当于无数个尺子 <t> 的并集,
尺子t有无数把,对于放进去的元素,每把尺子你都得满足;
所以:
<T>:
放入元素只要是 T 的子类就行;
接收用T的父类就行;
<? extends T>:
最大尺子为T,但是最小尺子是无限小的,无法知道最小的尺子是什么,
不知道你要放入的元素能不能小于最小的尺子,所以不能放入元素;
但是对于已经放进去的元素,他都能满足最大的尺子T,所以取出的
时候可以用 T 类型引用来接收它。他用于需要定义里面元素的行为的时候。
<? super T>:
最小的尺子是T,所以你知道要放入的元素只要比这个最小的尺子小就行了。
但是取出的时候,对于已经放进去的元素,你不知道它能满足最大的尺子是
什么,所以你只能用Object引用来接收。放进去的对象你是没法用的,你不知道
他的行为。
所以,泛型和泛型边界的抽象层级完全不同;
泛型是对容器内元素类型的抽象,是对元素的约束;
而泛型边界是对泛型的抽象,是对元素的约束的集合。
对于泛型边界,它抽象出了一组约束。
每个约束都要在边界内,这是第一层:
容器内每个元素必须在每个约束之下,这是第二层。