JDK 1.5编译中的一个独特问题[Java编程]

学员本日正午问了我一个风趣的Java编译问题,我也无法给他注释,不知道有没有路过的高人可以注释清楚缘由,望不吝赐教!

　　 下面程序的main办法中的第二行代码和注释中的两行代码表达的意思完好相同,注释中的两行代码不能通过编译（这很简单理解）,而第二行（采取办法调用链）却可以顺利通过编译（这就很难理解了）.

public class Test
{
　 public void func()
　 {
　　 System.out.println("func");
　 }

　public static void main(String args[]) throws Exception
　 {
　　 Object obj = new Test();
　　 //下面这行可以成功编译
　　 ((Test)obj).getClass().newInstance().func();

//下面这两行无法通过编译
　　 /*Class c = ((Test)obj).getClass();
　　 c.newInstance().func(); */
　 }
}

感激paulex先生的帮忙,在paulex先生的提醒下,我基本上懂得了上述问题的缘由.下面是paulex先生的解答:

因为Generic, 编译器可以在编译期得到范例信息所以可以编译这类代码.你将下面那两行改成

Class<? extends Test> c = ((Test)obj).getClass();
c.newInstance().func();

应当就可以通过编译了.

下面是我在paulex先生解答的底子上,对问题的进一步注释:

在JDK 1.5中引入范型后,Object.getClass()办法的定义以下:

public final Class<? extends Object> getClass()
Returns the runtime class of an object. That Class object is the object that is locked by static synchronized methods of the represented class.

Returns:
The java.lang.Class object that represents the runtime class of the object. The result is of type Class<? extends X> where X is the erasure of the static type of the expression on which getClass is called.

这阐明((Test)obj).getClass()语句返回的对象范例为Class<? extends Test>,而Class<T>的newInstance()办法的定义以下:

public T newInstance() throws InstantiationException,IllegalAccessException

即关于编译器看来,Class<Test>的newInstance()办法的对象范例为Test,而((Test)obj).getClass()返回的为对象范例为Class<? extends Test>,所以,编译器认为((Test)obj).getClass().newInstance()返回的对象范例为Test.

下面这两行代码之所以无法通过编译

Class c = ((Test)obj).getClass();
c.newInstance().func();

是因为((Test)obj).getClass()返回的为对象范例为Class<? extends Test>,但是我们在第一行将后果强迫转换成了Class,然后再去调用Class的newInstance办法,而不是去调用Class<Test>的newInstance办法,编译器当然不再认为Class的newInstance办法返回的对象为Test了.