class文件结构

概述

跨平台性

1. Java语言:跨平台的语言

• 当Java源代码成功编译成字节码后，如果想在不同的平台上面运行，则无须再次编译
• 这个优势不再那么吸引人了。Python、PHP、Per1、Ruby、Lisp等有强大的解释器。
• 跨平台似乎已经快成为一门悟言必选的特性。

1. Java虚拟机:跨语言的平台 Java虚拟机不和包括Java 在内的任何语言绑定，它只与“Class文件”这种特定的二进制文件格式所关联。无论使用何种语言进行软件开发，只要能将源文件编译为正确的Class文件，那么这种语言就可以在Java虚拟机上执行。可以说，统一而强大的Class文件结构，就是]ava虚拟机的基石、桥梁。

java语言和java虚拟机规范

3．想要让一个Java程序正确地运行在JVM中，Java源码就必须要被编译为符合JVM规范的字节码。

• 前端编译器的主要任务就是负责将符合Java语法规范的Java代码转换为符合JVM规范的字节码文件
• javac是一种能够将Java源码编译为字节码的前端编译器。
• Javac编译器在将Java源码编译为一个有效的字节码文件过程中经历了4个主要的步骤，分别是词法解析、语法解析、语义解析以及生成字节码。

Oracle的JDK软件包括两部分内容:

• 一部分是将Java源代码编译成Java虚拟机的指令集的编译器
• 另一部分是用于实现Java虚拟机的运行时环境

java的前端编译器

前端编译器vs后端编译器

• Java源代码的编译结果是字节码，那么肯定需要有一种编译器能够将Java源码编译为字节码，承担这个重要责任的就是配置在path环境变量中的javac编译器。javac是一种能够将Java源码编译为字节码的前端编译器。

• HotSpot并没有强制要求前端编译器只能使用javac来编译字节码，其实只要编译结果符合JVN规范都可以被JV所识别即可

• 在ava的前端编译器领域，除了javac之外，还有一种被大家经常用到的前端编译器，那就是内置在Eclipse中的ECJ (EclipseCompiler for Java)编译器。和avac的全量式编译不同，ECJ是一种增量式编译器。

  • 在Eclipse中，当开发人员编写完代码后，使用“Ctr1+S”快捷键时，ECJ编译器所采取的编译方案是把未编译部分的源码逐行进行编译，而非每次都全量编译。因此ECT的编译效率会比javac更加迅速和高效，当然编译质量和javac相比大致还是一样的。
  • ECJ不仅是Eclipse的默认内置前端编译器，在Tomcat中同样也是使用ECJ编译器来编译jsp文件.由于ECJ编译器是采用GPLv2的开源协议进行源代码公开，所以，大家可以登录eclipse官网下载ECJ编译器的源码进行二次开发。
  • 默认情况下，Intelli3 IDEA使用javac编译器。(还可以自己设置为AspectJ编译器ajc)

• 前端编译器并不会直接涉及编译优化等方面的技术，而是将这些具体优化细节移交给HotSpot的JIT编译器负责。

    class HelloWorld{}
    
    编译: javac HelloWorld.java

AOT(静态提前编译器，Ahead Of Time Compiler):在程序运行前编译，可以避免在运行时的编译性能消耗和内存消耗

字节码剖析代码细节

字节码介绍官网

1. Integer缓存和自动拆箱

    public class IntegerTest {
        public static void main(String[] args) {
    
            Integer x = 5;
            int y = 5;
            //自动拆箱 x拆箱为int 5
            System.out.println(x == y);//true
    
            Integer i1 = 10;
            Integer i2 = 10;
            //Integer缓存 -128到127
            System.out.println(i1 == i2);//true
    
            Integer i3 = 128;
            Integer i4 = 128;
            System.out.println(i3 == i4);//false
    
        }
    }

字节码指令剖析：

     0 iconst_5  //把int常数5入操作数栈
     1 invokestatic #2 <java/lang/Integer.valueOf : (I)Ljava/lang/Integer;> //调用Integer.valueOf方法
     4 astore_1   //出栈保存到局部变量表槽1
     5 iconst_5 //把int常数5入操作数栈
     6 istore_2  //出栈保存到局部变量表槽2
     7 getstatic #3 <java/lang/System.out : Ljava/io/PrintStream;>  //调用打印类
    10 aload_1   //读取局部表里表槽1入操作数栈
    11 invokevirtual #4 <java/lang/Integer.intValue : ()I>   //调用方法Integer.intValue 拆箱为基本数据类型int类型
    14 iload_2  //读取局部表里表槽2入操作数栈
    15 if_icmpne 22 (+7)  //比较
    18 iconst_1
    19 goto 23 (+4) //跳转到23行命令
    22 iconst_0
    23 invokevirtual #5 <java/io/PrintStream.println : (Z)V> //打印
    
    
    26 bipush 10  //10入操作数栈
    28 invokestatic #2 <java/lang/Integer.valueOf : (I)Ljava/lang/Integer;>  //调用Integer.valueOf方法
    31 astore_3  //出栈保存到局部变量表槽3
    32 bipush 10   //10入操作数栈
    34 invokestatic #2 <java/lang/Integer.valueOf : (I)Ljava/lang/Integer;> //调用Integer.valueOf方法
    37 astore 4  //出栈保存到局部变量表槽4
    39 getstatic #3 <java/lang/System.out : Ljava/io/PrintStream;>
    42 aload_3
    43 aload 4
    45 if_acmpne 52 (+7)
    48 iconst_1
    49 goto 53 (+4)
    52 iconst_0
    53 invokevirtual #5 <java/io/PrintStream.println : (Z)V>
    
    //下面和上面差不多
    56 sipush 128
    59 invokestatic #2 <java/lang/Integer.valueOf : (I)Ljava/lang/Integer;>
    62 astore 5
    64 sipush 128
    67 invokestatic #2 <java/lang/Integer.valueOf : (I)Ljava/lang/Integer;>
    70 astore 6
    72 getstatic #3 <java/lang/System.out : Ljava/io/PrintStream;>
    75 aload 5
    77 aload 6
    79 if_acmpne 86 (+7)
    82 iconst_1
    83 goto 87 (+4)
    86 iconst_0
    87 invokevirtual #5 <java/io/PrintStream.println : (Z)V>
    90 return

