泛型作用于编译阶段:
泛型是作用于编译阶段,在编译阶段控制类型,以确保在编写代码的时候仅仅能传入指定类型数据到泛型集合对象中去。
怎样验证呢,贴代码例如以下:
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 collection =new ArrayList();
ArrayList collection2 =new ArrayList();
ArrayList collection3=new ArrayList();
//假设想等说明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 );
通过这句核心代码我们就得到的就是能够加入不论什么类型的数据到此集合对象中去。
为什么?
事实上非常easy,由于有类型限定的.java源文件编译成class以后。就已经没有了类型限定。能够理解为泛型的类型限定是作用在编译期间。一旦编译成功得到class文件以后,类型的限定就不复存在。
那么通过上述的反射方法。我们获取的正好是class文件信息,然后通过反射的getMethod()方法获取了泛型集合类型的add方法。通过这种方法相当于是透过了编译阶段将String对象传入到源程序中式Integer类型限定的泛型集合对象中。