深入理解JVM（三）—— HelloWorld字节码完整解析

偏执的太偏执、 2022-12-07 01:23 278阅读 0赞

**目录**

1、字节码由来

2、hello代码字节码结构和使用javap -v指令查看字节码结构

2.1 hello代码字节码结构

2.2 javap -v指令查看字节码结构

3、字节码完整解析

3.1 魔数

3.2 minor\_version, major\_version

3.3  Constant\_pool\_count，constant\_pool\[constant\_pool\_count-1\]

3.3.1 CONSTANT\_Methodref

3.3.2 CONSTANT\_Fieldref\_info

3.3.3 CONSTANT\_String

3.3.4 CONSTANT\_Methodref

3.3.5 CONSTANT\_Class\_info

3.3.6 CONSTANT\_Utf8\_info

3.3.8 CONSTANT\_NameAndType\_info

3.3.9 前面出现过的类型，简略对照解析

3.4 access\_flags

3.5 this\_class

3.6 super\_class

3.7 interfaces\_count

3.8 fields\_count

3.9 method\_count

3.9.1 第一个method\_info

3.9.1 第二个method\_info

3.10 attributes\_count

4、总结

--------------------

# 1、字节码由来 #

从一开始学习java的时候，老师就会告诉你这款语言厉害的地方就是，一处编译，处处运行。  
上篇jdk和jvm其实都针对不同的操作系统进行了处理。而字节码有自己的规范所在。

那字节码class属于什么文件，文件的类型，计算机文件基本上分为二种，二进制文件和文本文件。如果一个文件专门用于存储文本字符的数据，没有包含字符以外的其他数据，我们就称之为文本文件，除此之外的文件就是二进制文件。

通过官方文档说明我们来看。

A class file consists of a stream of 8-bit bytes. All 16-bit, 32-bit, and 64-bit quantities are constructed by reading in two, four, and eight consecutive 8-bit bytes, respectively.   
Java Class文件由8位字节流组成，所有的16位、32位和64位数据分别通过读入2个、4个和8个字节来构造。  
class文件中的信息是一项一项排列的， 每项数据都有它的固定长度， 有的占一个字节， 有的占两个字节， 还有的占四个字节或8个字节， 数据项的不同长度分别用u1, u2, u4, u8表示。

https://tech.meituan.com/2019/09/05/java-bytecode-enhancement.html 看到美团这篇文章的描述，因为字节码文件由十六进制值组成，而JVM以两个十六进制值为一组，即以字节为单位进行读取。感觉还是怪怪的。并没有说是16进制组成，你用2进制，8进制也能解析，只是说可读性不好。一个字节8个二进制位，也就是2^8，两个16进制的话，是16^2= 2^(4\*2)= 2^8次方。

刚好两个16进制解析刚好。

根据上一篇文章：

我们先把整个大体的结构组成切割好，至于为什么这样切割，让我们娓娓道来：

# 2、hello代码字节码结构和使用javap -v指令查看字节码结构 #

test.java文件，简单的输出hello

public class Test {
        public static void main(String[] args) {
            System.out.println("hello");
        }
    }

u2，u4表示占用2个字节，4个字节，

一个字节8个二进制位，也就是2^8，两个16进制的话，是16^2= 2^(4\*2)= 2^8次方。

刚好两个16进制解析刚好。

## 2.1 hello代码字节码结构 ##

![watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2lhaXRp_size_16_color_FFFFFF_t_70][]

## 2.2 javap -v指令查看字节码结构 ##

![watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2lhaXRp_size_16_color_FFFFFF_t_70 1][]

![watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2lhaXRp_size_16_color_FFFFFF_t_70 2][]

# 3、字节码完整解析 #

## 3.1 魔数 ##

cafe babe

![20200930160347225.png][]  
The magic item supplies the magic number identifying the class file format; it has the value 0xCAFEBABE.  
4字节，魔法数标识这是一个class文件。十六进制值为cafe babe。

## 3.2 minor\_version, major\_version ##

![20200930160448450.png][]

0000 0034

minor\_version, major\_version  
0000 0034 对应的是java se8

![watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2lhaXRp_size_16_color_FFFFFF_t_70 3][]  
这个版本号的对应，暂时没找到官方文档的对应出处。  
不过可以参考这两个引用  
[https://blogs.oracle.com/darcy/entry/source\_target\_class\_file\_version ][https_blogs.oracle.com_darcy_entry_source_target_class_file_version]  
[https://en.wikipedia.org/wiki/Java\_class\_file\#General\_layout][https_en.wikipedia.org_wiki_Java_class_file_General_layout]

## 3.3  Constant\_pool\_count，constant\_pool\[constant\_pool\_count-1\] ##

# #

001d 29 Constant\_pool\_count

constant\_pool\[constant\_pool\_count-1\]; 总共28个

Constant\_pool\_count  
001d 计算得29  constant\_pool\[constant\_pool\_count-1\]; constant\_pool数组容量要减一总共28个

The constant\_pool is a table of structures (§4.4) representing various string constants, class and interface names, field names, and other constants that are referred to within the ClassFile structure and its substructures. The format of each constant\_pool table entry is indicated by its first "tag" byte.  
通过第一个字节标记常量池类型，接下来我们一个个解析常量池里面的每个元素。

![watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2lhaXRp_size_16_color_FFFFFF_t_70 4][]

### 3.3.1 CONSTANT\_Methodref ###

0a 根据1个字节的tag找到对应的CONSTANT\_Methodref结构  
第一个constant\_pool  
CONSTANT\_Methodref\_info \{  
    u1 tag;  
    u2 class\_index;  
    u2 name\_and\_type\_index;  
\}  
0a   tag  
0006 class\_index  
000f name\_and\_type\_index

### 3.3.2 CONSTANT\_Fieldref\_info ###

CONSTANT\_Fieldref\_info \{  
    u1 tag;  
    u2 class\_index;  
    u2 name\_and\_type\_index;  
\}

09 CONSTANT\_Fieldref 0010 0011

### 3.3.3 CONSTANT\_String ###

08 CONSTANT\_String 00 12   
   
CONSTANT\_String\_info \{  
    u1 tag;  
    u2 string\_index;  
\}

### 3.3.4 CONSTANT\_Methodref ###

0a CONSTANT\_Methodref 0013 0014  之前出现的就不再解析了

### 3.3.5 CONSTANT\_Class\_info ###

CONSTANT\_Class\_info \{  
    u1 tag;  
    u2 name\_index;  
\}

07 CONSTANT\_Class 00 15   
07 CONSTANT\_Class0016

### 3.3.6 CONSTANT\_Utf8\_info ###

CONSTANT\_Utf8\_info \{  
    u1 tag;  
    u2 length;  
    u1 bytes\[length\];  
\}

01 CONSTANT\_Utf8 00 06 3c 696e 6974 3e ，第七个constant\_pool，标记一下位置，后面有使用  
01 CONSTANT\_Utf8 0003  2829 56，第八个constant\_pool，标记一下位置，后面有使用  
01 CONSTANT\_Utf8 0004 436f 6465 ，第九个constant\_pool，标记一下位置，后面有使用  
01 CONSTANT\_Utf8 00 0f 4c 696e 654e756d 6265 7254 6162 6c65，第十个constant\_pool，标记一下位置，后面有使用  
01 CONSTANT\_Utf8 00 04 6d 61696e，第十一个constant\_pool，标记一下位置，后面有使用  
01 CONSTANT\_Utf8 0016 285b 4c6a 6176 612f 6c61 6e672f53 7472 696e 673b 2956，第十二个constant\_pool，标记一下位置，后面有使用  
01 CONSTANT\_Utf8 00 0a 53 6f757263 6546 696c 65 ，第十三个constant\_pool，标记一下位置，后面有使用  
01 CONSTANT\_Utf8 0009 5465 7374 2e6a6176 61 ，第十四个constant\_pool，标记一下位置，后面有使用

### 3.3.8 CONSTANT\_NameAndType\_info ###

0c CONSTANT\_NameAndType\_info 0007 0008

CONSTANT\_NameAndType\_info \{  
    u1 tag;  
    u2 name\_index;  
    u2 descriptor\_index;  
\}

### 3.3.9 前面出现过的类型，简略对照解析 ###

07 CONSTANT\_Class 00 17   同前面  
0c CONSTANT\_NameAndType\_info 0018 0019  
01 CONSTANT\_Utf8 00 05 68 656c 6c6f    
07 CONSTANT\_Class 00 1a    
0c CONSTANT\_NameAndType\_info 001b 001c01  
01 CONSTANT\_Utf8 00 04 54 6573 74   
01 CONSTANT\_Utf8 0010 6a61 7661 2f6c616e 672f 4f62 6a65 6374   
01 CONSTANT\_Utf8 00 10 6a 6176612f 6c61 6e67 2f53 7973 7465 6d   
01 CONSTANT\_Utf8 00036f75 74   
01 CONSTANT\_Utf8 0015 4c6a 6176 612f 696f 2f507269 6e74 5374 7265 616d 3b   
01 CONSTANT\_Utf8 0013 6a617661 2f69 6f2f 5072 696e 7453 7472 65616d   
01 CONSTANT\_Utf8 0007 7072 696e 746c 6e   
01 CONSTANT\_Utf8 0015 284c6a61 7661 2f6c 616e 672f 5374 7269 6e673b29 56

这里刚好是28个常量池，所以constant\_pool的解析到这里结束。

对应的是

![watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2lhaXRp_size_16_color_FFFFFF_t_70 5][]

## 3.4 access\_flags ##

![watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2lhaXRp_size_16_color_FFFFFF_t_70 6][]

access\_flags  
00 21 ACC\_PUBLIC|ACC\_SUPER

## 3.5 this\_class ##

00 05 this\_class

## 3.6 super\_class ##

00 06 super\_class

## 3.7 interfaces\_count ##

00 00  interfaces\_count

消失的interfaces\[interfaces\_count\] 去哪里了  
之前解析到这里就断了，一头雾水，因为按照两个字节算，后面的那些字节码解析就全乱套了。完全解析不下去。  
参考了别人的解析之后定位出，如果interfaces\_count为0，那么interfaces\[interfaces\_count\]是没有数据，是不占用字节的。

## 3.8 fields\_count ##

00 00 fields\_count   
fields\[fields\_count\] 同理

## 3.9 method\_count ##

00 02 method\_count   
method\_info    methods\[methods\_count\];是有两个的

method\_info \{  
    u2             access\_flags;  
    u2             name\_index;  
    u2             descriptor\_index;  
    u2             attributes\_count;  
    attribute\_info attributes\[attributes\_count\];  
\}

### 3.9.1 第一个method\_info ###

0001  ACC\_PUBLIC   
00 07 name\_index  
00 08 descriptor\_index  
00 01 attributes\_count

attribute\_info \{  
    u2 attribute\_name\_index;  
    u4 attribute\_length;  
    u1 info\[attribute\_length\];  
\}

00 09          attribute\_name\_index   
index为9，找回constant\_pool第九个元素，  
01 CONSTANT\_Utf8 0004 436f 6465，  436f 6465十六进制转字符串为Code

![watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2lhaXRp_size_16_color_FFFFFF_t_70 7][]

所以对应的是 Code\_attribute

00 0000 1d   attribute\_length

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\];  
\}

