我们可以在定义集合时设置泛型这样的约束，也可以在定义类和方法时加上泛型，这样能提升类和方法的灵活性。此外我们还可以在定义泛型时加上继承和通配符。在平时的培训中，我曾发现初学者对一些复杂的泛型（其实也不复杂，只不过是较少用）感到困惑。这里就通过一些案例展示泛型在项目里的常见用法。    

1 泛型可以作用在类和接口上

    泛型作用在类上的案例，比如在项目里，我们需要定义一个仓库类（WareHouse），会用一个列表来表示仓库里存放的东西。在定义仓库类时，我们可以通过泛型来指定列表里能容纳的数据类型。请看如下的GenericClass.java例子。    

1	//省略import集合包的代码
2	//请注意在定义类时，直接加上了泛型T
3	class WareHouse<T>{
4	  	private List<T> productList;//请注意这里的泛型是T，和第3行一致
5		 	public List<T> getProductList() 
6	    {return productList; }
7	  	public void setProductList(List<T> productList) 
8	    {this.productList = productList;}
9	     //构造函数
10	    	public WareHouse()
11		    {productList = new ArrayList<T>();}
12	     //添加元素的方法，请注意参数类型是T
13			void addItem(T item)
14		    {productList.add(item);	}
15	     //打印所有的对象
16			public void printAllItems()  {
17	       //T作用到了迭代器上
18			Iterator<T> it = productList.iterator();
19			while(it.hasNext())
20			{System.out.println(it.next().toString());}
21		}	
22	}

    在第3行定义WareHourse这个类时，我们加上了泛型约束T，而在这个类的属性和方法里，我们又多处用到了这个泛型T。比如，在第4行里通过T来创建一个含泛型约束的List，在第13行添加元素的方法里，参数是T，在第16行打印所有对象的printAllItems方法里，我们在第18行创建迭代器时，也用到了泛型T。

    我们也可以把T修改成E等字符，但一旦定义成T，那么在使用时，就需要和这个字符”T”相匹配。    

23	class Item{
24	//货物名称 
25		private String itemName;
26	//构造函数
27		public Item(String name)
28		{this.itemName = name;}
29	//针对属性的get方法
30		public String getItemName() 
31	{return itemName;	}
32	//针对属性的set方法
33		public void setItemName(String itemName) 
34	{this.itemName = itemName;	}
35	//重写了toString方法
36		public String toString()
37		{return this.itemName; 	}
38	}

    随后我们在第23到38行定义了一个用于描述仓库货物的Item类，在其中的第25行，我们通过itemName这个属性来定义该货物的名字。    

39	public class GenericClass {
40		public static void main(String[] args) {
41	     //这里传入的泛型种类是String
42			WareHouse<String> wh = new WareHouse<String>();		
43			wh.addItem("Java");
44			wh.addItem("C#");
45			wh.printAllItems();//能输出Java和C#
46			//接下来我们创建两个Item对象
47			Item bookItem = new Item("Book");
48			Item carItem = new Item("Car");
49	     //这里的泛型种类是Item
50			WareHouse<Item> itemWh = new WareHouse<Item>();
51			itemWh.addItem(bookItem);
52			itemWh.addItem(carItem);
53			itemWh.printAllItems(); //输出是Book和Car
54		}
55	}

    我们在main函数里用到了这个带泛型的WareHouse类。在第42行里，我们实例化wh对象时，指定了该对象的泛型类型是String，也就是说，在WareHouse这个类里，所有带“T”的地方都可以用String来替代。比如private List<T> productList;可以被替代成private List<String> productList。之后在第43和44行里，我们调用了addItem方法添加对象，并在第45行通过了printAllItems方法输出了存储在wh里的所有商品。

    在第50行里，我们指定了泛型类型是自定义的Item；如是，在第51和52行调用addItem方法时，传入的参数就需要是Item类型了。

    在这个例子中，我们把泛型作用到类上。如此，我们就可以用比较灵活的方式来定义类里的数据类型，从而这个类也有比较高的通用性。

    泛型也可以作用到接口上，这个语法点和作用到类上的很相似，就不示例了。

    此外，在上述代码里，我们也见到了泛型作用到方法上的基本用法，比如我们让泛型作用到类的返回类型上。代码如下：

    public List<T> getProductList()

    也可以让泛型作用到方法的参数类型上，代码如下：

    void addItem(T item)