Integer i1 = 10;底层字节码是调用Integer.valueOf(int i)方法，如果[-128,127]范围内则返回缓存里的，否则new一个Integer类型的对象返回

low为-128；high为127

2. 字符串常量池和new关系

    public class StringTest {
        public static void main(String[] args) {
           //底层new一个StringBuilder进行拼接
            String str = new String("hello") + new String("world");
            String str1 = "helloworld";
            System.out.println(str == str1); //false
            String str2 = new String("helloworld");
            System.out.println(str == str2); //false
        }
    
    }

字节码指令剖析：

     0 new #2 <java/lang/StringBuilder>  //new一个StringBuilder
     3 dup //复制一份入操作数栈
     4 invokespecial #3 <java/lang/StringBuilder.<init> : ()V>  //StringBuilder构造器调用
     
     7 new #4 <java/lang/String>  //new 一个String
    10 dup  //复制一份入操作数栈
    11 ldc #5 <hello>  //把 hello 字符串加载到字符串常量池
    13 invokespecial #6 <java/lang/String.<init> : (Ljava/lang/String;)V>  //String构造器
    16 invokevirtual #7 <java/lang/StringBuilder.append : (Ljava/lang/String;)Ljava/lang/StringBuilder;>   // 调用StringBuilder.append方法：hello 
    
    19 new #4 <java/lang/String>  //new 一个String
    22 dup
    23 ldc #8 <world> //把 world 字符串加载到字符串常量池
    25 invokespecial #6 <java/lang/String.<init> : (Ljava/lang/String;)V>
    28 invokevirtual #7 <java/lang/StringBuilder.append : (Ljava/lang/String;)Ljava/lang/StringBuilder;>  // 调用StringBuilder.append方法：world 
    
    31 invokevirtual #9 <java/lang/StringBuilder.toString : ()Ljava/lang/String;>  //拼接完成调用StringBuilder.toString方法
    34 astore_1   //保存到局部变量表槽1
    
    35 ldc #10 <helloworld>  //把 helloworld 字符串加载到字符串常量池
    37 astore_2  //保存到局部变量表槽2
    
    //比较输出
    38 getstatic #11 <java/lang/System.out : Ljava/io/PrintStream;>
    41 aload_1
    42 aload_2
    43 if_acmpne 50 (+7)
    46 iconst_1
    47 goto 51 (+4)
    50 iconst_0
    51 invokevirtual #12 <java/io/PrintStream.println : (Z)V>
    
    //下面是差不多的，不分析了
    54 new #4 <java/lang/String>
    57 dup
    58 ldc #10 <helloworld>
    60 invokespecial #6 <java/lang/String.<init> : (Ljava/lang/String;)V>
    63 astore_3
    64 getstatic #11 <java/lang/System.out : Ljava/io/PrintStream;>
    67 aload_1
    68 aload_3
    69 if_acmpne 76 (+7)
    72 iconst_1
    73 goto 77 (+4)
    76 iconst_0
    77 invokevirtual #12 <java/io/PrintStream.println : (Z)V>
    80 return

拼接完成调用StringBuilder.toString方法,new一个对象返回的

执行完 String str = new String("hello") + new String("world");

堆中：有StringBuilder对象，new String("hello")匿名对象和new String("world")匿名对象和str对象。

常量池有：hello，world两个对象

深入理解JVM（八）一一 字符串常量池

3. 多态

• 继承关系中，成员变量无多态，成员方法有多态

• 成员变量（非静态的）的赋值过程：

  • ① 默认初始化
  • ② 显式初始化/构造代码块中初始化
  • ③ 构造器中初始化
  • ④ 有了对象之后，可以“对象.属性”或"对象.方法" 的方式对成员变量进行赋值。

对象实例化步骤

    class Father {
        int x = 10;
    
        public Father() {
            this.print();
            x = 20;
        }
        public void print() {
            System.out.println("Father.x = " + x);
        }
    }
    
    class Son extends Father {
        int x = 30;
        public Son() {
            this.print();
            x = 40;
        }
        @Override
        public void print() {
            System.out.println("Son.x = " + x);
        }
    }
    
    public class SonTest {
        public static void main(String[] args) {
            Father f = new Son();
            System.out.println(f.x);
        }
    }