00 01 max\_stack  
00 01 max\_locals  
00 0000 05 code\_length  
(2a b700 01b1)  ==code==    2a 为 aload\_0   b7为invokespecial 0001 为 \#1   b1为return

这样就对应上了

![20200930172527170.png][]

这里code的[https://docs.oracle.com/javase/specs/jvms/se8/html/jvms-6.html][https_docs.oracle.com_javase_specs_jvms_se8_html_jvms-6.html] 为系统操作码

![20200930172146964.png][]

0000 exception\_table\_length  
0001  attributes\_count

000a  找回constant\_pool第十个元素，  
01 CONSTANT\_Utf8 00 0f 4c 696e 654e756d 6265 7254 6162 6c65 转换后得 LineNumberTable

![watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2lhaXRp_size_16_color_FFFFFF_t_70 8][]

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\];  
\}

000a attribute\_name\_index  
0000 0006 attribute\_length  
0001 line\_number\_table\_length  
0000 start\_pc  
0001 line\_number

对应

![20200930174309948.png][]

###    3.9.1 第二个method\_info ###

0009 ACC\_PUBLIC, ACC\_STATIC   
000b name\_index    000c  descriptor\_index  
0001 attributes\_count   
0009  attribute\_name\_index  同样和第一个方法也是code  
0000 0025 attribute\_length

0002 max\_stack  0001   max\_locals  
0000 0009 code\_length  
(b2 00 02  12 03b6 0004  b1)

b2 getstatic  0002 \#2  12 ldc 03 \#3  b6 invokespecial 0004 \#4 b1 return

这里的opcode解析同样可以映射出来

![20200930172634477.png][]

00 00  exception\_table\_length   
00 01  attributes\_count   
00 0a  attribute\_name\_index LineNumberTable  
0000 000a   attributes\_length  
0002  line\_number\_table\_length 有两个

u2 line\_number\_table\_length;  
    \{   u2 start\_pc;  
        u2 line\_number;      
    \}  
0000  start\_pc  
0003  line\_number

0008  start\_pc  
0004  line\_number

![20200930174235913.png][]

## 3.10 attributes\_count ##

0001 attributes\_count

SourceFile\_attribute \{  
    u2 attribute\_name\_index;  
    u4 attribute\_length;  
    u2 sourcefile\_index;  
\}

000d 找回constant\_pool第十三个元素， SourceFile

![watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2lhaXRp_size_16_color_FFFFFF_t_70 9][]

00 0000 02   
00 0e 找回constant\_pool第十四个元素，Test.java

![watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2lhaXRp_size_16_color_FFFFFF_t_70 10][]

对应的是

![20200930174157427.png][]

# 4、总结 #

当你抱着问题自己一个人无法解决的时候，就会把问题抛出来，和其他人探讨，学习，记录，发掘其他比你更厉害的人。  
会发现这个人你以前看过，哦，他也工作5,6年了；哇，这家伙还拿到过海外硕士的学位。但是他学的东西，我现在也在研究。

渐渐的技术的初心又会回来。

中间认识了大飞哥，发现对底层深入了解，且技术的那种热情和乐于助人，着实让我高兴。

翻篇大半，能把整个jvm直接码讲解清楚的也寥寥无几。很多都是写到一半，未完待续。

这几个是我觉得写得比较完整的blog  
[https://cloud.tencent.com/developer/article/1425357][https_cloud.tencent.com_developer_article_1425357]  
[https://www.jyt0532.com/2020/03/14/epilogue/][https_www.jyt0532.com_2020_03_14_epilogue]  
[https://www.cnblogs.com/binarylei/p/10508441.html][https_www.cnblogs.com_binarylei_p_10508441.html]

[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2lhaXRp_size_16_color_FFFFFF_t_70]: /images/20221123/602409c64b944e4ca89365713d4f2af7.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2lhaXRp_size_16_color_FFFFFF_t_70 1]: /images/20221123/1108af81e6004ca0af78387d46cd8964.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2lhaXRp_size_16_color_FFFFFF_t_70 2]: /images/20221123/9e82849c593d4ef5a110158b0f534bb7.png
[20200930160347225.png]: /images/20221123/62671756116a4bd4957283256f3cd246.png
[20200930160448450.png]: /images/20221123/962a0fecc98c4c44973d1052d90b2de7.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2lhaXRp_size_16_color_FFFFFF_t_70 3]: /images/20221123/9a918ef281064b3082cabca4950307f9.png
[https_blogs.oracle.com_darcy_entry_source_target_class_file_version]: https://blogs.oracle.com/darcy/entry/source_target_class_file_version%C2%A0
[https_en.wikipedia.org_wiki_Java_class_file_General_layout]: https://en.wikipedia.org/wiki/Java_class_file#General_layout
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2lhaXRp_size_16_color_FFFFFF_t_70 4]: /images/20221123/a53f5efda1c34a128ad5c894d50d61d7.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2lhaXRp_size_16_color_FFFFFF_t_70 5]: /images/20221123/5229e4ef0b7b40548f14c57f1d39ca10.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2lhaXRp_size_16_color_FFFFFF_t_70 6]: /images/20221123/aa625732d2a24d979f1f1bd53e95fd4b.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2lhaXRp_size_16_color_FFFFFF_t_70 7]: /images/20221123/1388718da965438a80c11f85e227d298.png
[20200930172527170.png]: /images/20221123/b740bda18cf3456989c1a96138dcdf28.png
[https_docs.oracle.com_javase_specs_jvms_se8_html_jvms-6.html]: https://docs.oracle.com/javase/specs/jvms/se8/html/jvms-6.html
[20200930172146964.png]: /images/20221123/4f2fea8a7cd54fa2b69e65fef41d18fd.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2lhaXRp_size_16_color_FFFFFF_t_70 8]: /images/20221123/e63b1a0b91d64eeab8aa5bb825c28dd8.png
[20200930174309948.png]: /images/20221123/eef17e5cd152463daa706580815c9207.png
[20200930172634477.png]: /images/20221123/a9f050bc32864c92b61d8ab6157f1424.png
[20200930174235913.png]: /images/20221123/455d7d013f554bf4b16ed28c32a33233.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2lhaXRp_size_16_color_FFFFFF_t_70 9]: /images/20221123/d1710c3f97754616b77c29e64bbe8979.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2lhaXRp_size_16_color_FFFFFF_t_70 10]: /images/20221123/8d93fb6cfbbc4a6692910266cdf6fefd.png
[20200930174157427.png]: /images/20221123/ce98178d970745d48cf139e37c097fd5.png
[https_cloud.tencent.com_developer_article_1425357]: https://cloud.tencent.com/developer/article/1425357
[https_www.jyt0532.com_2020_03_14_epilogue]: https://www.jyt0532.com/2020/03/14/epilogue/
[https_www.cnblogs.com_binarylei_p_10508441.html]: https://www.cnblogs.com/binarylei/p/10508441.html