Class文件结构、字节码与JDK7/8完整原理

Java源码不是JVM直接执行的格式。javac会把源码翻译为严格定义的Class File二进制结构，类加载器取得这些字节后，JVM验证、连接并执行其中的字节码。

理解Class文件不是为了手工背十六进制，而是为了能回答：

为什么JDK 17编译的类不能直接在JDK 8运行。
为什么同一个方法在字节码里用名称和描述符共同定位。
泛型为什么在运行时常表现为擦除，又为什么反射还能读到部分泛型信息。
static final int为什么可能有ConstantValue，而static final Integer通常在<clinit>赋值。
try/catch为什么主要由异常表描述，不一定对应一条“catch指令”。
Lambda为什么常出现invokedynamic和BootstrapMethods。
Agent、ASM或CGLIB生成的字节为什么会因StackMapTable错误而VerifyError。

学习目标

学完后应能：

画出Class文件从魔数到属性表的顺序和计数字段。
解释u1/u2/u4、表、索引和大端序。
正确读取magic、minor、major和constant_pool_count。
说明常量池为什么从1开始，Long/Double为什么占两个槽。
区分字面量、Utf8、Class、String、NameAndType、Fieldref和Methodref。
读懂字段/方法描述符和数组描述符。
解释字段表、方法表、Code属性、异常表、调试表和StackMapTable。
解释JVM基于局部变量表和操作数栈执行字节码。
区分<init>和<clinit>。
解释invokevirtual、invokestatic、invokespecial、invokeinterface和invokedynamic。
说明JDK 7/8 Class版本、MethodHandle、InvokeDynamic和Lambda的边界。
使用javap -verbose和JDK7/8兼容解析Demo验证结论。

一、从源码到运行时的完整链路

mermaid

flowchart TD
    A["Java/Kotlin/Scala源码"] --> B["语言编译器"]
    B --> C["Class File二进制"]
    C --> D["ClassLoader取得字节"]
    D --> E["JVM验证与连接"]
    E --> F["解释器执行字节码"]
    E --> G["JIT编译热点为机器码"]
    F --> H["业务运行"]
    G --> H

JVM的语言无关性建立在“编译器生成符合JVMS的Class文件”上，不代表任何语言的任意特性都天然兼容。编译器必须把高层语义映射成字段、方法、属性、字节码和运行时库调用。

平台无关性也不是“一个二进制机器码到处跑”，而是同一套Class字节码由不同平台JVM解释/JIT为对应机器指令，并依赖目标平台可用的本地库和运行环境。

二、Class文件是顺序二进制协议

Class不是JSON，也没有字段名写在每个位置。解析器必须按照规范顺序读取：

text

ClassFile {
    u4 magic;
    u2 minor_version;
    u2 major_version;
    u2 constant_pool_count;
    cp_info constant_pool[constant_pool_count - 1];
    u2 access_flags;
    u2 this_class;
    u2 super_class;
    u2 interfaces_count;
    u2 interfaces[interfaces_count];
    u2 fields_count;
    field_info fields[fields_count];
    u2 methods_count;
    method_info methods[methods_count];
    u2 attributes_count;
    attribute_info attributes[attributes_count];
}

mermaid

flowchart TD
    A["magic与版本"] --> B["constant_pool_count与常量池"]
    B --> C["access_flags"]
    C --> D["this/super/interfaces"]
    D --> E["fields"]
    E --> F["methods"]
    F --> G["class attributes"]

任何一个长度或计数解析错，后面所有字节边界都会错位，因此损坏文件常见ClassFormatError。

三、u1、u2、u4与大端序

u1：1字节无符号数。
u2：2字节无符号数。
u4：4字节无符号数。

Class文件使用大端序：高位字节在前。例如主版本52的两个字节为：

text

00 34

十六进制0x34等于十进制52。

Java没有unsigned short基本类型，但解析u2可读取两个字节后组合为0到65535的int。

四、魔数与版本

4.1 魔数

Class文件前四字节必须是：

text

CA FE BA BE

文件扩展名可以伪造，魔数用于让解析器快速确认格式。魔数正确也不代表后续结构一定合法，仍需完整验证。