输出：

    Son.x = 0
    Son.x = 30
    20

Father init方法字节码：

     0 aload_0 //加载this对象
     1 invokespecial #1 <java/lang/Object.<init> : ()V> //调用父类Object构造器初始化方法
     
     4 aload_0 //加载this对象
     5 bipush 10 //10入操作数栈
     7 putfield #2 <com/atguigu/java/Father.x : I> //设置成员变量的值
     
    10 aload_0 //加载this对象
    11 invokevirtual #3 <com/atguigu/java/Father.print : ()V> //调用方法Father.print()
    
    14 aload_0 //加载this对象
    15 bipush 20  //20入操作数栈
    17 putfield #2 <com/atguigu/java/Father.x : I>  //设置成员变量的值
    
    20 return 返回

Son init方法字节码：

     0 aload_0
     1 invokespecial #1 <com/atguigu/java/Father.<init> : ()V>  //调用Father构造器初始化方法
     
     4 aload_0
     5 bipush 30
     7 putfield #2 <com/atguigu/java/Son.x : I> //设置30在上面Father.<init>之后执行的
     
    10 aload_0
    11 invokevirtual #3 <com/atguigu/java/Son.print : ()V>
    14 aload_0
    15 bipush 40
    17 putfield #2 <com/atguigu/java/Son.x : I>
    20 return

main方法字节码：

     0 new #2 <com/atguigu/java/Son> //new Son
     3 dup  //复制一份到栈
     4 invokespecial #3 <com/atguigu/java/Son.<init> : ()V>  ///调用Son构造器初始化方法
     7 astore_1
     8 getstatic #4 <java/lang/System.out : Ljava/io/PrintStream;>
    11 aload_1
    12 getfield #5 <com/atguigu/java/Father.x : I>  //成员变量无多态：Father.x
    15 invokevirtual #6 <java/io/PrintStream.println : (I)V>
    18 return

• Father f = new Son()：

1. 先调用Father的构造器方法。
2. 因为this对象为son(多态)，所以

       public Father() {
       //调用子类son的print()方法
            this.print();
            x = 20;
        }

调用子类son的print()方法

1. 因为设置30在上面Father的之后执行的，所以子类son的print()打印为0
2. Father的执行完成，接着son init执行打印 30，再复制40

      public Son() {
            this.print();
            x = 40;
        }

1. 成员变量无多态：调用Father.x，打印20

class文件

字节码文件里是什么

源代码经过编译器编译之后便会生成一个字节码文件，字节码是一种二进制的类文件，它的内容是JVM的指令，而不像C、C++经由编译器直接生成机器码。

什么是字节码指令(byte code)

java虚拟机的指令由一个字节长度的、代表着某种特定操作含义的操作码（opcode)以及跟随其后的零至多个代表此操作所需参数的操作数（operand）所构成。虚拟机中许多指令并不包含操作数，只有一个操作码。

比如:操作码（操作数)

虚拟机规范

查看字节码

1. 一个一个二进制的看。这里用到的是Notepad++ ,需要安装一个HEX-Editor插件，或者使用Binary Viewer

1. 使用javap指令:jdk自带的反解析工具

   • 反编译：javap -p -v Test.class
   • 反编译保存到文件：java> javap -v -p Test.class > Test.txt

2. 使用IDEA插件: jclasslib或jclasslib bytecode viewer客户端工具。(可视化更好)

class文件结构

官方文档

Class类的本质

任何一个Class文件都对应着唯一一个类或接口的定义信息，但反过来说，Class文件实际上它并不一定以磁盘文件的形式存在。Class 文件是一组以8位字节为基础单位的二进制流。

class文件格式

Class的结构不像XNL等描述语言，由于它没有任何分隔符号。所以在其中的数据项，无论是字节顺序还是数量，都是被严格限定的，哪个字节代表什么含义，长度是多少，先后顺序如何，都不允许改变。

Class文件格式采用一种类似于C语言结构体的方式进行数据存储，这种结构中只有两种数据类型:无符号数和表。

• 无符号数属于基本的数据类型，以u1、u2、u4、u8来分别代表1个字节、2个字节、4个字节和8个字节的无符号数，无符号数可以用来描述数字、索引引用、数量值或者按照UTF-8编码构成字符串值。
• 表是由多个无符号数或者其他表作为数据项构成的复合数据类型，所有表都习惯性地以“_info”结尾。表用于描述有层次关系的复合结构的数据，整个Class文件本质上就是一张表。由于表没有固定长度，所以通常会在其前面加上个数说明

Class文件结构

Class文件的结构并不是一成不变的，随着Java虚拟机的不断发展，总是不可避免地会对Class文件结构做出一些调整，但是其基本结构和框架是非常稳定的。

• 魔数
• class文件版本
• 常量池
• 访问标志
• 类索引，父类索引，接口索引集合
• 字段表集合
• 方法表集合
• 属性表集合

解读字节码

    public class Demo {
        private int num = 1;
    
        public int add(){
            num = num + 2;
            return num;
    
        }
    }

HEX-Editor插件查看编译后代码：

解读：

魔数

• 每个Class文件开头的4个字节的无符号整数称为魔数（Magic Number)它的唯一作用是确定这个文件是否为一个能被虚拟机接受的有效合法的Class文件。即:魔数是Class文件的标识符。

