文章参考自:http://blog.csdn.net/huangrunqing/article/details/51996424
常量池:在.class文件中一开始有魔数:如ca fe ba be用来确定文件是否可以被JVM接受。接下来是版本号和常量池常量数量,然后是常量池。常量池中存放字面量和符号引用。常量池也分为两种:运行时常量池和静态常量池,这里.class文件中的是静态常量池。
下面是类方法调用实现多态的原理:
class Party{ … void happyHour(){ Person girl = new Girl(); girl.speak(); … } }在Party类中,用基类Person的引用girl调用了一个子类Girl的对象,如果子类Girl重写了speak方法,则实现了多态。一开始,当这个java文件编译成class文件后,假设girl.speak()被编译成invokevirtual #12,#12是常量池的索引。JVM首先在Party的常量池表 CONSTANT_Methodref_info中寻找索引为12的条目,
根据上图引用关系指向进一步查看常量池(CONSTANT_Class_info,CONSTANT_NameAndType_info ,最后到ONSTANT_Utf8_info)可得出要调用的方法是 Person 的 speak 方法(注意引用 girl 是其基类 Person 类型,我们编译的依据是girl.speak()),查看 Person 的方法表,得出 speak 方法在该方法表中的偏移量 15(offset),这就是该方法调用的直接引用。
当解析出方法调用的直接引用后(方法表偏移量 15),JVM 执行真正的方法调用:根据实例方法调用的参数 this 得到具体的对象(即 girl 所指向的位于堆中的对象),据此得到该对象对应的方法表 (Girl 的方法表 ),进而调用方法表中的某个偏移量(这里是15)所指向的方法(Girl 的 speak() 方法的实现,从而实现了多态)。而接口调用不同的一点是它需要搜索全表(方法表)从而找到需要调用的方法。