4.2 主版本

Java	常见major version
Java 7	51
Java 8	52
Java 9	53
Java 11	55
Java 17	61
Java 21	65

低版本JVM遇到更高主版本会抛UnsupportedClassVersionError。正确修复是统一：

编译JDK。
source/target或--release。
依赖Class版本。
运行JDK。

只设置-source 8并不总能阻止编译器链接新JDK API；现代JDK优先用--release 8生成面向Java 8 API和Class版本的产物。JDK 7/8编译器没有现代--release，通常使用对应JDK编译或正确配置bootclasspath。

五、常量池是Class文件的符号中心

常量池并不只是保存final常量。它保存字面量和类、字段、方法、方法句柄、动态调用点等符号结构。

5.1 为什么索引从1开始

constant_pool_count等于最大索引加1，索引0保留为“没有引用”语义。因此：

text

constant_pool_count = 10

表示正常索引范围是1到9，但还要考虑Long/Double双槽。

5.2 Long和Double占两个索引槽

CONSTANT_Long与CONSTANT_Double在JDK7/8 Class格式中占两个连续常量池索引，后一个槽不可直接使用。这是历史布局规则，不代表它们在所有运行时数据结构中必然浪费两项。

手写解析器忘记跳过额外索引，会从下一项开始全部错位。

5.3 JDK7/8重要Tag

tag	类型	作用
1	`CONSTANT_Utf8`	名称、描述符、属性名、字符串内容等文本
3	`CONSTANT_Integer`	int及byte/short/char/boolean编译常量载体
4	`CONSTANT_Float`	float常量
5	`CONSTANT_Long`	long常量，占双槽
6	`CONSTANT_Double`	double常量，占双槽
7	`CONSTANT_Class`	指向表示内部类名/数组描述的Utf8
8	`CONSTANT_String`	指向字符串内容Utf8
9	`CONSTANT_Fieldref`	类索引+NameAndType字段引用
10	`CONSTANT_Methodref`	类方法引用
11	`CONSTANT_InterfaceMethodref`	接口方法引用
12	`CONSTANT_NameAndType`	名称索引+描述符索引
15	`CONSTANT_MethodHandle`	JDK7方法句柄/动态调用支持
16	`CONSTANT_MethodType`	方法描述符类型
18	`CONSTANT_InvokeDynamic`	动态调用点与BootstrapMethods关联

JDK 9增加Module/Package相关Tag，JDK 11前后还有Dynamic常量等演进；JDK 7/8解析器不能假设认识未来所有Tag。

5.4 Utf8不是普通字符串对象

CONSTANT_Utf8是Class文件中的编码字节，供名称、描述符和属性引用。它采用JVMS定义的Modified UTF-8形式，不等于运行时已经创建一个Java String对象，也不等于文件中所有文本都各自独立存在。

5.5 Fieldref怎样层层索引

mermaid

flowchart TD
    A["Fieldref"] --> B["class_index"]
    A --> C["name_and_type_index"]
    B --> D["Class"]
    D --> E["Utf8: com/example/Order"]
    C --> F["NameAndType"]
    F --> G["Utf8: status"]
    F --> H["Utf8: Ljava/lang/String;"]

符号引用不保存固定机器地址。类加载解析阶段会检查目标类、字段、描述符和访问权限，并建立JVM可定位的运行时结构。

六、访问标志、this、super和interfaces

常量池后依次是：

access_flags：public、final、interface、abstract、annotation、enum、synthetic等组合。
this_class：指向常量池Class项，确定当前二进制名。
super_class：除Object为0外，通常指向直接父类。
interfaces_count与接口索引数组。

Java源码不支持类多继承，所以只有一个直接父类索引；接口列表可以有多项。继承字段和方法不会完整复制进当前Class的field/method表，运行时通过类型体系和解析查找。

七、字段表与字段描述符

每个field_info：

text

u2 access_flags
u2 name_index
u2 descriptor_index
u2 attributes_count
attribute_info attributes[attributes_count]

