Java 泛型类型通配符、上限和下限

类型通配符

? 可以用在使用泛型的时候代表一切类型
E,T,K,V是在定义泛型的时候代表一切类型。

为了表示各种泛型List的父类，可以使用类型通配符

• 类型通配符: <?>

• List<?>:表示元素类型末知的List,它的元素可以匹配任何的类型；

• 这种带通配符的List仅表示它是各种泛型List的父类，并不能把元素添加到其中；

如果说我们不希望List<?>是任何泛型List的父类,只希望它代表某一类泛型List的父类，可以使用类型通配符的上限

类型通配符上限: <? extends 类型>

• List<? extends Number>：表示的类型是Number或者其子类型
  除了可以指定类型通配符的上限，我们也可以指定类型通配符的下限；

类型通配符下限: <? super 类型> （不是很常见）

• List<? super Number>：表示的类型是Number或者其父类型；
• 要求该泛型的类型，只能是实参类型，或实参类型的父类类型。

//类型通配符
public class Test {
	public static void main(String[] args) {
		List<?> list1 = new ArrayList<Object>();
		List<?> list2 = new ArrayList<Number>();
		List<?> list3 = new ArrayList<Integer>();
		System.out.println("-----------");

		// 类型通配符上限
//		List<? extends Number> list4 = new ArrayList<Object>();
		List<? extends Number> list5 = new ArrayList<Number>();
		List<? extends Number> list6 = new ArrayList<Integer>();

		// 通配符下限
		List<? super Number> list7 = new ArrayList<Object>();
//		List<? super Number> list8 = new ArrayList<Integer>();
		List<? super Number> list9 = new ArrayList<Number>();

	}
}

要求该泛型的类型，只能是实参类型，或实参类型的子类类型。

public class Test01 {
	public static void main(String[] args) {
		Generic01<Number> num = new Generic01();
		num.setNum(100);
		showBox(num);

		Generic01<Integer> num2 = new Generic01();
		num2.setNum(200);
		showBox(num2);
	}

	// 通配符上限Number
	public static void showBox(Generic01<? extends Number> g1) {
		Number num01 = g1.getNum();
		System.out.println(num01);
	}
}

public class Generic01<T> {
	private T num;

	public T getNum() {
		return num;
	}

	public void setNum(T num) {
		this.num = num;
	}

}