java5核心基础之泛型（3）-泛型作用于编译阶段-如何将String对象传入Integer类型的泛型对象中？

标签：泛型   假类型限定   

泛型作用于编译阶段：

泛型是作用于编译阶段，在编译阶段控制类型，以确保在编写代码的时候只能传入指定类型数据到泛型集合对象中去。如何验证呢，贴代码如下：

package highBasic.generic;
import java.lang.reflect.InvocationTargetException;
import java.lang.reflect.Method;
import java.util.ArrayList;
public class StringAddToGenericInteger {
 public static void main(String[] args) throws NoSuchMethodException, SecurityException, IllegalAccessException, IllegalArgumentException, InvocationTargetException {
  ArrayList<String> collection =new ArrayList<String>();
  ArrayList<String> collection2 =new ArrayList<String>();
  ArrayList<Integer> collection3=new ArrayList<Integer>();
  //如果想等说明collection2和collection3指向的是同一份字节码。
  System.out.println(collection2.getClass()==collection3.getClass());
  //打印的结果是true
  //-------是否可以透过编译器给collection3中添加String对象呢？
  //collection3.add("abc");------报错
  Method method=collection3.getClass().getMethod("add",Object.class );
  method.invoke(collection3, "abc");
  System.out.println("透过编译器，将String对象传到Integer类型的集合对象中，输出结果："+collection3.get(0));
  //输出：“透过编译器，将String对象传到Integer类型的集合对象中，输出结果：abc”
  //说明以上做法实现了。
  //那么问题是这样的做法有什么用途----------------------------?
 }
}

上述code中的输出语句：

  System.out.println(collection2.getClass()==collection3.getClass());

输出的结果是true，说明collection2和collection3指向的是同一份字节码，虽然在声明阶段指定的类型分别是String和Integer。

也就说明，java源程序编译成class文件以后，jvm运行程序阶段的时候，jvm根本不知道你限定的类型是什么。这也就更进一步的验证了前面所说的泛型的类型限定是作用于编译期间，在运行期间就不起作用了。

那么我们了解了这个，就可以设想如何透过编译期，解决在类型限定情况下的非限定类型的值传入该集合对象，所以我们看下面这个面试题。解决的办法在上述代码中已经实现。

如何将String对象传入Integer类型的泛型对象中？

  Method method=collection3.getClass().getMethod("add",Object.class );

通过这句核心代码我们就得到的就是可以添加任何类型的数据到此集合对象中去。

为什么？

其实很简单，因为有类型限定的.java源文件编译成class以后，就已经没有了类型限定。可以理解为泛型的类型限定是作用在编译期间，一旦编译成功得到class文件以后，类型的限定就不复存在。

那么通过上述的反射方法，我们获取的正好是class文件信息，然后通过反射的getMethod（）方法获取了泛型集合类型的add方法。通过这个方法相当于是透过了编译阶段将String对象传入到源程序中式Integer类型限定的泛型集合对象中。

java5核心基础之泛型（3）-泛型作用于编译阶段-如何将String对象传入Integer类型的泛型对象中？

标签：泛型   假类型限定   

原文地址：http://blog.csdn.net/hymking/article/details/24675433