字段表只描述当前类/接口声明或编译器生成的字段，不列出方法局部变量，也不复制父类字段。

7.1 描述符

Java类型	字段描述符
byte	`B`
char	`C`
double	`D`
float	`F`
int	`I`
long	`J`
short	`S`
boolean	`Z`
`java.lang.String`	`Ljava/lang/String;`
`int[]`	`[I`
`String[][]`	`[[Ljava/lang/String;`

对象类型用内部名，包分隔符是/而不是.，并以;结束。

7.2 ConstantValue与static final

满足条件的static final基本类型/String字段可能带ConstantValue属性，准备阶段即可设置常量值。下面通常不会获得整数ConstantValue：

java

static final Integer BOXED = Integer.valueOf(3);

它需要在<clinit>执行方法调用和putstatic。

7.3 编译器生成字段

非静态内部类可能生成指向外部实例的synthetic字段，枚举可能生成$VALUES，编译器/框架也可能增加字段。反射看到的成员不一定逐字出现在原始源码中。

八、方法表、名称与方法描述符

每个method_info与字段表形式相似：访问标志、名称索引、描述符索引和属性表。

方法仅靠名称不能唯一确定，重载还需要描述符。例如：

java

int add(int a, long b, String name)

描述符：

text

(IJLjava/lang/String;)I

括号内是参数，括号后是返回类型。void为V。

8.1 特殊方法名

<init>：实例初始化方法，每次创建对应对象时按构造链执行。
<clinit>：类初始化方法，由静态字段运行时赋值和static块合成，每个运行时类成功初始化一次。

它们不是普通Java标识符，不能在源码中直接声明或调用。

8.2 Exceptions不是异常处理代码

方法的Exceptions属性声明可能向调用方抛出的受检异常；真正try/catch控制流主要存放在Code属性的exception_table。两者不要混淆。

九、Code属性完整结构

有Java方法体的方法通常带Code属性，抽象方法和native方法没有普通Java字节码Code。

主要结构：

text

u2 max_stack
u2 max_locals
u4 code_length
u1 code[code_length]
u2 exception_table_length
exception_info exception_table[...]
u2 attributes_count
attribute_info attributes[...]

9.1 max_stack

该方法执行时操作数栈需要的最大深度，单位是JVM slot。验证器会检查字节码栈操作不会超过声明能力且类型匹配。

9.2 max_locals

局部变量表所需slot数量。实例方法slot 0通常是this，后面依次放参数和局部变量。JDK7/8中long/double占两个连续slot，其余多数值/引用占一个。

局部变量作用域结束后slot可以复用，所以max_locals不是源码局部变量总数。

9.3 code数组

每条字节码通常由1字节opcode和零到多个操作数组成。某些指令长度固定，tableswitch/lookupswitch还涉及对齐填充，wide可扩展局部变量索引范围。

9.4 exception_table

每项近似描述：

text

start_pc <= 抛出位置 < end_pc
若异常类型匹配catch_type
跳转handler_pc

catch_type=0可表示finally等编译结果中的任意异常处理路径。finally可能被编译器复制到多个正常/异常出口，具体取决于编译器和版本。

9.5 Code子属性

常见：

LineNumberTable：字节码偏移到源码行号，影响栈轨迹行号。
LocalVariableTable：局部变量名、描述符和作用域，通常依赖调试信息。
LocalVariableTypeTable：泛型局部变量签名。
StackMapTable：控制流关键点的类型状态，JDK7/8验证重要。

生产混淆或关闭调试信息后，栈轨迹仍可有方法名但行号/局部变量信息可能缺失。

十、JVM是栈式字节码机器

示例：

java

int add(int left, int right) {
    return left + right;
}

实例方法的局部变量表通常：

text

slot 0 = this
slot 1 = left
slot 2 = right

字节码近似：

text

iload_1
iload_2
iadd
ireturn

执行过程：

mermaid

flowchart TD
    A["iload_1：left压栈"] --> B["iload_2：right压栈"]
    B --> C["iadd：弹出两个int并相加"]
    C --> D["结果int压栈"]
    D --> E["ireturn：弹出并返回"]