• 魔数值固定为OxCAFEBABE。不会改变。

• 使用魔数而不是扩展名来进行识别主要是基于安全方面的考虑，因为文件扩展名可以随意地改动。

• 如果一个Class文件不以OxCAFEBABE开头，虚拟机在进行文件校验的时候就会直接抛出以下错误:

  

Class文件版本号

• 紧接着魔数的4个字节存储的是Class文件的版本号。同样也是4个字节。第5个和第6个字节所代表的含义就是编译的副版本号minor_version，而第7个和第8个字节就是编译的主版本号major_version。
• 它们共同构成了class文件的格式版本号。譬如某个 Class 文件的主版本号为M,副版本号为 m，那么这个Class 文件的格式版本号就确定为M.m。
• 版本号和Java编译器的对应关系如下表:

• Java 的版本号是从45开始的，JDK 1.1之后的每个JDK大版本发布主版本号向上加1。

• 不同版本的Java编译器编译的Class文件对应的版本是不一样的。目前高版本的Java虚拟机可以执行由低版本编译器生成的Class文件,但是低版本的Java虚拟机不能执行由高版本编译器生成的C1ass文件。JVM会抛出java.lang.UnsupportedClassVersionError异常。

• 在实际应用中，由于开发环境和生产环境的不同，可能会导致该问题的发生。因此，需要我们在开发时，特别注意开发编译的JDK版本和生产环境中的JDK版本是否一致。

  • 虚拟机JDK版本为1.k (k >= 2)时，对应的class文件格式版本号的范围为45.0-44+k.0(含两端）。

常量池

• 常量池对于class文件中的字段和方法解析也有着至关重要的作用。
• 在版本号之后，紧跟着的是常量池的数量，以及若干个常量池表项。
• 常量池中常量的数量是不固定的，所以在常量池的入口需要放置一项u2类型的无符号数，代表常量池容量计数值（constant_pool_count）。与Java中语言习惯不一样的是，这个容量计数是从1而不是0开始的。

• 由上表可见，Class文件使用了一个前置的容量计数器(constant_pool_count)加若干个连续的数据项(constant_pool)的形式来描述常量池内容。我们把这一系列连续常量池数据称为常量池集合。

  • 常量池表项中，用于存放编译时期生成的各种字面量和符号引用，这部分内容将在类加载后进入方法区的运行时常量池中存放（jdk7字符串常量池迁移到堆空间）

1. constant_pool_count(常量池计数器）

• 由于常量池的数量不固定，时长时短，所以需要放置两个字节来表示常量池容量计数值。
• 常量池容量计数值（u2类型):从1开始，表示常量池中有多少项常量。即constant_pool_count=1表示常量池中有0个常量项（即是没有常量）

Demo的值为:

其值为0x0016，也就是22。

需要注意的是，这实际上只有21项常量。索引为范围是1-21。为什么呢?

通常我们写代码时都是从O开始的，但是这里的常量池却是从1开始，因为它把第O项常量空出来了。这是为了满足后面某些指向常量池的索引值的数据在特定情况下需要表达“不引用任何一个常量池项目”的含义，这种情况可用索引值0来表示。

1. constant_pool []（常量池)

