黑马程序员--泛型学习

---------------------- ASP.Net+Android+IOS开发、.Net培训、期待与您交流！ ----------------------

泛型是Java SE 1.5的新特性，泛型的本质是参数化类型，也就是说所操作的数据类型被指定为一个参数。这种参数类型可以用在类、接口和方法的创建中，分别称为泛型类、泛型接口、泛型方法。 Java语言引入泛型的好处是安全简单。

Jdk 1.5以前的集合类中存在的问题

ArrayList collection = new ArrayList();
collection.add(1);
collection.add(1L);
collection.add("abc");
int i = (Integer) collection.get(1);//编译要强制类型转换且会出错

Jdk 1.5的集合类希望你在定义集合时，明确表示你要向集合中装哪种类型的数据，无法加入指定类型以外的数据
ArrayList<Integer> collection2 = new ArrayList<Integer>();
collection2.add(1);
/*collection2.add(1L);
collection2.add(“abc”);*///这两行代码编译时就报告了语法错误
int i2 = collection2.get(0);//不需要再进行类型转换

泛型的使用给编译器提供了信息，标明了数据的类型，这样还避免了强制转换。

泛型中的术语：
ArrayList<E>类定义和ArrayList<Integer>类引用中涉及如下术语：
整个称为ArrayList<E>泛型类型
ArrayList<E>中的E称为类型变量或类型参数
整个ArrayList<Integer>称为参数化的类型
ArrayList<Integer>中的Integer称为类型参数的实例或实际类型参数
ArrayList<Integer>中的<>
ArrayList称为原始类型


泛型限定：

泛型的通配符(？)应用:？表示任意类型。比如当要定义一个任意参数化类型的集合（Collection<?>col），就用得到了通配符。


使用通配符可以引用其他各种参数化的类型，？通配符定义的变量主要用作引用，可以调用与参数化无关的方法，不能调用与参数化有关的方法。比如集合中的add()方法，使用了？的集合就不能在调用这个方法。


public void printCollection(Collection<?> col){}


也就是说Collection<?> col = newArrayList<String>();编译器让这个表达式被编译通过。


泛型中的？通配符的扩展

？extends E：可以接收E类型或者E的子类。这是上限限定
？super E：可以接收E类型或者E的父类。这是下限限定


限定通配符的上边界：
正确：Vector<? extends Number> x = newVector<Integer>();
错误：Vector<? extends Number> x = newVector<String>();


限定通配符的下边界：
正确：Vector<? super Integer> x = newVector<Number>();
错误：Vector<? super Integer> x = newVector<Byte>();

类型参数的类型推断

编译器判断范型方法的实际类型参数的过程称为类型推断，类型推断是相对于知觉推断的，其实现方法是一种非常复杂的过程。

根据调用泛型方法时实际传递的参数类型或返回值的类型来推断，具体规则如下:

当某个类型变量只在整个参数列表中的所有参数和返回值中的一处被应用了，那么根据调用方法时该处的实际应用类型来确定，这很容易凭着感觉推断出来，即直接根据调用方法时传递的参数类型或返回值来决定泛型参数的类型，例如：

 swap(new String[3],3,4)       static <E> void swap(E[] a, int i,int j)

当某个类型变量在整个参数列表中的所有参数和返回值中的多处被应用了，如果调用方法时

当某个类型变量在整个参数列表中的所有参数和返回值中的多处被应用了，如果调用方法时这多处的实际应用类型都对应同一种类型来确定，这很容易凭着感觉推断出来，例如：

 add(3,5)    static <T> Tadd(T a, T b)

当某个类型变量在整个参数列表中的所有参数和返回值中的多处被应用了，如果调用方法时这多处的实际应用类型对应到了不同的类型，且没有使用返回值，这时候取多个参数中的最大交集类型，例如，下面语句实际对应的类型就是Number了，编译没问题，只是运行时出问题：

 fill(newInteger[3],3.5f)    static <T> voidfill(T[] a, T v)

当某个类型变量在整个参数列表中的所有参数和返回值中的多处被应用了，如果调用方法时这多处的实际应用类型对应到了不同的类型，并且使用返回值，这时候优先考虑返回值的类型，例如，下面语句实际对应的类型就是Integer了，编译将报告错误，将变量x的类型改为float，对比eclipse报告的错误提示，接着再将变量x类型改为Number，则没有了错误：

 int x =(3,3.5f)    static <T> Tadd(T a, T b)

参数类型的类型推断具有传递性，下面第一种情况推断实际参数类型为Object，编译没有问题，而第二种情况则根据参数化的Vector类实例将类型变量直接确定为String类型，编译将出现问题：

copy(new Integer[5],new String[5])  static <T> voidcopy(T[] a,T[]  b);

copy(new Vector<String>(), new Integer[5])  static <T> voidcopy(Collection<T> a , T[] b);

如果类的实例对象中的多处都要用到同一个泛型参数，即这些地方引用的泛型类型要保持同一个实际类型时，这时候就要采用泛型类型的方式进行定义，也就是类级别的泛型，语法格式如下：

[java] view plaincopy

1. public class GenericDao<T> {  
2.     private T field1;  
3.     public void save(T obj){}  
4.     public T getById(int id){}  
5. }  

类级别的泛型是根据引用该类名时指定的类型信息来参数化类型变量的，例如，如下两种方式都可以：

GenericDao<String>dao = null;

newgenericDao<String>();

注意：

在对泛型类型进行参数化时，类型参数的实例必须是引用类型，不能是基本类型。

当一个变量被声明为泛型时，只能被实例变量、方法和内部类调用，而不能被静态变量和静态方法调用。因为静态成员是被所有参数化的类所共享的，所以静态成员不应该有类级别的类型参数。

问题：类中只有一个方法需要使用泛型，是使用类级别的泛型，还是使用方法级别的泛型？

是方法级别的泛型

通过反射获得泛型的参数化类型

示例代码：

[java] view plaincopy

1. public class GenerticTest {  
2.     public static void main(String[] args) throws Exception {  
3.         // TODO Auto-generated method stub  
4.         Object obj = "abc";  
5.         String str = autoContor(obj);  
6.           
7.         GenerticDao<ReflectPoint> gd = new GenerticDao<ReflectPoint>();  
8.         gd.add(new ReflectPoint(3,5));  
9.         //通过获得方法本身的方法  
10.         Method applyMethod = GenerticTest.class.getMethod("applyVector", Vector.class);  
11.         //通过方法的获取泛型参数的方法得到原始参数类型的集合  
12.         Type[] types = applyMethod.getGenericParameterTypes();  
13.         //将参数类型转换为参数化类型  
14.         ParameterizedType pType = (ParameterizedType)types[0];  
15.         //得到原始类型  
16.         System.out.println(pType.getRawType());  
17.         //得到实际参数类型  
18.         System.out.println(pType.getActualTypeArguments()[0]);  
19.     }