字节码不是CPU机器码。解释器理解这些opcode，JIT再把热点路径编译为目标CPU机器指令，并可能内联、消除边界检查或做逃逸分析。

十一、对象、字段和数组指令

常见指令族：

new：创建普通对象前解析/初始化类，并进入对象分配流程。
newarray：创建基本类型数组。
anewarray：创建引用类型数组。
multianewarray：创建多维数组的若干维。
getfield/putfield：实例字段。
getstatic/putstatic：静态字段，可能触发声明类初始化。
checkcast：运行时类型检查。
instanceof：类型测试。
arraylength与各类数组加载/存储指令。

new只分配对象并压入未初始化引用，构造器调用通常还要dup和invokespecial <init>。

十二、五种方法调用指令

指令	典型用途
`invokestatic`	静态方法
`invokespecial`	构造器、private、特定super调用
`invokevirtual`	普通类实例虚方法
`invokeinterface`	接口方法
`invokedynamic`	由Bootstrap Method建立动态调用点

12.1 解析与动态分派

invokevirtual常量池符号可以解析到方法名称/描述符和合法方法族，但最终仍依据接收者实际类型选择覆盖实现。JIT可能用内联缓存和类型推测优化，但假设失效时需要去优化/重新编译。

12.2 JDK8 Lambda

Lambda不保证编译成一个固定命名匿名内部类。JDK8 javac常生成：

一个invokedynamic调用点。
Class级BootstrapMethods属性。
指向LambdaMetafactory的MethodHandle。
可能的synthetic lambda实现方法。

运行时由Bootstrap Method链接调用点并创建/缓存相应函数对象策略。不能把所有Lambda简单回答成“语法糖等于匿名内部类”。

十三、属性表为什么可扩展

通用头部：

text

u2 attribute_name_index
u4 attribute_length
u1 info[attribute_length]

JVM根据属性名和长度解析已知属性；规范允许在不同位置定义可忽略的未知属性，从而让Class格式具备演进能力，但关键属性有严格版本与位置约束。

JDK7/8常见属性：

属性	位置/作用
`ConstantValue`	字段编译期常量
`Code`	方法字节码、栈、局部变量和异常表
`Exceptions`	方法声明异常
`InnerClasses`	内部/嵌套类关系
`EnclosingMethod`	局部/匿名类外部方法关系
`Synthetic`	编译器生成成员标记
`Signature`	泛型签名等附加类型信息
`SourceFile`	源文件名
`LineNumberTable`	字节码与源码行映射
`LocalVariableTable`	调试局部变量信息
`StackMapTable`	验证类型帧
`RuntimeVisibleAnnotations`	运行时可见注解
`RuntimeInvisibleAnnotations`	Class保留但反射不可见注解
`BootstrapMethods`	invokedynamic等引导方法
`MethodParameters`	JDK8方法参数元数据，通常需`-parameters`

十四、泛型擦除与Signature为什么同时存在

java

java.util.List<String> names;

字段描述符通常是：

text

Ljava/util/List;

因为JVM执行层主描述符使用擦除后的类型。泛型String信息可以保存在Signature属性中，供编译器、反射泛型API和框架读取。

因此：

运行时普通类型检查主要看到List。
getGenericType()可能从Signature读到List<String>。
Signature可以缺失、被混淆/生成工具破坏，框架不应假设所有Class都有完整源码级泛型信息。

桥接方法也是泛型擦除兼容多态的编译器产物，通常带synthetic/bridge标志。

十五、注解怎样进入Class文件

保留策略：

SOURCE：通常不进入最终Class。
CLASS：进入Class，但普通运行时反射不要求可见。
RUNTIME：进入RuntimeVisibleAnnotations，反射可读取。

注解元素值保存在属性结构中，不是“反射扫描源码”。Spring等框架读取注解，本质是通过反射或字节码元数据读取Class中的注解信息。

十六、JDK7/8可运行Class与解析Demo

16.1 被解析的示例类

java

import java.util.List;

public class ClassFileDemo {
    public static final int CONSTANT = 3;
    private final List<String> names;
    private int count = 1;

