java泛型中通配符的使用详解

在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

		List<? super T2> list = new ArrayList<T1>();//list.add(new T1());		//编译错误list.add(new T2());list.add(new T3());