• constant_pool是一种表结构，以1 ~ constant_pool_count - 1为索引。表明了后面有多少个常量项。
• 常量池主要存放两大类常量:字面量 (Literal）和符号引用（Symbolic References)
• 它包含了class文件结构及其子结构中引用的所有字符串常量、类或接口名、字段名和其他常量。
• 常量池中的每一项都具备相同的特征。第1个字节作为类型标记，用于确定该项的格式，这个字节称为tag byte(标记字节、标签字节）。

字面量和符号引用

字面量：

    String str = "hello";
    final int NUM = 10;

符号引用：

• 全限定名 com/ljw/test/Demo这个就是类的全限定名，仅仅是把包名的"."替换成" /"，为了使连续的多个全限定名之间不产生混淆，在使用时最后一般会加入一个“;”表示全限定名结束。

全类名: com.ljw.java1.Demo

全限定名: com/ljw/java1/Demo

• 简单名称 简单名称是指没有类型和参数修饰的方法或者字段名称，上面例子中的类的add()方法和num字段的简单名称分别是add和num。
• 描述符 描述符的作用是用来描述字段的数据类型、方法的参数列表（包括数量、类型以及顺序）和返回值。根据描述符规则，基本数据类型(byte、char、double、float、int、long、short、 boolean)以及代表无返回值的void类型都用一个大写字符来表示，而对象类型则用字符L加对象的全限定名来表示，详见下表:

用描述符来描述方法时，按照先参数列表，后返回值的顺序描述，参数列表按照参数的严格顺序放在一组小括号“()”之内。如方法java.lang.String toString()的描述符为()Ljava/lang/String;，方法int abc(int[] x, int y)的描述符为([II) I。

例子

    public class ArrayTest {
        public static void main(String[] args) {
            Object[] arr = new Object[10];
    //[Ljava.lang.Object;@1540e19d ：1个大括号[：一维数组类型；L：对象类型；分号;：全限定名结束
            System.out.println(arr);
    
            //[Ljava.lang.String;@677327b6
            String[] arr1 = new String[10];
            System.out.println(arr1);
    
            //[[J@14ae5a5 ：2个大括号[[：二维数组类型；J:long类型; 基本数据类型无分号分隔
            long[][] arr2 = new long[10][];
            System.out.println(arr2);
        }
    }

输出

    [Ljava.lang.Object;@1b6d3586
    [Ljava.lang.String;@4554617c
    [[J@74a14482

符号引用和直接引用

虚拟机在加载Class文件时才会进行动态链接，也就是说，Class文件中不会保存各个方法和字段的最内存布局信息，因此，这些字段和方法的符号引用不经过转换是无法直接被虚拟机使用的。当虚拟机运行时，需要从常量池中获得对应的符号引用，再在类加载过程中的解析阶段将其替换为直接引用，并翻译到具体的内存地址中。

• 符号引用:符号引用以一组符号来描述所引用的目标，符号可以是任何形式的字面量，只要使用时能无歧义地定位到目标即可。符号引用与虚拟机实现的内存布局无关，引用的目标并不一定已经加载到了内存中。
• 直接引用:直接引用可以是直接指向目标的指针、相对偏移量或是一个能间接定位到目标的句柄。直接引用是与虚拟机实现的内存布局相关的，同一个符号引用在不同虚拟机实例上翻译出来的直接引用一般不会相同。如果有了直接引用,那说明引用的目标必定己经存在于内存之中了

常量类型和结构

• 标志为15、16、18的常量项类型是用来支持动态语言调用的(jdk1.7时才加入的）

• CONSTANT_Class_info 结构用于表示类或接口

• CONSTANT_Fieldref_info、CONSTANT_Rethodref_info和CONSTANT_InterfaceMethodref_info结构表示字段、方法和接口方法CONSTANT_String_info结构用于表示string类型的常量对象

• CONSTANT_Integer_info和CONSTANT_Float_info表示4字节（int和float）的数值常量

• CONSTANT_Long_info和CONSTANT_Double_info结构表示8字节(long和double)的数值常量

  • 在class文件的常量池表中，所有的8字节常量均占两个表成员(项)的空间。如果一个CONSTAT_Long_info或coNSTANT_Double_info结构的项在常量池表中的索引位n，则常量池表中下一个可用项的索引位n+2，此时常量池表中索引为n+1的项仍然有效但必须视为不可用的。

• CONSTANT_NameAndTiype_info结构用于表示字段或方法，但是和之前的3个结构不同,该结构没有指明该字段或方法所属的类或接口

• CONSTANT_utf8_info用于表示字符常量的值

• CONSTANT_MethodHandle_info结构用于裁示方法句柄

• CONSTANT_MethodType_info结构表示方法类型

• CONSTANT_InvokeDynamic_info结构用于表示invokedynamic指令所用到的引导方法(bootstrap method)、引导方法所用到的动态调用名称(dynamicinvocation name)、参数和返回类型，并可以给引导方法传入一系列称为静态参数(static argument)的常量。

总结：

• 这14种表（或者常量项结构）的共同点是:表开始的第一位是一个u1类型的标志位(tag)，代表当前这个常量项使用的是哪种表结构，即哪种常量类型。

• 在常量池列表中，CONSTANT_Utf8_info常量项是一种使用改进过的UTF-8编码格式来存储诸如文字字符串、类或者接口的全限定名、字段或者方法的简单名称以及描述符等常量字符串信息。

• 这14种常量项结构还有一个特点是，其中13个常量项占用的字节固定，只有CONSTANT_Utf8_info占用字节不固定，其大小由length决定。为什么呢?

  • 因为从常量池存放的内容可知，其存放的是字面量和符号引用，最终这些内容都会是一个字符串，这些字符串的大小是在编写程序时才确定，比如你定义一个类，类名可以取长取短，所以在没编译前，大小不固定，编译后，通过utf-8编码，就可以知道其长度。

• 常量池:可以理解为Class文件之中的资源仓库，它是Class文件结构中与其他项目关联最多的数据类型（后面的很多数据类型都会指向此处），也是占用Class文件空间最大的数据项目之一。

• 常量池中为什么要包含这些内容

  • Java代码在进行Javac编译的时候，并不像C和C++那样有“连接”这一步骤，而是在虚拟机加载Class文件的时候进行动态链接。也就是说，在Class文件中不会保存各个方法、字段的最终内存布局信息，因此这些字段、方法的符号引用不经过运行期转换的话无法得到真正的内存入口地址，也就无法直接被虚拟机使用。当虚拟机运行时，需要从常量池获得对应的符号引用，再在类创建时或运行时解析、翻译到具体的内存地址之中。关于类的创建和动态链接的内容，在虚拟机类加载过程时再进行详细讲解

访问标识

• 也叫访问标志、访问标记
• 在常量池后，紧跟着访问标记(access_flag)。该标记使用两个字节表示，用于识别一些类或者接口层次的访问信息，包括:这个Class是类还是接口;是否定义为 public类型;是否定义 abstract类型;如果是类的话，是否被声明为 final等。

各种访问标记如下所示:

• 类的访问权限通常为ACC_开头的常量。
• 每一种类型的表示都是通过设置访问标记的32位中的特定位来实现的。比如，若是public final的类，则该标记为ACC_PUBLIC | ACC_FINAL。
• 使用ACC_SUPER可以让类更准确地定位到父类的方法super.method() ,现代编译器都会设置并且使用这个标记。

字节码16进制21=0X001+0X0020

说明

1. 带有ACC_INTERFACE标志的class文件表示的是接口而不是类，反之则表示的是类而不是接口。

   • 如果一个class文件被设置了ACC_INTERFACE标志，那么同时也得设置ACC_ABSTRACT标志。同时它不能再设置ACC_FINAL、ACC_SUPER或ACC_ENUM标志。
   • 如果没有设置ACC_INTERFACE标志，那么这个class文件可以具有上表中除 ACC_ANNOTATION外的其他所有标志,当然，ACC_FINAL和ACC_ABSTRACT这类互斥的标志除外。这两个标志不得同时设置。

2. ACC_SUPER标志用于确定类或接口里面的invokespecial指令使用的是哪一种执行语义。针对Java虚拟机指令集的编译器都应当设置这个标志。对于Java SE 8及后续版本来说，无论class文件中这个标志的实际值是什么，也不管class文件的版本号是多少，Java虚拟机都认为每个class文件均设置了ACC_SUPER标志。

   • ACC_SUPER标志是为了向后兼容由旧Java编译器所编译的代码而设计的。目前的 ACC_SUPER标志在由JDK 1.0.2之前的编译器所生成的access_flags中是没有确定含义的，如果设置了该标志，那么Oracle的Java虚拟机实现会将其忽略。

3. ACC_SYNTHETIC标志意味着该类或接口是由编译器生成的，而不是由源代码生成的。

4. 注解类型必须设置ACC_ANOTATION标志。如果设置了ACC_ANNOTATION标志，那么也必须设置ACC_INTERFACE标志。

5. ACC_ENUM标志表明该类或其父类为枚举类型。

6. 表中没有使用的access_flags标志是为未来扩充而预留的，这些预留的标志在编译器中应该设置为0，Java虚拟机实现也应该忽略它们。

类索引，父类索引，接口索引集合

• 在访问标记后，会指定该类的类别、父类类别以及实现的接口，格式如下:

这三项数据来确定这个类的继承关系。

• 类索引用于确定这个类的全限定名
• 父类索引用于确定这个类的父类的全限定名。由于Java语言不允许多重继承，所以父类索引只有一个，除了java.lang.Object之外，所有的Java类都有父类，因此除了java.lang.Object外，所有Java类的父类索引都不为0。
• 接口索引集合就用来描述这个类实现了哪些接口，这些被实现的接口将按implements语句(如果这个类本身是一个接口，则应当是extends语句）后的接口顺序从左到右排列在接口索引集合中。

1. this_class（类索引)

• 2字节无符号整数，指向常量池的索引。它提供了类的全限定名,如com/ljw/java1/Demo。this_class的值必须是对常量池表中某项的一个有效索引值。常量池在这个索引处的成员必须为CONSTANT_Class_info类型结构体，该结构体表示这个class文件所定义的类或接口。

1. super_class(父类索引)

• 2字节无符号整数，指向常量池的索引。它提供了当前类的父类的全限定名。如果我们没有继承任何类，其默认继承的是java/lang/0bject类。同时，由于Java不支持多继承，所以其父类只有一个。
• superclass指向的父类不能是final。

1. interfaces

• 指向常量池索引集合，它提供了一个符号引用到所有已实现的接口

• 由于一个类可以实现多个接口，因此需要以数组形式保存多个接口的索引，表示接口的每个索引也是一个指向常量池的CONSTANT_Class(当然这里就必须是接口，而不是类)。

  • interfaces_count(接口计数器)

    • interfaces_count项的值表示当前类或接口的直接超接口数量。

  • interfaces [] (接口索引集合)

    • interfaces[]中每个成员的值必须是对常量池表中某项的有效索引值，它的长度为 interfaces_count。每个成员interfaces[i]必须为CONSTANT_Class_info结构，其中 0〈= i 〈 interfaces_count。在 interfaces[]中，各成员所表示的接口顺序和对应的源代码中给定的接口顺序（从左至右)一样，即interfaces[0]对应的是源代码中最左边的接口。

字段表集合

• fields用于描述接口或类中声明的变量。字段(field）包括类级变量以及实例级变量，但是不包括方法内部、代码块内部声明的局部变量。( local variables)
• 字段叫什么名字、字段被定义为什么数据类型，这些都是无法固定的，只能引用常量池中的常量来描述。
• 它指向常量池索引集合，它描述了每个字段的完整信息。比如字段的标识符、访问修饰符（public、private或protected)、是类变量还是实例变量(static修饰符）、是否是常量（final修饰符）等。

注意事项:

• 字段表集合中不会列出从父类或者实现的接口中继承而来的字段，但有可能列出原本Java代码之中不存在的字段。譬如在内部类中为了保持对外部类的访问性，会自动添加指向外部类实例的字段。
• 在Java语言中字段是无法重载的，两个字段的数据类型、修饰符不管是否相同，都必须使用不一样的名称，但是对于字节码来讲，如果两个字段的描述符不一致，那字段重名就是合法的。

1. fields_count(字段计数器)

• fields_count的值表示当前class文件fields表的成员个数。使用两个字节来表示。
• fields表中每个成员都是一个field_info结构，用于表示该类或接口所声明的所有类字段或者实例字段，不包括方法内部声明的变量，也不包括从父类或父接口继承的那些字段。

2. fields[](字段表)

• fields表中的每个成员都必须是一个fields_info结构的数据项，用于表示当前类或接口中某个字段的完整描述。

• 一个字段的信息包括如下这些信息。这些信息中，各个修饰符都是布尔值，要么有，要么没有。

  • 作用域（public、private、protected修饰符)
  • 是实例变量还是类变量（static修饰符)
  • 可变性（final）
  • 并发可见性（volatile修饰符，是否强制从主内存读写）>可否序列化（transient修饰符)
  • 字段数据类型（基本数据类型、对象、数组）
  • 字段名称

• 字段表结构

字段表作为一个表，同样有他自己的结构:

2.1 访问标识

我们知道，一个字段可以被各种关键字去修饰，比如:作用域修饰符（public、private、protected), static修饰符、final修饰符、volatile修饰符等等。因此，其可像类的访问标志那样，使用一些标志来标记字段。字段的访问标志有如下这些:（组合就相加）

2.2 字段名索引 根据字段名索引的值，查询常量池中的指定索引项即可。

2.3 描述符索引 描述符的作用是用来描述字段的数据类型、方法的参数列表〈包括数量、类型以及顺序）和返回值。根据描述符规则，基本数据类型(byte , char , double,float,int,long, short ,boolean)及代表无返回值的void类型都用一个大写字符来表示，而对象则用字符L加对象的全限定名来表示，如下所示:

2.4 属性计数器

• attribute_count的值表示当前属性集合员个数。使用一个字节来表示。

2.4 属性集合

一个字段还可能拥有一些属性，用于存储更多的额外信息。比如初始化值、一些注释信息等。属性个数存放在attribute_count中，属性具体内容存放在attributes数组中。

以常量属性（final）为例，结构为:

    ConstantValue_attribute{
        u2 attribute_name_index;
        u4 attribute_length;
        u2 constantvalue_index;
    }

说明:对于常量属性而言，attribute_length值恒为2。

方法表集合

methods:指向常量池索引集合，它完整描述了每个方法的签名。

• 在字节码文件中，每一个method_info项都对应着一个类或者接口中的方法信息。比如方法的访问修饰符(public.private或protected),方法的返回值类型以及方法的参数信息等。
• 如果这个方法不是抽象的或者不是native的，那么字节码中会体现出来。
• 一方面，methods表只描述当前类或接口中声明的方法，不包括从父类或父接口继承的方法。另一方面，methods表有可能会出现由编译器自动添加的方法，最典型的便是编译器产生的方法信息(比如:类(接口)初始化方法()和实例初始化方法( ))。

使用注意事项;

• 在Java语言中，要重载(Overload)一个方法，除了要与原方法具有相同的简单名称之外，还要求必须拥有一个与原方法不同的特征签名，特征签名就是一个方法中各个参数在常量池中的字段符号引用的集合，也就是因为返回值不会包含在特征签名之中,因此Java语言里无法仅仅依靠返回值的不同来对一个已有方法进行重载。但在Class文件格式中，特征签名的范围更大一些，只要描述符不是完全一致的两个方法就可以共存。也就是说，如果两个方法有相同的名称和特征签名，但返回值不同，那么也是可以合法共存于同一个class文件中。

  • Java语言中，重载：方法名相同,参数不同,返回值类型不包括在签名中

• 尽管Java语法规范并不允许在一个类或者接口中声明多个方法签名相同的方法，但是和java语法规范相反字节码文件中却恰恰允许存放多个方法签名相同的方法，唯一的条件就是这些方法之间的返回值不能相同。

  • 字节码中，重载：允许存放多个方法签名相同的方法，返回值不能相同

1. 方法计数器

methods_count的值表示当前class文件methods表的成员个数。使用两个字节来表示。methods表中每个成员都是一个method_info结构。

2. 方法表

• methods表中的每个成员都必须是一个method_info结构，用于表示当前类或接口中某个方法的完整描述。如果某个method_info结构的access_flags项既没有设置ACC_NATIVE标志也没有设置ACC_ABSTRACT标志，那么该结构中也应包含实现这个方法所用的Java虚拟机指令。
• method_info结构可以表示类和接口中定义的所有方法，包括实例方法、类方法、实例初始化方法和类或接口初始化方法
• 方法表的结构实际跟字段表是一样的，方法表结构如下:

2.1 访问标志

跟字段表一样，方法表也有访问标志，而且他们的标志有部分相同，部分则不同，方法表的具体访问标志如下:

属性表集合

方法表集合之后的属性表集合(attributes)，指的是class文件所携带的辅助信息，比如该class 文件的源文件的名称。以及任何带有RetentionPolicy.CLASS 或者RetentionPolicy.RUNTIME的注解。这类信息通常被用于Java虚拟机的验证和运行，以及Java程序的调试，一般无须深入了解。

此外，字段表、方法表都可以有自己的属性表。用于描述某些场景专有的信息。

属性表集合的限制没有那么严格，不再要求各个属性表具有严格的顺序，并且只要不与己有的属性名重复，任何人实现的编译器都可以向属性表中写入自己定义的属性信息，但Java虚拟机运行时会忽略掉它不认识的属性。

1. 属性计数器

attributes_count的值表示当前class文件属性表的成员个数。属性表中每一项都是一个attribute info结构。

2. 属性表

属性表的每个项的值必须是attribute_info结构。属性表的结构比较灵活，各种不同的属性只要满足以下结构即可。

属性通用格式：

属性类型：

属性表实际上可以有很多类型，上面看到的Code属性只是其中一种，Java8里面定义了23种属性。虚拟机中预定义的属性:官网关于属性介绍

Code属性：

Code属性就是存放方法体里面的代码。但是，并非所有方法表都有Code属性。像接口或者抽象方法，他们没有具体的方法体，因此也就不会有Code属性了。

Code属性表的结构,如下图:

可以看到:Code属性表的前两项跟属性表是一致的，即Code属性表遵循属性表的结构，后面那些则是他自定义的结构。

LineNumberTable属性：

• LineNumberTable属性是可选变长属性，位于Code结构的属性表。
• LineNumberTable属性是用来描述Java源码行号与字节码行号之间的对应关系。这个属性可以用来在调试的时候定位代码执行的行数。
• start_pc,即字节码行号;line_number，即Java源代码行号。
• 在Code属性的属性表中, LineNumberTable属性可以按照任意顺序出现，此外，多个LineNumberTable属性可以共同表示一个行号在源文件中麦示的内容，即 LineNumberTable属性不需要与源文件的行一一对应。

LocalVariableTable属性：

• LocalVariableTable是可选变长属性，位于Code属性的属性表中。它被调试器用于确定方法在执行过程中局部变量的信息。在Code属性的属性表中，LocalVariableTable属性可以按照任意顺序出现。Code属性中的每个局部变量最多只能有一个LocalVariableTable属性。

  • start pc + length表示这个变量在字节码中的生命周期起始和结束的偏移位置(this生命周期从头0到结尾10)
  • index就是这个变量在局部变量表中的槽位（槽位可复用>
  • name就是变量名称
  • Descriptor表示局部变量类型描述

LocalVariableTable属性表结构:

SourceFile属性：

可以看到，其长度总是固定的8个字节。

javap

javac -g

解析字节码文件得到的信息中，有些信息（如局部变量表、指令和代码行偏移量映射表、常量池中方法的参数名称等等）需要在使用javac编译成class文件时，指定参数才能输出。

比如，你直接javac xx.java，就不会在生成对应的局部变量表等信息，如果你使用javac -g xx.java就可以生成所有相关信息了。

如果你使用的eclipse或IDEA，则默认情况下，eclipse、IDEA在编译时会帮你生成局部变量表、指令和代码行偏移量映射表等信息的。

1. 通过javap命令可以查看一个java类反汇编得到的Class文件版本号、常量池、访问标识、变量表、 指令代码行号表等 等信息。不显示类索引、父类索引、接口索引集合、()、()等结构
2. 通过对前面例子代码反汇编文件的简单分析，可以发现，一个方法的执行通常会涉及下面几块内存的操作:

• java栈中:局部变量表、操作数栈。
• java堆。通过对象的地址引用去操作。
• 常量池。
• 其他如帧数据区、方法区的剩余部分等情况，测试中没有显示出来，这里说明一下。

3.平常，我们比较关注的是java类中每个方法的反汇编中的指令操作过程，这些指令都是顺序执行的 可以参考官方文档查看每个指令的含义

深入理解JVM系列

• 1.深入理解JVM（一）一一 简介和体系结构
• 2.深入理解JVM（二）一一 类加载器子系统
• 3.深入理解JVM（三）一一 运行时数据区（虚拟机栈）
• 4.深入理解JVM（四）一一 运行时数据区（程序计数器+本地方法栈）
• 5.深入理解JVM（五）一一 运行时数据区（堆）
• 6.深入理解JVM（六）一一 运行时数据区（方法区）
• 7.深入理解JVM（七）一一 执行引擎（解释器和JIT编译器）
• 8.深入理解JVM（八）一一 字符串常量池
• 9.深入理解JVM（九）一一 对象实例化和内存布局
• 10.深入理解JVM（十）一一 字节码层面剖析程序执行过程
• 11.深入理解JVM（十一）一一 垃圾回收相关概念
• 12.深入理解JVM（十二）一一 垃圾回收相关算法
• 13.深入理解JVM（十三）一一 详解垃圾回收器
• 14.深入理解JVM（十四）一一 对象分布图
• 15.深入理解JVM（十五）一一 class文件结构
• 16.深入理解JVM（十六）一一 字节码指令集
• 17.深入理解JVM（十七）一一 类的生命周期详解
• 18.深入理解JVM（十八）一一 再谈类的加载器
• 19.深入理解JVM（十九）一一 JVM监控及诊断工具(命令行）
• 20.深入理解JVM（二十）一一 JVM监控及诊断工具(GUI)
• 21.深入理解JVM（二十一）一一 JVM运行时参数(收藏篇)
• 22.深入理解JVM（二十二）一一 分析GC日志
• 23.深入理解JVM（二十三）一一 OOM场景及解决方案