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());

list指向ArrayList<T1>的引用，结果一样。