学员今天中午问了我一个有趣的java编译问题,我也无法给他解释,不知道有没有路过的高人能够解释清楚原因,望不吝赐教!
下面程序的main方法中的第二行代码和注释中的两行代码表达的意思完全相同,注释中的两行代码不能通过编译(这很容易理解),而第二行(采用方法调用链)却可以顺利通过编译(这就很难理解了)。
感谢paulex先生的帮助,在paulex先生的提示下,我基本上明白了上述问题的原因。下面是paulex先生的解答:
因为generic, 编译器可以在编译期获得类型信息所以可以编译这类代码。你将下面那两行改成
应该就能通过编译了。
下面是我在paulex先生解答的基础上,对问题的进一步解释:
在jdk 1.5中引入范型后,object.getclass()方法的定义如下:
这说明((test)obj).getclass()语句返回的对象类型为class<? extends test>,而class<t>的newinstance()方法的定义如下:
即对于编译器看来,class<test>的newinstance()方法的对象类型为test,而((test)obj).getclass()返回的为对象类型为class<? extends test>,所以,编译器认为((test)obj).getclass().newinstance()返回的对象类型为test。
下面这两行代码之所以无法通过编译
是因为((test)obj).getclass()返回的为对象类型为class<? extends test>,但是我们在第一行将结果强制转换成了class,然后再去调用class的newinstance方法,而不是去调用class<test>的newinstance方法,编译器当然不再认为class的newinstance方法返回的对象为test了。
下面程序的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了。