java泛型疑惑与讲解

泛型是JDK1.5中一个最重要的特征。通过引入泛型，我们将获得编译时类型的安全
和运行时更小地抛出ClassCastExceptions的可能。
所谓泛型：就是变量类型的参数化。

当没有指定泛型继承的类型或接口时,默认使用T extends Object,所以默认情况下任
何类型都可以作为参数传入。

使用<?>或是<? extends SomeClass>的声明方式，意味著您只能通过该名称來
取得所参考实例的信息，或者是移除某些信息，但不能增加它的信息，因为只知
道当中放置的是SomeClass的子类，但不确定是什么类的实例，编译器不让您加入
信息，理由是，如果可以加入信息的話，那么您就得記得取回的实例是什么类型，
然后转换为原來的类型方可进行操作，这就失去了使用泛型的意义。
使用<? super SomeClass>的声明方式，可以增加它的信息，只能放置的是SomeClass类型或SomeClass的子类型，但不放入SomeClass的上一级类型（超类或其实现的接口），因为不能说SomeClass的上一级类型是SomeClass类型，而SomeClass类型和SomeClass的子类型可以说是SomeClass类型。

实例详解：

package com.think.java.container;

import java.util.ArrayList;
import java.util.LinkedList;
import java.util.List;

public class GenericTest<T> //GenericTest<?>
//GenericTest<?extends List> GenericTest<? super List> 都是不正确的
{
private T foo;

public T getFoo()
{
return foo;
}

public void setFoo(T foo)
{
this.foo = foo;
}

public static void main(String[] args)
{
GenericTest<? extends List> ge = null;

ge = new GenericTest<ArrayList>();
ge = new GenericTest<LinkedList>();

// ge.setFoo(new ArrayList()); //不能增加,因为不能确定类型

GenericTest<? super List> ge2 = null;

ge2 = new GenericTest<Object>();
ArrayList li = new ArrayList(); //可以增加List的子类型
li.add("jjsd");
ge2.setFoo(li);

// Object ob = new Object(); //不能增加List的上一级
// ge2.setFoo(ob);
System.out.println(ge2.getFoo());

ge2 = new GenericTest<List>();
List li2 = new ArrayList(); //可以增加List类型
li2.add("jjsd22");
ge2.setFoo(li2);
System.out.println(ge2.getFoo());

GenericTest<String> ge3 = new GenericTest<String>();
ge3.setFoo("hello world");

GenericTest<?> ge4 = ge3; //等价于 GenericTest<? extends Object> ge4 = ge3;

System.out.println(ge4.getFoo());

ge4.setFoo(null);

System.out.println(ge4.getFoo());

// ge4.setFoo("welcome"); //不能增加,因为不能确定类型


}
}