2.CONSTANT_Fieldref入口解析
由于一个类型不会含有其超类型所定义的字段,所以对目标字段的搜索将会从字段所指向的类型开始,从该类型开始搜索,再递归搜索其所实现或扩展的接口,再递归搜索其超类,直至找到目标字段,并会将运行时常量池的该字段入口标记为已解析,并在该常量池的数据上改为对这个字段的直接引用。
3.CONSTANT_Methodref入口解析
与字段的搜索类似但有所不同,其搜索顺序将从该类型开始,再递归搜索其超类,在递归搜索其所实现或扩展的接口。
4.CONSTANT_InterfaceMethodRef入口解析
对接口方法的搜索就是从被解析的接口开始,向其超接口递归搜索。
5.CONSTANT_String入口解析
Java虚拟机会将字符串处理为一个字符串对象加以维护,而虚拟机所维护的就是一张字符串池,它包含所有被”拘留”的字符串对象的引用。对CONSTANT_String常量池的解析首先就要查看字符串池中该字符串对象的引用是否存在,如果存在则直接把常量池数据解析为该字符串对象的引用,若不存在,那么就需要根据这个字符串序列创建一个字符串对象,并将其引用加入到字符串池中,并将常量池数据解析为该引用。
也可以使用String对象的intern对象来拘留一个字符串(注意并非字符串对象),若该字符串池中存在对该字符串序列的对象的引用,那么直接返回该引用即可,否则,将会拘留该字符串,但注意拘留返回的字符串对象引用将不会指向原String对象,因为原String对象位于Java堆,而字符串池的对象是虚拟机所创建的,由虚拟机所维护。
package com.ice.intern;
public class InternTest {
? ? public static void main(String args[]){
? ? ? ? String a = new String("123");
? ? ? ? String b = a;
? ? ? ? String c = new String("123");;
? ? ? ? System.out.println("before intern:");
? ? ? ? System.out.println("a = b ? :" + (a == b));
? ? ? ? System.out.println("a = c ? :" + (a == c));
? ? ? ? a = a.intern();
? ? ? ? c = c.intern();
? ? ? ? System.out.println("after intern:");
? ? ? ? System.out.println("a = b ? :" + (a == b));
? ? ? ? System.out.println("a = c ? :" + (a == c));
? ? }
}
结果如下:

(6).其他类型(数据基本类型)入口解析?
直接使用常量池所包含的常量值即可
6.直接引用?
常量池解析最终将符号引用替换成为直接引用。指向类型、类变量和类方法的直接引用可能为在方法区的指针。而指向实例变量和实例方法的直接引用是从对象映像的开始到该实例变量或方法表的偏移。?
实例变量的组织方式为:从Object类开始到该实例的类型,将类中声明的实例变量按在class文件中出现的顺序依次放在对象映像中。?
实例方法的组织方式较为类似:从Object类开始到该实例的类型,将类中声明的实例方法指针按在class文件中出现的顺序依次放在对象映像中。但对于重写的方法将出现在超类对应的位置(该方法第一次出现的位置)。?
但是访问接口方法就不能简单地通过方法表的偏移量来进行访问,而必须搜索对象的类的方法表来找到该方法。?
比如Factory接口分别由A和B来实现其produce()方法,但由于A和B不能保证由同一个实现了Factory接口的超类派生,即有着同样的produce()方法偏移,那么就无法通过方法表的偏移来访问Factory的produce()方法。
7.装载约束?
对于一个类型指向另一个类型的符号引用,如果引用的类型和被引用类型并非由同一个初始加载器加载(可能通过用户自定义ClassLoader来实现),那么虚拟机就必须确保被引用类型在不同的命名空间中保持一致。这样就通过自定义ClassLoader来加载不受信类型后,就不会发生解析对被引用类型的符号引用时,把受信的类型当做已经被解析过的不受信类型(因为对方法的符号引用只有权限定名和描述符,并不会也无法得知其初始类加载器),从而调用了不受信类型的方法访问受信类型的受保护成员。?