2 泛型的继承和通配符

    在定义泛型时，我们可以通过extends来限定泛型类型的上限，也可以通过super来限定下限，这两个限定字一般会和?等关键字搭配使用。

    比如有这样的代码List<? super Father> dest，这里，super包含“高于”的意思，? Super Father就表示dest存放的对象应当“以Father为子类”；换句话说，在dest里，可以存放任何子类是Father类的对象。

    再来看个extends的用法。比如有这样的代码，List<? extends Father> src，extends用来表示继承，这里的src可以存放以”Father”为父类的对象；也就是说，src可以存放任何Father对象的子类。

    在实际的项目里，我们一般从List<? extends Father> src这类的集合里读元素，而从List<? super Father> dest这样的集合里写元素。通过下面的GenericExtends.java例子，再来了解extends，super和?的用法。    

1	import java.util.ArrayList;
2	import java.util.List;
3	//定义一个空的父类和空的子类
4	class Father{ }
5	class Son extends Father{}
6	//这是个包含main方法的主类
7	public class GenericExtends {
8	   //这个方法里，将把src里的对象复制到dest里   
9	   static void copy(List<? super Father> dest, 
10	                    List<? extends Father> src) {  
11	        for (int i=0; i<src.size(); i++)
12	        {  dest.add(src.get(i));    }
13	    }

    在第9行copy方法的两个参数里，我们看到了两个包含extends和super泛型的参数。在方法体的for循环里，我们的做法符合刚才讲到的原则：从带extends泛型的集合里读，往带super泛型的集合里写。    

14   public static void main(String[] args) {
15	     Father f = new Father();
16			Son s = new Son();
17	     //创建了一个带Father泛型的集合，并向其中放了一个元素
18			List<Father> srcFatherList = new ArrayList<Father>();
19			srcFatherList.add(f);		
20			List<Father> destFatherList = new ArrayList<Father>();
21	     //通过copy方法，把元素复制进了destFatherList里
22			copy(destFatherList,srcFatherList);
23	     //这里的输出是1，说明copy方法成功地往destFatherList里写了元素
24			System.out.println(destFatherList.size());		
25		}
26	}

    在定义方法的参数时，我们可以用带extends和super的泛型来确保输入参数类型的准确性。除此之外，这两种泛型的用处不大，比如在main函数的第22行里，调用copy方法时，我们传入的参数都是List<Father>类型。

    下面我们来展示些错误的用法：

    错误用法一：用带问号的类型实例化集合对象。

1   List<?> list = new ArrayList<String>(); //正确

2   //List<?> list = new ArrayList<?>(); //错误

    第1行里，虽然在等号的左边我们用到了问号，但在右边，我们确立了泛型类型是String，这个是正确的。与之相比，在等号的左边和右边我们都用了问号，这是错误的，因为编译器不知道list集合该采用哪种泛型类型。

    错误用法二：向包含<? extends Father>泛型的集合里写。

1    List<? extends Father> list = new ArrayList<Father>();

2    //list.add(f); //error

    第2行会报语法错，原因是编译器不知道这个基于Father的子类型究竟是什么；因为没法确定，为了保证类型安全，所以就不允许往里面加数据。”

    错误用法三：从包含<? super Father>泛型的集合里读。

    1             List<? super Father> list1 = new ArrayList<Father>();

    2             list.add(f); //正确

    3             //list.get(0);//错误

    第3行会报语法错，原因是编译器不知道该用哪种Father的父类来接收get的返回值；于是，同样为了保证类型安全，所以就不允许读。

    从上述的第二和第三种错误的用法里，我们能感受到，extends和super这两种定义泛型的用法除了在定义方法参数之外，还真没其他合适的用途。