    public ClassFileDemo(List<String> names) {
        this.names = names;
    }

    public int add(int value) {
        try {
            return count + value + names.size();
        } catch (RuntimeException ex) {
            return -1;
        }
    }
}

16.2 读取头部与常量池计数

java

import java.io.DataInputStream;
import java.io.FileInputStream;

public class ClassHeaderReader {
    public static void main(String[] args) throws Exception {
        if (args.length != 1) {
            throw new IllegalArgumentException("class file required");
        }

        DataInputStream input = new DataInputStream(
                new FileInputStream(args[0]));
        try {
            long magic = input.readInt() & 0xFFFFFFFFL;
            int minor = input.readUnsignedShort();
            int major = input.readUnsignedShort();
            int constantPoolCount = input.readUnsignedShort();

            System.out.printf("magic=0x%08X%n", magic);
            System.out.println("minor=" + minor);
            System.out.println("major=" + major);
            System.out.println("constantPoolCount="
                    + constantPoolCount);

            if (magic != 0xCAFEBABEL) {
                throw new IllegalArgumentException("not a class file");
            }
        } finally {
            input.close();
        }
    }
}

编译为Java 8目标并读取：

bash

javac ClassFileDemo.java ClassHeaderReader.java
java ClassHeaderReader ClassFileDemo.class

Java 8目标预期关键结果：

text

magic=0xCAFEBABE
major=52

constantPoolCount随编译器、调试信息和源码变化，不要写死。

十七、javap逐层实验

bash

javap -verbose -p ClassFileDemo
javap -c -p ClassFileDemo
javap -s -p ClassFileDemo

检查：

magic对应的Class格式和major version 52。
常量池中的Class、Utf8、Fieldref、Methodref和NameAndType。
CONSTANT字段的ConstantValue: int 3。
names描述符是Ljava/util/List;，Signature保留List<String>。
构造器方法名<init>。
add的Code、max_stack、max_locals和exception table。
names.size()使用invokeinterface。
catch处理器的起止字节码范围与handler位置。

17.1 查看原始十六进制

Linux：

bash

xxd -g 1 -l 16 ClassFileDemo.class

PowerShell：

powershell

Format-Hex -Path .\ClassFileDemo.class | Select-Object -First 2

前八字节应包含magic、minor和major。不要直接编辑生产Class十六进制；任何长度、索引或Frame错误都可能让类无法验证。

十八、商业场景：字节码Agent升级后服务启动失败

18.1 现象

服务源码没有改，但升级APM Agent后启动出现：

text

VerifyError: Expecting a stackmap frame at branch target ...

18.2 原理链

mermaid

flowchart TD
    A["类加载器读取原始Class"] --> B["Agent转换字节码"]
    B --> C["插入分支/调用并改变控制流"]
    C --> D["StackMapTable未正确重算"]
    D --> E["JDK7/8验证器发现类型帧不一致"]
    E --> F["VerifyError，类不能定义"]

18.3 排查

保存完整VerifyError、类名、方法和字节码偏移。
记录JDK完整更新版、Agent和ASM版本。
在隔离环境对比启用/禁用Agent。
导出转换前后Class。
使用javap -verbose比较major、Code、异常表和StackMapTable。
升级兼容目标JDK的字节码库并回归。

不要把-noverify作为生产长期修复，它会削弱JVM的类型安全保障并掩盖生成器错误。

十九、商业场景：线上NoSuchMethodError

编译使用依赖2.0，最终Fat JAR却打入1.5。调用方Class常量池记录2.0方法名称和描述符，运行时解析1.5类时找不到完全匹配的方法，于是抛NoSuchMethodError。

证据：

bash

mvn dependency:tree
jar tf app.jar
javap -s -p -classpath actual.jar com.example.Client

JDK8可用-verbose:class观察实际加载来源。排查必须比较完整描述符，不能只看方法名相同。

二十、常见错误映射

