黑马程序员技术交流社区

标题: 【上海校区】实例分析理解Java字节码 [打印本页]

---

作者: 不二晨    时间: 2018-11-23 10:11
标题: 【上海校区】实例分析理解Java字节码
1、 准备.class文件第一步，我们要准备一个字节码文件。先写一个简单的Java源程序TestByteCode.java：
package com.sinosun.test;public class TestByteCode{        private int a = 1;        public String b = "2";                protected void method1(){}                public int method2(){                return this.a;        }                private String method3(){                return this.b;        }}复制代码使用javac命令将上面的代码进行编译，得到对应的TestByteCode.class文件，到这里就完成了第一步。
2、 人工解析.class文件经过上一步已经得到了TestByteCode.class文件，也就是我们需要的字节码。我们不妨先来看一下文件的内容。（注意IDEA打开.class文件时会自动进行反编译，这里使用IDEA中的HexView插件查看.class文件，也可以使用Sublime Text直接打开.class文件）可以看到字节码文件中是一大堆16进制字节，下图中红色框中的部分就是.class文件中的真实内容：


要想理解class文件，必须先知道它的组成结构。按照JVM的字节码规范，一个典型的class文件由十个部分组成：MagicNumber、Version、Constant_Pool、Access_flag、This_class、Super_class、Interface、Fields、Method以及Attributes。字节码中包括两种数据类型：无符号数和表。无符号数又包括 u1，u2，u4，u8四种，分别代表1个字节、2个字节、4个字节和8个字节。而表结构则是由无符号数据组成的。
根据规定，一个字节码文件的格式固定如下：


根据上表可以清晰地看出，字节码采用固定的文件结构和数据类型来实现对内容的分割，结构非常紧凑，没有任何冗余的信息，连分隔符都没有。
3、 魔数及版本号根据结构表，.class文件的前四个字节存放的内容就是.class文件的魔数（magic number）。魔数是一个固定值：0xcafebabe，也是JVM识别.class文件的标志。我们通常是根据后缀名来区分文件类型的，但是后缀名是可以任意修改的，因此虚拟机在加载类文件之前会先检查这四个字节，如果不是0xcafebabe则拒绝加载该文件。
关于魔数为什么是0xcafebabe，请移步DZone围观James Gosling的解释。
版本号紧跟在魔数之后，由两个2字节的字段组成，分别表示当前.class文件的主版本号和次版本号，版本号数字与实际JDK版本的对应关系如下图。编译生成.class文件的版本号与编译时使用的-target参数有关。
编译器版本-target参数十六进制表示十进制表示
JDK 1.6.0_01不带（默认 -target 1.6）00 00 00 3250
JDK 1.6.0_01-target  1.500 00 00 3149
JDK 1.6.0_01-target 1.4 -source 1.400 00 00 3048
JDK 1.7.0不带（默认 -target 1.6）00 00 00 3250
JDK 1.7.0-target 1.700 00 00 3351
JDK 1.7.0-target 1.4 -source 1.400 00 00 3048
JDK 1.8.0无-target参数00 00 00 3452第二节中得到的.class文件中，魔数对应的值为：0x0000 0034，表示对应的JDK版本为1.8.0，与编译时使用的JDK版本一致。
4、 常量池常量池是解析.class文件的重点之一，首先看常量池中对象的数量。根据第二节可知，constant_pool_count的值为0x001c，转换为十进制为28，根据JVM规范，constant_pool_count的值等于constant_pool中的条目数加1，因此，常量池中共有27个常量。
根据JVM规范，常量池中的常量的一般格式如下：
cp_info {        u1 tag;        u1 info[];}复制代码共有11种类型的数据常量，各自的tag和内容如下表所示：


我们通过例子来查看如何分析常量，下图中，红线部分为常量池的部分内容。


首先第一个tag值为0x0a，查看上面的表格可知该常量对应的是CONSTANT_Methodref_info，即指向一个方法的引用。tag后面的两个2字节分别指向常量池中的一个CONSTANT_Class_info型常量和一个CONSTANT_NameAndType_info型常量，该常量的完整数据为：0a 0006 0016，两个索引常量池中的第6个常量和第22个常量，根据上表可以知道其含义为：

