泛型中的通配符:可以解决当具体类型不确定的时候,这个通配符就是 ? ;当操作类型时,不需要使用类型的具体功能时,只使用Object类中的功能。那么可以用 ? 通配符来表未知类型。 泛型限定: 上限:?extends E:可以接收E类型或者E的子类型对象。 下限:?super E:可以接收E类型或者E的父类型对象。 上限什么时候用:往集合中添加元素时,既可以添加E类型对象,又可以添加E的子类型对象。为什么?因为取的时候,E类型既可以接收E类对象,又可以接收E的子类型对象。 下限什么时候用:当从集合中获取元素进行操作的时候,可以用当前元素的类型接收,也可以用当前元素的父类型接收。 泛型的细节: 1)、泛型到底代表什么类型取决于调用者传入的类型,如果没传,默认是Object类型; 2)、使用带泛型的类创建对象时,等式两边指定的泛型必须一致; 原因:编译器检查对象调用方法时只看变量,然而程序运行期间调用方法时就要考虑对象具体类型了; 3) 3)、等式两边可以在任意一边使用泛型,在另一边不使用(考虑向后兼容); ArrayList<String> al = new ArrayList<Object>(); //错 //要保证左右两边的泛型具体类型一致就可以了,这样不容易出错。 ArrayList<? extends Object> al = new ArrayList<String>(); al.add("aa"); //错 //因为集合具体对象中既可存储String,也可以存储Object的其他子类,所以添加具体的类型对象不合适,类型检查会出现安全问题。 ?extends Object 代表Object的子类型不确定,怎么能添加具体类型的对象呢? public static void method(ArrayList<? extends Object> al) { al.add("abc"); //错 //只能对al集合中的元素调用Object类中的方法,具体子类型的方法都不能用,因为子类型不确定。 }
|