常量池中各数据项类型详解（续）

（8） CONSTANT_Class_info

 

（9） CONSTANT_Fieldref_info

 

常量池中的一个CONSTANT_Fieldref_info， 可以看做是CONSTANT_Field数据类型的一个实例。 该数据项表示对一个字段的符号引用， 可以是对本类中的字段的符号引用， 也可以是对其他类中的字段的符号引用， 可以是对成员变量字段的符号引用， 也可以是对静态变量的符号引用, 其中ref三个字母就是reference的简写。 之前的文章中， “符号引用”这个名词出现了很多次， 可能有的同学一直不是很明白， 等介绍完CONSTANT_Fieldref_info， 就可以很清晰的了解什么是符号引用。 下面分析CONSTANT_Fieldref_info中的内容都存放了什么信息。 

 

和其他类型的常量池数据项一样， 它的第一个字节也必然是tag， 它的tag值为9 。 也就是说， 当虚拟机访问到一个常量池中的一项数据， 如果发现这个数据的tag值为9， 就可以确定这个被访问的数据项是一个CONSTANT_Fieldref_info， 并且知道这个数据项表示对一个字段的符号引用。 

 

tag值下面的两个字节是一个叫做class_index的索引值， 它指向一个CONSTANT_Class_info数据项， 这个数据项表示被引用的字段所在的类型， 包括接口。 所以说， CONSTANT_Class_info可以作为字段符号引用的一部分。 

 

class_index以下的两个字节是一个叫做name_and_type_index的索引， 它指向一个CONSTANT_NameAndType_info， 这个CONSTANT_NameAndType_info前面的博客中已经解释过了， 不明白的朋友可以先看前面的博客：深入理解Java Class文件格式（三） 。 这个CONSTANT_NameAndType_info描述的是被引用的字段的名称和描述符。 我们在前面的博客中也提到过， CONSTANT_NameAndType_info可以作为字段符号引用的一部分。

 

到此， 我们可以说， CONSTANT_Fieldref_info就是对一个字段的符号引用， 这个符号引用包括两部分， 一部分是该字段所在的类， 另一部分是该字段的字段名和描述符。 这就是所谓的 “对字段的符号引用” 。

 

下面结合实际代码来说明， 代码如下：

 

 

1. package com.jg.zhang;  
2.   
3. public class TestInt {  
4.     int a = 10;  
5.     void print(){  
6.         System.out.println(a);  
7.     }  
8. }  

在print方法中， 引用了本类中的字段a。 代码很简单， 我们一眼就可以看到print方法中是如何引用本类中定义的字段a的。 那么在class文件中， 对字段a的引用是如何描述的呢？ 下面我们将这段代码使用javap反编译， 给出简化后的反编译结果：

 

1. Constant pool:  
2.    #1 = Class              #2             //  com/jg/zhang/TestInt  
3.    #2 = Utf8               com/jg/zhang/TestInt  
4.   
5.    ......  
6.   
7.    #5 = Utf8               a  
8.    #6 = Utf8               I  
9.   
10.    ......  
11.   
12.   #12 = Fieldref           #1.#13         //  com/jg/zhang/TestInt.a:I  
13.   #13 = NameAndType        #5:#6          //  a:I  
14.   
15.   ......  
16.   
17. {  
18.   
19.   void print();  
20.     flags:  
21.     Code:  
22.       stack=2, locals=1, args_size=1  
23.          0: getstatic     #19                 // Field java/lang/System.out:Ljava/io/PrintStream;  
24.          3: aload_0  
25.          4: getfield      #12                 // Field a:I  
26.          7: invokevirtual #25                 // Method java/io/PrintStream.println:(I)V  
27.         10: return  
28. }  

 

可以看到， print方法的位置为4的字节码指令getfield引用了索引为12的常量池数据项， 常量池中索引为12的数据项是一个CONSTANT_Fieldref_info， 这个CONSTANT_Fieldref_info又引用了索引为1和13的两个数据项， 索引为1的数据项是一个CONSTANT_Class_info， 这个CONSTANT_Class_info数据项又引用了索引为2的数据项， 索引为2的数据项是一个CONSTANT_Utf8_info , 他存储了字段a所在的类的全限定名com/jg/zhang/TestInt 。 而CONSTANT_Fieldref_info所引用的索引为13的数据项是一个CONSTANT_NameAndType_info， 它又引用了两个数据项， 分别为第5项和第6项， 这是两个CONSTANT_Utf8_info ， 分别存储了字段a的字段名a， 和字段a的描述符I 。 

 

下面给出内存布局图， 这个图中涉及的东西有点多， 因为CONSTANT_Fieldref_info引用了CONSTANT_Class_info和CONSTANT_NameAndType_info， CONSTANT_Class_info又引用了一个CONSTANT_Utf8_info ， 而CONSTANT_NameAndType_info又引用了两个CONSTANT_Utf8_info 。 

 

（11） CONSTANT_InterfaceMethodref_info

1. package com.jg.zhang;  
2.   
3. public class Plane {  
4.   
5.     IFlyable flyable;  
6.       
7.     void flyToSky(){  
8.         flyable.fly();  
9.     }  
10. }  

1. package com.jg.zhang;  
2.   
3. public interface IFlyable {  
4.   
5.     void fly();  
6. }  

1. Constant pool:  
2. .........  
3.   
4.   #8 = Utf8               ()V  
5.   
6.   #19 = InterfaceMethodref #20.#22        //  com/jg/zhang/IFlyable.fly:()V  
7.   #20 = Class              #21            //  com/jg/zhang/IFlyable  
8.   #21 = Utf8               com/jg/zhang/IFlyable  
9.   #22 = NameAndType        #23:#8         //  fly:()V  
10.   #23 = Utf8               fly  
11.   
12. {  
13.   
14. .........  
15.   
16.   com.jg.zhang.IFlyable flyable;  
17.     flags:  
18.   
19. .........  
20.   
21.   void flyToSky();  
22.     flags:  
23.     Code:  
24.       stack=1, locals=1, args_size=1  
25.          0: aload_0  
26.          1: getfield      #17                 // Field flyable:Lcom/jg/zhang/IFlyable;  
27.          4: invokeinterface #19,  1           // InterfaceMethod com/jg/zhang/IFlyable.fly:()V  
28.          9: return  
29.   
30. }