Java继承机制下的内存分配详解与图示分析

继承的基本概念&＃xff1a;

(1)Java不支持多继承&＃xff0c;也就是说子类至多只能有一个父类。

(2)子类继承了其父类中不是私有的成员变量和成员方法&＃xff0c;作为自己的成员变量和方法。

(3)子类中定义的成员变量和父类中定义的成员变量相同时&＃xff0c;则父类中的成员变量不能被继承。

(4)子类中定义的成员方法&＃xff0c;并且这个方法的名字返回类型&＃xff0c;以及参数个数和类型与父类的某个成员方法完全相同&＃xff0c;则父类的成员方法不能被继承。

分析以上程序示例&＃xff0c;主要疑惑点是“子类继承父类的成员变量&＃xff0c;父类对象是否会实例化&＃xff1f;私有成员变量是否会被继承&＃xff1f;被继承的成员变量在哪里分配空间&＃xff1f;”

1&＃xff1a;虚拟机加载ExtendsDemo类&＃xff0c;提取类型信息到方法区。

2&＃xff1a;通过保存在方法区的字节码&＃xff0c;虚拟机开始执行main方法&＃xff0c;main方法入栈。

3&＃xff1a;执行main方法的第一条指令&＃xff0c;new Student(); 这句话就是给Student实例对象分配堆空间。因为Student继承Person父类&＃xff0c;所以&＃xff0c;虚拟机首先加载Person类到方法区&＃xff0c;并在堆中为父类成员变量在子类空间中初始化。然后加载Student类到方法区&＃xff0c;为Student类的成员变量分配空间并初始化默认值。将Student类的实例对象地址赋值给引用变量s。

4&＃xff1a;接下来两条语句为成员变量赋值&＃xff0c;由于name跟age是从父类继承而来&＃xff0c;会被保存在子类父对象中(见图中堆中在子类实例对象中为父类成员变量分配了空间并保存了父类的引用&＃xff0c;并没有实例化父类。)&＃xff0c;所以就根据引用变量s持有的引用找到堆中的对象(子类对象)&＃xff0c;然后给name跟age赋值。

4&＃xff1a;调用say()方法&＃xff0c;通过引用变量s持有的引用找到堆中的实例对象&＃xff0c;通过实例对象持有的本类在方法区的引用&＃xff0c;找到本类的类型信息&＃xff0c;定位到say()方法。say()方法入栈。开始执行say()方法中的字节码。

5&＃xff1a;say()方法执行完毕&＃xff0c;say方法出栈&＃xff0c;程序回到main方法&＃xff0c;main方法执行完毕出栈&＃xff0c;主线程消亡&＃xff0c;虚拟机实例消亡&＃xff0c;程序结束。

总结&＃xff1a;相同的方法会被重写&＃xff0c;变量没有重写之说&＃xff0c;如果子类声明了跟父类一样的变量&＃xff0c;那意味着子类将有两个相同名称的变量。一个存放在子类实例对象中&＃xff0c;一个存放在父类子对象中。父类的private变量&＃xff0c;也会被继承并且初始化在子类父对象中&＃xff0c;只不过对外不可见。

super关键字在java中的作用是使被屏蔽的成员变量或者成员方法变为可见&＃xff0c;或者说用来引用被屏蔽的成员变量或成员方法&＃xff0c;super只是记录在对象内部的父类特征(属性和方法)的一个引用。啥叫被屏蔽的成员变量或成员方法&＃xff1f;就是被子类重写了的方法和定义了跟父类相同的成员变量&＃xff0c;由于不能被继承&＃xff0c;所以就称作被屏蔽。

说到这里&＃xff0c;上面提出的疑惑也就解开了。