Java的多态为何可以由子类实例化父类( 二 )


而且还要注意一个特点就是,Parent和Child的方法表中,指向eat的引用在表中的偏移量是一样的,都是第三个位置。(这是因为子类eat方法覆盖掉了父类eat方法,占据了原来父类eat方法的引用在表中的位置)
这里再多说一句,表示类型信息的结构体中,的方法信息,只包含本类特有的,或者是重写的方法信息,没有父类的方法信息。
了解了方法区的结构后,我们来看堆中对象的结构

Java的多态为何可以由子类实例化父类


接下来是栈区,产生Father类型的引用,这个引用指向堆区中的Child类的实例。
这里需要解释一下Father c的含义,我们知道c表示一个引用,这个引用指向堆中的Child类的实例,说白了就是一个地址,这个地址指向堆中的Child的类的实例,但是我们不要忘记前面还有一个Father修饰这个c
我们都知道在c中有void类型的指针,而给指针前面限定一个类型就限制了指针访问内存的方式,比如char * p就表示p只能一个字节一个字节地访问内存,但是int *p中p就必须四个字节四个字节地访问内存。
但是我们都知道指针是不安全的,其中一个不安全因素就是指针可能访问到没有分配的内存空间,也就是说char *虽然限制了p指针访问内存的方式,但是没有限制能访问内存的大小,这一点要完全靠程序员自己掌握。
但是在java的引用中Father不但指定了c以何种方式访问内存,也规定了能够访问内存空间的大小。
我们看Father实例对象的大小是占两行,但Child实例对象占三行(这里就是简单量化一下)。
所以虽然c指向的是Child实例对象,但是前面有Father修饰它,它也只能访问两行的数据,也就是说c根本访问不到Child类中的age!!!只能访问到Father类的age,所以输出40
而且我们注意两个类的方法表:

Java的多态为何可以由子类实例化父类


我们看到Parent的方法表占三行,Child的方法表占4行,c虽然指向了Child类的实例对象,而对象中也有指针指向Child类的方法表,但是由于c受到了Father的修饰,通过c也只能访问到Child方法表中前3行的内容!!!!
然而前面说过,在方法表的形成过程中,子类重写的方法会覆盖掉表中原来的数据,也就是Child类的方法表的第三行是指向Child.eat的引用,而不是指向Parent.eat(因为方法表产生了覆盖),所以c访问到的是Child.eat。也就是子类的方法!!!这种情况下,c是没有办法直接访问到父类的eat方法的。
以上就是对输出结果的解释。
花了大概两天的时间看JVM虚拟机,看得不够仔细,纰漏之处还请之处。谢谢。

■网友
首先把你的程序实际写出来:
public class TestFatherAndSon { private static class Father{ public void methods() { System.out.println("methods in Father"); } } private static class Son extends Father { @Override public void methods() { System.out.println("methdos in Son"); } } public static void main(String args) { Father obj = new Son(); obj.methods(); Son obj2 = new Son(); obj = obj2; obj.methods(); }}运行结果就不用说了,都是:
methdos in Son
methdos in Son
然后再加几句你就明白了:
Father obj = new Son();if (obj instanceof Father) { System.out.println("obj instanceof Father");}if (obj instanceof Son) { System.out.println("obj instanceof Son");}System.out.println("obj is "+obj.getClass().getName());


推荐阅读