java泛型基础

1、我们可以为任何类、接口增加泛型声明，如下

//定义apple类时使用泛型声明
public class Apple<T> {
	//使用T类型形参定义实例变量
	public T info;
	//下面使用T类型来定义构造器
	public Apple(T info){
		this.info = info;
	}
	public T getInfo() {
		return info;
	}
	public void setInfo(T info) {
		this.info = info;
	}
}

2、不管泛型的实际类型参数是什么，他们在运行时总有同样的类（class），如下

List<String> list1 = new ArrayList<>();
		List<Integer> list2 = new ArrayList<>();
		//调用此方法比较两集合的类是否相等，输出为true
		System.out.println(list1.getClass()==list2.getClass());

3、使用类型通配符“?”，使用List<?>可以表示各种泛型List的父类，如下

public static void main(String[] args) {
		List<String> list = new ArrayList<>();
		list.add("A");
		list.add("B");
		test(list);
	}
	public static void test(List<?> list){
		for (Object obj : list) {
			System.out.println(obj);
		}
	}

注意：这种带通配符的List仅表示它是各种泛型List的父类，并不能把元素加入其中，如下代码会引起编译错误

List<?> list = new ArrayList<>();
		list.add(new Object());

4、可以设定类型形参的上限更改apple类和test方法，如下

public class Apple<T extends Number & java.io.Serializable> //表示T类型必需为Number类或其子类，并必须实现Java.io.Serializable接口

public static void test(List<? extends String> list){
		//此处代码简洁不用进行强制类型转换
		for (String obj : list) {
			System.out.println(obj);
		}
	}

5、由于不能把对象放进未知类型的集合中所以出现了泛型方法，如下

   //    修饰符       <T,S> 返回值类型        方法名         形参列表
	public static <T> void formArrayToCollection(T[] a, Collection<T> b){
		for (T o : a) {
			b.add(o);
		}
	}

6、一旦定义了泛型构造器，不仅可以让Java根据参数类型来推断类型形参的类型，而且程序员可以显示的为构造器中的类型形参指定实际类型，如下

	static class Foo{
		public <T> Foo(T t){
			System.out.println(t);
		}
		public static void main(String[] args) {
			//泛型构造器中的T参数为String
			new Foo("a");
			//显示指定泛型构造器中的T参数为String，传给Foo构造器的实参也是String对象正确，若为其他类型如Integer将编译错误
			new <String> Foo("a");
		}
	}

7、Java不支持创建泛型数组