这个java中的通配符“上界”“下界”有关。
上界 extends Number>规定:只能取(get),不能添加(add)。
下界 super Number>规定:不能取(get),只能添加(add)。
现在试想一下你的例子,List extends Number> list = new ArrayList<>()
Java中是强类型的,就是说任何变量在具体使用时,必须明确类型。上述list在定义时,表述其中的每一项值都是Number本身或者是其子类,但是在add时(list.add( new Long(1) ) 看似没错),但编译器它却不知道这个list到底放的是啥类型,有可能是ArrayList
从这个list定义中,在获取值时,编译器知道的是里面放的是Number类型或者是其子类型值,因此Number n = (Number)list.get(0), Long l = (Long)list.get(0)可以编译通过。
很简单啊,因为泛型上界List extends Number> list;这种只能作用在引用上,表示这个引用可以指向new List
// B 是C和D的基类,C和D都继承于B
List extends B> b;
Listc = new ArrayList<>();
c.add(new C());
b = c;//b引用可以指向c
b.forEach(System.out::println);//正常打印
//-----------------------------
Listd = new ArrayList<>();
d.add(new D());
b = d;//也可以指向d
b.forEach(System.out::println);//正常打印
//上面的指向的对象都是具体的类型
b=new ArrayList>();
b=new ArrayList extends B>();
//上面两个提示通配符?无法直接实例化
//下面这个提示类型不匹配
b=new ArrayList
<>模板的类型是编译时确定的而不是运行时,这代码必须运行时才能判定类型。
直接用List
List
add就压根不知道List里面能装什么,干脆就给了个null让你装。不知道你那本教科书是什么情况,如果定义成List
声明list要指定具体的泛型