我们知道,函数每次被调用时,在内存中都有自己的活动记录(activation record),称为栈空间(stack). Java 的方法在调用时在 JVM 栈中为其分配一个栈帧(Java栈空间的一个片段),可以称之为方法栈.
原则上,所有对象都在堆空间(Heap)中分配.
java对象在内存中是怎样分配的呢? 一旦对象在堆中分配了空间,那本质上就是一系列的字节.
那么如何找到对象中某个特定的属性域呢? 编译器通过一个内部表来保存每个域的偏移量.
下图是 Base 类的一个对象内存分布图,Base(基类)没有定义任何方法,关于方法在内存中的分布请看接下来的内容
如果还有另一个派生类 "Derived" 继承了基类"Base".那么内存分布将如下图所示:
子类对象和父类对象拥有同样的内存分布,当然,子类对象需要更多的空间来存放新的属性域.
这种分配方式的好处在于 Base类型的指针 如果指向了子类Derived的对象, 依然在开头的地方"看见"Base对象.
因此, 子类对象(Derived)采用 父类引用(Base) 来进行的操作 保证是安全的,因此在运行时不需要动态地检查 Base 引用的实际类型.
用样的道理,方法也可以放到object空间的开始处,如下图所示.
然而这种实现方式是没有效率的.假若一个类有很多方法(例如20个),那么每个对象就要持有20个指针
,相应的,每个对象都需要20个指针的内存空间,这会导致创建对象变慢,所占空间更大。
优化手段是创建一个 虚拟函数表(vtable,虚表),虚表是一个指向特定类的成员函数的指针数组. 如下图所示:
|
|