泛型(二)

本文主要介绍一下泛型的上限，下限以及通配符?的使用事项：

代码示例如下：

package net.oschina.tkj.chapter15.limit;

/**
 * 泛型上下限，?通配符
 * 
 * @author Freedom
 * 
 * @param <T>
 */
public class BasicInfo<T> {

	private T var;

	public T getVar() {
		return var;
	}

	public void setVar(T var) {
		this.var = var;
	}

	public void f(T t) {
		System.out.println("任意类型对象：" + t);
	}

	public void f1(BasicInfo<?> t) {
		System.out.println("通配符类型对象：" + t);
	}

	public void f2(BasicInfo<Object> t) {
		System.out.println("Object类型的泛型对象接受参数：" + t);
	}

	@Override
	public String toString() {
		return "BasicInfo [var=" + var + "]";
	}

	// 泛型的上限
	public void f3(BasicInfo<? extends T> t/* ,T t1 */) {
		// 泛型的上限也可以接受T类型或T的子类型，但是不能为对象设置值
		// t.setVar(t1);
		System.out.println("泛型上限：" + t);
	}

	// 泛型下限
	public void f4(BasicInfo<? super T> t) {

		System.out.println("泛型下限：" + t);
	}

	// 泛型下限
	public void f5(BasicInfo<? super T> t, T t1) {
		// 泛型的下限可以为泛型对象设置值
		t.setVar(t1);
		System.out.println("泛型下限：" + t);
	}

	public static void main(String[] args) {

		BasicInfo<String> str = new BasicInfo<String>();
		str.setVar("hello<T>");

		// str.f(str); // 编译错误，对象确定之后参数化类型已经确定，例子中为String类型的入参
		str.f("abc");// 正确

		str.f1(str);

		// str.f2(str);// 该方法的入参只能为Object类型的泛型对象，所以例子中的为String类型的泛型对象

		BasicInfo<?> basic = new BasicInfo<String>();
		// basic.setVar("abc"); // ?通配符可以接受任意类型的泛型对象，但是不能设置泛型对象的值

		// 明确声明了变量为Object类型的泛型对象，因此实例化String类型的泛型对象会报错
		// BasicInfo<Object> basic2 = new BasicInfo<String>();

		BasicInfo<String> str1 = new BasicInfo<String>();
		str1.setVar("《？ extends T》");
		// 调用f3方法时已经明确T为String,所以只能接受String类型，因为String为final类无子类型
		str.f3(str1);

		BasicInfo<String> str2 = new BasicInfo<String>();
		str2.setVar("《？ super T》");
		str.f4(str2);

		str.f5(new BasicInfo<String>(), "f5()");

	}

}

 

1、泛型类声明了参数化类型，所以当创建该泛型类型的对象时就可以确定T的类型；

2、如上代码示例，如果试图尝试在方法入参时声明参数类型为BasicInfo<Object>，但是传参的时候传入了BasicInfo<String>编译会报错，所以入参只能传入BasicInfo<Object>类型的参数；

3、可以声明一个带有通配符的参数对象，BasicInfo<?>这样就可以接受一个BasicInfo<String>类型的对象。该中参数类型声明方式也有一个弊端，就是实例化的对象不能去设置对象的值；

4、泛型的上限：<？ extends T >可以接受T类型，以及T的子类型。同样，也不能在实例化的对象中设置值；

5、泛型下限：<? super T>可以接受T类型，以及T的父类型。实例化对象时，可以为对象设置值。

6、？，<? extends T> 用于接受或者说是取出T类型的元素；<? super T>用于添加设置T类或T的子类的值