Translate from What do Java objects look like in memory during run-time?
Java对象运行时在内存中是什么样?
我们都知道,函数被调用时,在内存里是用栈来存储它的活动记录的。而Java中,方法被调用时是用JVM Stack(JVM栈)中的栈帧来存储,对象则被分配在堆空间中。
那么,Java对象在堆中是什么样的呢?一旦一个对象被加载进了内存,它就是一连串的二进制。
我们去哪里找对象中指定的域呢?在方法区(method area)中有一个内部表存放了所有域的起始位置。
下面是一个类”Base”(B)堆内存布局的例子。这个类中没有定义任何方法,方法在堆中如何存放的我们会在后面一段讲。
假设我们有另外一个”Derived”(D)类,继承了”Base”类。它的堆内存布局如下:
子类和父类一样有着同样的内存布局,除了子类需要多的空间来存放新的域外。这样布局的好处在于,当Base父类的指针指向Derived子类对象时,我们仍然可以在内存布局的起始处看到“父类对象”。因此,通过Base父类引用对Derived子类对象进行的操作可以保证是安全的;也不需要在运行时,动态的检查Base父类引用实际指向的类型。
按照这种逻辑,方法也可以放在对象空间的开头。
但是,这种方法非常没有效率。如果一个类有许多方法(例如100个),那么每个对象就需要100个指针,也就是每个对象需要100个放置指针的空间。这会使创建对象变得更慢,空间更大。
更优化的方法是,创建一个虚拟方法表(vtable),里面放置这个类所有成员函数的指针。这样,每个类只需要创建一个空间来放置这个vtable的指针。
参考:
1. Stanford Compilers Lectures
2. JVM
译者补充:
其实本篇就是动态绑定的原理,扩展可看:
JAVA动态绑定的内部实现机制
Java中的静态绑定和动态绑定详细介绍