错误	Class文件/加载方向
`UnsupportedClassVersionError`	major高于运行JVM
`ClassFormatError`	长度、索引、Tag、结构非法
`VerifyError`	Code控制流、类型状态、StackMapTable不一致
`NoSuchMethodError`	运行时类没有匹配名称+描述符
`NoSuchFieldError`	运行时类没有匹配字段
`IllegalAccessError`	解析时访问约束不满足
`IncompatibleClassChangeError`	静态/实例、类/接口等二进制形态变化
反射参数名变成arg0	未保留MethodParameters或调试信息
泛型读取为空/原始类型	Signature缺失或被工具破坏

二十一、常见误区

误区	正确理解
Class文件只是字节码数组	还包含版本、常量池、字段、方法和属性
常量池只保存final常量	它是类、字段、方法和动态调用的符号中心
constant_pool_count就是实际普通项数	索引从1开始，Long/Double还占双槽
字段类型直接写Java类名	使用JVM描述符和内部名
泛型完全从Class消失	执行描述符擦除，但Signature可保留泛型元数据
try/catch是一条catch字节码	主要由Code异常表定义处理范围和入口
Lambda一定编译成匿名内部类	JDK8 javac常使用invokedynamic和BootstrapMethods
javap输出就是原始文件逐字节内容	javap是解析后的可读视图
Class版本低就一定兼容JDK8	依赖API、字节码工具和运行库也必须兼容
VerifyError可以直接noverify解决	应修复生成/转换字节码和Frame

二十二、面试标准回答

Class文件由哪些部分组成

顺序包括magic、minor/major版本、常量池、访问标志、this/super/interfaces、字段表、方法表和Class属性表。字段和方法自身又通过属性扩展，方法Code属性包含max_stack、max_locals、字节码、异常表和子属性。所有计数、索引和长度都必须按大端序及规范解析。

常量池为什么重要

常量池不只保存字面量，还保存类、字段、方法、NameAndType、MethodHandle和InvokeDynamic等符号结构。字节码指令通过索引引用这些项，类加载解析阶段再检查目标和权限并建立运行时连接。索引从1开始，Long/Double占两个槽。

Code属性包含什么

Code包含操作数栈最大深度max_stack、局部变量槽数max_locals、字节码数组、异常处理表和LineNumberTable、LocalVariableTable、StackMapTable等子属性。抽象和native方法没有普通Java Code属性。

泛型擦除后反射为什么还能读到 `List<String>`

JVM字段/方法描述符通常使用擦除类型，例如List；编译器可把List<String>额外写入Signature属性，反射泛型API读取该属性。所以执行类型体系主要是List，但部分源码泛型元数据仍存在；Signature缺失时不能恢复完整泛型。

JDK8 Lambda为什么出现invokedynamic

javac通常把Lambda调用点编译为invokedynamic，并在BootstrapMethods中关联LambdaMetafactory和MethodHandle。首次链接时引导方法建立调用点，运行时再采用合适的函数对象策略。它不是固定等价于生成一个普通匿名内部类Class。

二十三、关联知识点

二十四、学习验收

[ ] 能按顺序写出ClassFile顶层结构。
[ ] 能手算前十字节中的magic、minor、major和constant_pool_count。
[ ] 能解释常量池索引0与Long/Double双槽。
[ ] 能写出int、String、int[]、String[][]和方法的描述符。
[ ] 能解释Code的max_stack、max_locals、异常表和子属性。
[ ] 能用局部变量表和操作数栈逐步执行一个iadd方法。
[ ] 能区分五种invoke指令。
[ ] 能解释描述符擦除与Signature泛型元数据并存。
[ ] 能用javap证明ConstantValue、Signature、异常表和invokeinterface。
[ ] 能从VerifyError、NoSuchMethodError反推Class版本、转换器和依赖问题。

本章小结

Class文件是JVM生态的二进制契约：常量池表达符号，字段和方法描述类型，Code表达栈式执行，属性承载验证、调试、泛型、注解和动态调用元数据。掌握它之后，类版本错误、依赖冲突、反射差异和字节码增强失败都能落到可验证的具体结构，而不是停留在“JAR有问题”。

JDK 8/11/17/21 LTS演进

线程池

Class文件结构、字节码与JDK7/8完整原理 ​

