代码改变世界

一个有趣的Java编译问题

2006-11-07 22:15  java ee spring  阅读(177)  评论(0编辑  收藏  举报

学员冯伟立今天中午问了我一个有趣的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先生的解答:

-----------------------------------------------------------------------------------------------------------------------

paulex 发表于2006-11-08 08:09:00  IP: 10.0.0.*
因为Generic, 编译器可以在编译期获得类型信息所以可以编译这类代码。你将下面那两行改成

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

应该就能通过编译了。

楼上的用1.4.2的编译器所以不能编译。
-------------------------------------------------------------------------------------------------------------------------
下面是我在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了。

-------------------------------------------------------

再次向paulex先生表示感谢,paulex先生的blog地址是http://blog.csdn.net/paulex