在java泛型中,通配符往往能提供给我们比不可变类型更多的灵活性。例如:
public static void main(String[] args) { List<Number> list1 = new ArrayList<Number>(); List<Long> list2 = new ArrayList<Long>(); List<String> list3 = new ArrayList<String>(); f(list1); f(list2); f(list3); } public static void f(List<?> list) { }
在上面代码中,程序能正常运行。但是当你要在方法f()中进行add操作时就会发现,该list添加除了null之外任何值,编译都会出错。
边界
通配符也像一般的泛型参数一样,可以使用extends和super关键字限制边界。我们对上例代码使用边界时:
使用子类通配符<? extends xx>
public static void main(String[] args) { List<Number> list1 = new ArrayList<Number>(); List<Long> list2 = new ArrayList<Long>(); List<String> list3 = new ArrayList<String>(); f(list1); f(list2); f(list3); //编译错误 } public static void f(List<? extends Number> list) { }
<? extends Number>表示匹配Number及其子类类型,故String类型匹配错误
父类通配符<? super xx>
public static void main(String[] args) { List<Number> list1 = new ArrayList<Number>(); List<Long> list2 = new ArrayList<Long>(); List<String> list3 = new ArrayList<String>(); f(list1); f(list2); //编译错误 f(list3); //编译错误 } public static void f(List<? super Number> list) { }
<? super Number>表示匹配Number及其父类类型,故Long和String类型匹配错误
在方法体里使用通配符
通配符的使用场景一般是在方法的形参上,就如上面的例子一般。但如果是直接使用的方法体里,就会出现许多的问题。
首先,我们不能直接创建一个通配符的对象,如new ArrayList<?>(),new ArrayList<? extends Number>()等。不过我们可以使用通配符的声明指向一个泛型引用
List<?> list1 = new ArrayList<Long>(); List<? extends Number> list2 = new ArrayList<Long>(); List<? super Number> list3 = new ArrayList<Number>();
其中list1和list2不能添加null之外的任何值,list3情况比较特殊,另举例子说明
public class Test { public static void main(String[] args) { List<? super T2> list = new ArrayList<T2>(); list.add(new T1()); //编译错误 list.add(new T2()); list.add(new T3()); } } class T1 { } class T2 extends T1 { } class T3 extends T2 { }
对于List<? super T2> list,可以指向ArrayList<T1>和ArrayList<T2>的引用,但是进行add操作时,只能添加T2和T3
扫描二维码关注公众号,回复:
1739231 查看本文章
List<? super T2> list = new ArrayList<T1>(); //list.add(new T1()); //编译错误 list.add(new T2()); list.add(new T3());list指向ArrayList<T1>的引用,结果一样。