0a    0006    0016                Methodref        class#6        nameAndType#22

因为还未解析第6个及第22个常量，这里先使用占位符代替。
同理可以解析出其它的常量，分析得到的完整常量池如下：
序号16进制表示含义常量值
10a  0006  0016Methodref   #6   #22java/lang/Object."":()V
209  0005  0017Fieldref         #5   #23com/sinosun/test/TestByteCode.a:I
308  0018String     #242
409  0005  0019Fieldref         #5   #25com/sinosun/test/TestByteCode.b:Ljava/lang/String;
507  001aClass      #26com/sinosun/test/TestByteCode
607  001bClass      #27java/lang/Object
701  0001  61UTF8编码a
801  0001  49UTF8编码I
901  0001  62UTF8编码b
1001  0012  4c6a6176612f6c616e672f537472696e673bUTF8编码Ljava/lang/String;
1101  0006  3c 69 6e 69 74 3eUTF8编码
1201  0003  28 29 56UTF8编码()V
1301  0004  43 6f 64 65UTF8编码Code
1401  000f   4c696e654e756d6265725461626c65UTF8编码LineNumberTable
1501  0007  6d 65 74 68 6f 64 31UTF8编码method1
1601  0007  6d 65 74 68 6f 64 32UTF8编码method2
1701  0003  28 29 49UTF8编码()I
1801  0007  6d 65 74 68 6f 64 33UTF8编码method3
1901  0014  28294c6a6176612f6c616e672f537472696e673bUTF8编码()Ljava/lang/String;
2001  000a  53 6f 75 72 63 65 46 69 6c 65UTF8编码SourceFile
2101  0011 5465737442797465436f64652e6a617661UTF8编码TestByteCode.java
220c  000b 000cNameAndType #11    #12"":()V
230c  0007 0008NameAndType #7    #8a:I
2401  0001 32UTF8编码2
250c  0009 000aNameAndType #9    #10b:Ljava/lang/String;
2601  001d  636f6d2f73696e6f73756e2f746573 742f5465737442797465436f6465UTF8编码com/sinosun/test/TestByteCode
2701  0010  6a6176612f6c616e672f4f626a656374UTF8编码java/lang/Object上表所示即为常量池中解析出的所有常量，关于这些常量的用法会在后文进行解释。
5、访问标志access_flag标识的是当前.class文件的访问权限和属性。根据下表可以看出，该标志包含的信息包括该class文件是类还是接口，外部访问权限，是否是abstract，如果是类的话，是否被声明为final等等。
Flag NameValueRemarks
ACC_PUBLIC0x0001public
ACC_PRIVATE0x0002private
ACC_PROTECTED0x0004protected
ACC_STATIC0x0008static
ACC_FINAL0x0010final
ACC_SUPER0x0020用于兼容早期编译器，新编译器都设置该标记，以在使用 invokespecial 指令时对子类方法做特定处理。
ACC_INTERFACE0x0200接口，同时需要设置：ACC_ABSTRACT。不可同时设置：ACC_FINAL、ACC_SUPER、ACC_ENUM
ACC_ABSTRACT0x0400抽象类，无法实例化。不可与ACC_FINAL同时设置。
ACC_SYNTHETIC0x1000synthetic，由编译器产生，不存在于源代码中。
ACC_ANNOTATION0x2000注解类型（annotation），需同时设置：ACC_INTERFACE、ACC_ABSTRACT
ACC_ENUM0x4000枚举类型本文的字节码文件中access_flag标志的取值为0021，上表中无法直接查询到该值，因为access_flag的值是一系列标志位的并集，0x0021 = 0x0020+0x0001，因此该类是public型的。
访问标志在后文的一些属性中也会多次使用。
6、类索引、父类索引、接口索引类索引this_class保存的是当前类的全限定名在常量池中的索引，取值为0x0005，指向常量池中的第5个常量，查表可知内容为：com/sinosun/test/TestByteCode。
父类索引super_class保存的是当前类的父类的全局限定名在常量池中的索引，取值为0x0006，指向池中的第6个常量，值为：java/lang/Object。
接口信息interfaces保存了当前类实现的接口列表，包含接口数量和包含所有接口全局限定名索引的数组。本文的示例代码中没有实现接口，因此数量为0。
7、字段接下来解析字段Fields部分，前两个字节是fields_count，值为0x0002，表明字段数量为2。     其中每个字段的结构用field_info表示：
field_info {    u2 access_flags;    u2 name_index;    u2 descriptor_index;    u2 attributes_count;    attribute_info attributes[attributes_count];}复制代码根据该结构来分析两个字段，第一个字段的内容为0002 0007 0008 0000，访问标志位0x0002表示该字段是private型的，名称索引指向常量池中第7个值为a，类型描述符指向常量池中第8个值为I ，关联的属性数量为0，可知该字段为private I a，其中I表示 int。
同样，通过0001 0009 000a 0000可以分析出第二个字段，其值为public Ljava/lang/String; b。其中的Ljava/lang/String;表示String。
关于字段描述符与源代码的对应关系，下表是一个简单的示意：
描述符源代码
Ljava/lang/String;String
Iint
[Ljava/lang/Object;Object[]
[Zboolean[]
[[Lcom/sinosun/generics/FileInfo;com.sinosun.generics.FileInfo[][]8、方法字段结束后进入对方法methods的解析，首先可以看到方法的数量为0x0004，共四个。
不对啊！TestByteCode.java中明明只有三个方法，为什么.class文件中的方法数变成了4个？
因为编译时自动生成了一个<init>方法作为类的默认构造方法。
接下来对每个方法进行分析，老规矩，分析之前首先了解方法的格式定义：
method_info {    u2 access_flags;    u2 name_index;    u2 descriptor_index;    u2 attributes_count;    attribute_info attributes[attributes_count];}复制代码根据该格式，首先得到第一个方法的前8个字节0001 000b 000c 0001，对照上面的格式以及之前常量池和访问标志的内容，可以知道该方法是：public <init> ()V ，且附带一个属性。可以看到该方法名就是<init>。对于方法附带的属性而言，有着如下格式：
attribute_info {     u2 attribute_name_index;     u4 attribute_length;     u1 info[attribute_length];}复制代码继续分析后面的内容000d，查询常量池可以知道该属性的名称为：Code。Code属性是method_info属性表中一种可变长度的属性，该属性中包括JVM指令及方法的辅助信息，如实例初始化方法或者类或接口的初始化方法。如果一个方法被声明为native或者abstract，那么其method_info结构中的属性表中一定不包含Code属性。否则，其属性表中必定包含一个Code属性。
Code属性的格式定义如下：
Code_attribute {     u2 attribute_name_index;     u4 attribute_length;     u2 max_stack;     u2 max_locals;     u4 code_length;     u1 code[code_length];     u2 exception_table_length;     {           u2 start_pc;          u2 end_pc;          u2 handler_pc;          u2 catch_type;     } exception_table[exception_table_length];     u2 attributes_count;     attribute_info attributes[attributes_count];}复制代码对照上面的结构分析字节序列000d 00000030 0002 0001，该属性为Code属性，属性包含的字节数为0x00000030，即48个字节，这里的长度不包括名称索引与长度这两个字段。max_stack表示方法运行时所能达到的操作数栈的最大深度，为2；max_locals表示方法执行过程中创建的局部变量的数目，包含用来在方法执行时向其传递参数的局部变量。
接下来是一个方法真正的逻辑核心——字节码指令，这些JVM指令是方法的真正实现。首先是code_length表示code长度，这里的值为16，表示后面16个字节是指令内容，2a b7 0001 2a 04 b5 0002 2a 12 03 b5 0004 b1。
为了便于理解，将这些指令翻译为对应的助记符：
字节码助记符指令含义
0x2aaload_0将第一个引用类型本地变量推送至栈顶
0xb7invokespecial调用超类构建方法, 实例初始化方法, 私有方法
0x04iconst_1将int型1推送至栈顶
0xb5putfield为指定类的实例域赋值
0x12ldc将int,float或String型常量值从常量池中推送至栈顶
0xb1return从当前方法返回void对照表格可以看出这几个指令的含义为：

2a                   aload_0
b7 0001         invokespecial   #1           //Method   java/lang/Object."":()V
2a                         aload_0
04                         iconst_1
b5 0002                 putfield                 #2                //Field   a:I
2a                         aload_0
12 03                 ldc                        #3                //String   2
b5 0004                 putfield                #4                //Field        b:Ljava/lang/String;
b1                        return

可以看出，在初始化方法中，先后将类自身引用this_class、类中的变量a和变量b入栈，并为两个变量赋值，之后方法结束。
指令分析结束后，是方法中的异常表，本方法中未抛出任何异常，因此表长度为0000。后面的0001表示后面有一个属性。根据之前的属性格式可以知道，该属性的名称索引为0x000e，查找常量池可知该属性为LineNumberTable属性。
下面是LineNumberTable属性的结构：
LineNumberTable_attribute {    u2 attribute_name_index;    u4 attribute_length;    u2 line_number_table_length;    {             u2 start_pc;            u2 line_number;    } line_number_table[line_number_table_length];}复制代码结合该结构，分析0000000e 0003 0000 0003 0004 0004 0009 0005可知，该表中共有三项，第一个数字表示指令码中的字节位置，第二个数字表示源代码中的行数。
同理，可以对后面的方法进行分析。
第二个方法，0004 000f 000c 0001表示方法名及访问控制符为protected method1 ()V ，且附有一个属性。000d 00000019，毫无疑问，属性就是Code ，长度为25个字节。
0000 0001 00000001 b1 可以看出操作数栈深度max_stack为0，max_locals为1表示有一个局部变量，所有方法默认都会有一个指向其所在类的参数。方法体中只有一个字节指令，就是return，因为该方法是一个空方法。0000 0001表明没有异常，且附有一个属性。000e 00000006 0001 0000 0007属性是LineNumberTable，内容表明第一个字节指令与代码的第7行对应。
在后面两个方法中，使用了三个新的字节指令：
字节码助记符指令含义
0xb4getfield获取指定类的实例域, 并将其压入栈顶
0xacireturn从当前方法返回int
0xb0areturn从当前方法返回对象引用解析0001 0010 0011 0001 000d 0000 001d可知第三个方法为public method2 ()I，其Code属性内容为0001 0001 00000005 2a b4 0002 ac， 获取变量a并返回。 后面仍然是异常信息和LineNumberTable。
第四个方法这里不再赘述。

0002 0012 0013  0001 000d 0000 001d   private method3  ()Ljava/lang/String;
Code
0001 0001  00000005
2a b4 0004 b0                获取变量b并返回
0000
LineNumberTable
0001 000e 00000006 0001 0000 000e             //line  14 :  0

这样，我们就在字节码中解析出了类中的方法。字节指令是方法实现的核心，字节指令在任何一个JVM中都对应的是一样的操作，因此字节码文件可以实现跨平台运行。但是每一个平台中对字节指令的实现细节各有不同，这是Java程序在不同平台间真正"跨"的一步。
9、属性最后一部分是该类的属性Attributes，数量为0x0001，根据attribute_info来分析该属性。
attribute_info {     u2 attribute_name_index;     u4 attribute_length;     u1 info[attribute_length];}复制代码前两个字节对应name_index，为0x0014，即常量池中的第20个常量，查表得到SourceFile，说明该属性是SourceFile属性。该属性是类文件属性表中的一个可选定长属性，其结构如下：
SourceFile_attribute {     u2 attribute_name_index;     u4 attribute_length;     u2 sourcefile_index;}复制代码得到该属性的全部内容为0014 00000002 0015，对比常量表可知内容为“SourceFile   ——TestByteCode.java”，也就是指定了该.class文件对应的源代码文件。
10、后记本文到此就算结束了，看到这里的话应该对字节码的结构有了基本的了解。
但是，前面花了这么大篇幅所做的事情，Java早就提供了一个命令行工具javap全部实现了，进入.class文件所在的文件夹，打开命令行工具，键入如下命令：
javap -verbose XXX.class复制代码结果如下所示：
PS E:\blog\Java字节码\资料> javap -verbose TestByteCode.classClassfile /E:/blog/Java字节码/资料/TestByteCode.class  Last modified 2018-9-6; size 494 bytes  MD5 checksum 180292e6f6e8e9e48807195b235fa8ef  Compiled from "TestByteCode.java"public class com.sinosun.test.TestByteCode  minor version: 0  major version: 52  flags: ACC_PUBLIC, ACC_SUPERConstant pool:   #1 = Methodref          #6.#22         // java/lang/Object."<init>":()V   #2 = Fieldref           #5.#23         // com/sinosun/test/TestByteCode.a:I   #3 = String             #24            // 2   #4 = Fieldref           #5.#25         // com/sinosun/test/TestByteCode.b:Ljava/lang/String;   #5 = Class              #26            // com/sinosun/test/TestByteCode   #6 = Class              #27            // java/lang/Object   #7 = Utf8               a   #8 = Utf8               I   #9 = Utf8               b  #10 = Utf8               Ljava/lang/String;  #11 = Utf8               <init>  #12 = Utf8               ()V  #13 = Utf8               Code  #14 = Utf8               LineNumberTable  #15 = Utf8               method1  #16 = Utf8               method2  #17 = Utf8               ()I  #18 = Utf8               method3  #19 = Utf8               ()Ljava/lang/String;  #20 = Utf8               SourceFile  #21 = Utf8               TestByteCode.java  #22 = NameAndType        #11:#12        // "<init>":()V  #23 = NameAndType        #7:#8          // a:I  #24 = Utf8               2  #25 = NameAndType        #9:#10         // b:Ljava/lang/String;  #26 = Utf8               com/sinosun/test/TestByteCode  #27 = Utf8               java/lang/Object{  public java.lang.String b;    descriptor: Ljava/lang/String;    flags: ACC_PUBLIC  public com.sinosun.test.TestByteCode();    descriptor: ()V    flags: ACC_PUBLIC    Code:      stack=2, locals=1, args_size=1         0: aload_0         1: invokespecial #1                  // Method java/lang/Object."<init>":()V         4: aload_0         5: iconst_1         6: putfield      #2                  // Field a:I         9: aload_0        10: ldc           #3                  // String 2        12: putfield      #4                  // Field b:Ljava/lang/String;        15: return      LineNumberTable:        line 3: 0        line 4: 4        line 5: 9  protected void method1();    descriptor: ()V    flags: ACC_PROTECTED    Code:      stack=0, locals=1, args_size=1         0: return      LineNumberTable:        line 7: 0  public int method2();    descriptor: ()I    flags: ACC_PUBLIC    Code:      stack=1, locals=1, args_size=1         0: aload_0         1: getfield      #2                  // Field a:I         4: ireturn      LineNumberTable:        line 10: 0}SourceFile: "TestByteCode.java"复制代码基本就是我们之前解析得到的结果。
当然，我分享这些过程的初衷并不是希望自己或读者变成反编译工具，一眼看穿字节码的真相。这些事情人不会做的比工具更好，但是理解这些东西可以帮助我们做出更好的工具，比如CGlib，就是通过在类加载之前添加某些操作或者直接动态的生成字节码来实现动态代理，比使用java反射的JDK动态代理要快。
我总认为，人应该好好利用工具，但是也应该对工具背后的细节怀有好奇心与探索欲。就这篇文章来说，如果能让大家对字节码多一些认识，那目的就已经达到了。括弧笑


【转载】
作者：GuoYaxiang
链接：https://juejin.im/post/5bee573ae51d45500e4295c7

---

作者: 小影姐姐    时间: 2018-11-26 14:13

---

作者: 不二晨    时间: 2018-11-28 15:42
奈斯

---

欢迎光临 黑马程序员技术交流社区 (http://bbs.itheima.com/)

黑马程序员IT技术论坛 X3.2