学习目标 ​

一、从源码到运行时的完整链路 ​

二、Class文件是顺序二进制协议 ​

三、u1、u2、u4与大端序 ​

四、魔数与版本 ​

4.1 魔数 ​

4.2 主版本 ​

五、常量池是Class文件的符号中心 ​

5.1 为什么索引从1开始 ​

5.2 Long和Double占两个索引槽 ​

5.3 JDK7/8重要Tag ​

5.4 Utf8不是普通字符串对象 ​

5.5 Fieldref怎样层层索引 ​

六、访问标志、this、super和interfaces ​

七、字段表与字段描述符 ​

7.1 描述符 ​

7.2 ConstantValue与static final ​

7.3 编译器生成字段 ​

八、方法表、名称与方法描述符 ​

8.1 特殊方法名 ​

8.2 Exceptions不是异常处理代码 ​

九、Code属性完整结构 ​

9.1 max_stack ​

9.2 max_locals ​

9.3 code数组 ​

9.4 exception_table ​

9.5 Code子属性 ​

十、JVM是栈式字节码机器 ​

十一、对象、字段和数组指令 ​

十二、五种方法调用指令 ​

12.1 解析与动态分派 ​

12.2 JDK8 Lambda ​

十三、属性表为什么可扩展 ​

十四、泛型擦除与Signature为什么同时存在 ​

十五、注解怎样进入Class文件 ​

十六、JDK7/8可运行Class与解析Demo ​

16.1 被解析的示例类 ​

16.2 读取头部与常量池计数 ​

十七、javap逐层实验 ​

17.1 查看原始十六进制 ​

十八、商业场景：字节码Agent升级后服务启动失败 ​

18.1 现象 ​

18.2 原理链 ​

18.3 排查 ​

十九、商业场景：线上NoSuchMethodError ​

二十、常见错误映射 ​

二十一、常见误区 ​

二十二、面试标准回答 ​

Class文件由哪些部分组成 ​

常量池为什么重要 ​

Code属性包含什么 ​

泛型擦除后反射为什么还能读到 List<String> ​

JDK8 Lambda为什么出现invokedynamic ​

二十三、关联知识点 ​

二十四、学习验收 ​

本章小结 ​

Class文件结构、字节码与JDK7/8完整原理

学习目标

一、从源码到运行时的完整链路

二、Class文件是顺序二进制协议

三、u1、u2、u4与大端序

四、魔数与版本

4.1 魔数

4.2 主版本

五、常量池是Class文件的符号中心

5.1 为什么索引从1开始

5.2 Long和Double占两个索引槽

5.3 JDK7/8重要Tag

5.4 Utf8不是普通字符串对象

5.5 Fieldref怎样层层索引

六、访问标志、this、super和interfaces

七、字段表与字段描述符

7.1 描述符

7.2 ConstantValue与static final

7.3 编译器生成字段

八、方法表、名称与方法描述符

8.1 特殊方法名

8.2 Exceptions不是异常处理代码

九、Code属性完整结构

9.1 max_stack

9.2 max_locals

9.3 code数组

9.4 exception_table

9.5 Code子属性

十、JVM是栈式字节码机器

十一、对象、字段和数组指令

十二、五种方法调用指令

12.1 解析与动态分派

12.2 JDK8 Lambda

十三、属性表为什么可扩展

十四、泛型擦除与Signature为什么同时存在

十五、注解怎样进入Class文件

十六、JDK7/8可运行Class与解析Demo

16.1 被解析的示例类

16.2 读取头部与常量池计数

十七、javap逐层实验

17.1 查看原始十六进制

十八、商业场景：字节码Agent升级后服务启动失败

18.1 现象

18.2 原理链

18.3 排查

十九、商业场景：线上NoSuchMethodError

二十、常见错误映射

二十一、常见误区

二十二、面试标准回答

Class文件由哪些部分组成

常量池为什么重要

Code属性包含什么

泛型擦除后反射为什么还能读到 `List<String>`

JDK8 Lambda为什么出现invokedynamic

二十三、关联知识点

二十四、学习验收

本章小结