第2章 Java帝国
沿源码、类文件、类加载、对象装配和运行服务追踪 Java 的抽象边界，用兼容性实验解释运行时与库的职责。
学习目标
- 能沿 Java 源码、class 文件、类加载、对象装配和运行服务追踪一次请求，指出每层的输入、输出和职责边界
- 能用类文件格式、JVM 语义、接口合同和库能力解释可移植性，而不是把它误说成所有平台的本机行为完全相同
- 能在正常、边界和故障场景中定位最早偏离的层，设计隔离修复并从干净状态重放验证
为什么需要这一机制
“Java 帝国”不是把一个故事换成另一种语言，而是一个平台分层问题：应用不应为每个操作系统重复实现类文件解析、运行时调度和对象装配。Java 的稳定边界可以写成：
这条式子不是把四个名词相加。它要求每一层都能回答三个问题：接收什么输入、提供什么合同、出了问题谁负责。源码表达意图，class 文件提供可验证的中间表示，JVM 承载加载和执行语义，库与容器把常见对象装配和服务能力暴露给应用。
核心合同
↡本页把 Java 帝国重构为由语言、标准化 class 文件、JVM 运行时语义以及库能力共同承载应用的分层系统。先固定一个最小应用：源码声明一个接口和一个实现，编译得到 class 文件，运行时加载实现，再由容器或库装配服务。每个节点都要记录输入和输出，不能只保存最终的“运行成功”。
五个节点到机制证据
Java源码
↡表达类型、接口和控制流意图的源代码；它是编译输入，不等同于 JVM 已经加载的运行对象。检查包名、接口方法签名、依赖声明和源码版本。源码层通过不代表 class 文件一定兼容，也不代表运行环境已有对应实现。
编译类文件
↡编译器产生的可验证中间表示，包含类名、方法签名和字节码版本，供 JVM 按格式读取。保存 class 文件版本、校验结果、依赖符号和构建来源。它是跨平台边界的证据之一，但不替代平台提供的 JVM 和外部资源。
类加载
↡运行时按类名、类加载器和依赖关系定位并验证 class 文件，使类型进入当前 JVM 的生命周期。区分类找不到、版本不兼容、重复加载和初始化失败。记录加载器身份、类文件来源与首个异常位置，才能判断是路径、版本还是运行时语义的问题。
对象装配
↡根据接口合同、实现绑定和依赖配置创建对象并连接其生命周期，不等于接口声明自动产生实例。记录接口到实现的绑定、构造参数、依赖来源和作用域。容器或库可以减少重复装配，但它们仍受类型合同和版本约束。
运行服务
↡对象进入可调用服务后的运行状态，包含 JVM 线程、库调用、外部资源和可观察结果。区分应用代码、JVM 语义、库实现和外部系统的责任。服务返回成功，不表示前面的兼容性和装配证据没有缺失。
最小可重放实现
source = compile("Greeting.java", targetClassfileVersion)
assertClassfile(source, expectedVersion)
loaded = loadClass(source, loaderId)
service = assemble(Greeting.class, implementation, dependencies)
result = service.handle("baseline")
assertContract(result)
assertTrue(resetAndRun() == baselineTrace)这段草图只表达分层合同，不复制书中叙事或代码。真正的复核要保存源码版本、class 文件版本、加载器、对象绑定、依赖版本、服务输出和复位后的完整轨迹。
五步复核 Java 边界
1. 固定源码合同
记录接口方法、实现类、依赖声明和目标 class 文件版本。先预测编译产物的类名、方法签名与版本，不把 IDE 的运行配置当成源码合同。
Lab
类加载与对象装配实验
一次只改变版本、加载器或实现绑定，观察首个拒绝节点和复位后的轨迹。
兼容 class 文件按单一加载器进入正确实现
source → classfile v=target → loader=A → ServiceImpl → running
判定
通过：版本、来源、绑定和输出可以从空环境重放
当前场景：基线链路；记录 class 文件版本、加载器、实现绑定、依赖、首错和复位。
正常、边界与故障证据
| 场景 | 只改变的变量 | 预期判定 | 必存证据 |
|---|---|---|---|
| 正常 | 兼容的 class 文件、JVM、实现和依赖 | 五个节点按合同连接，服务可重放 | 源码、版本、加载器、绑定、输出 |
| 边界 | class 文件版本、类加载器或依赖作用域 | 在首个不兼容节点明确拒绝，错误可解释 | 版本、来源、作用域、首个异常 |
| 故障 | 一次错误绑定、缺失依赖或混用运行时 | 定位最早偏离，修复后从空环境重放 | 接口、实现、依赖、生命周期、复位 |
专属因果实验
先选择基线场景，预测源码到运行服务的五个节点状态；再一次只切换 class 文件版本、类加载器或对象绑定。实验中的“当前状态”必须包含版本、类来源、接口实现和服务判定，不能用一个成功/失败布尔值代替整条轨迹。
Lab
类加载与对象装配实验
一次只改变版本、加载器或实现绑定，观察首个拒绝节点和复位后的轨迹。
兼容 class 文件按单一加载器进入正确实现
source → classfile v=target → loader=A → ServiceImpl → running
判定
通过：版本、来源、绑定和输出可以从空环境重放
当前场景：基线链路；记录 class 文件版本、加载器、实现绑定、依赖、首错和复位。
故障诊断：沿边界找首个偏离
- 先核对源码合同：比较接口方法、包名和实现声明，排除源代码版本或构建输入错误。
- 再核对 class 文件：检查文件版本、类名和依赖符号；若 JVM 在验证阶段拒绝，先修构建产物。
- 再核对类加载：比较加载器、来源路径和已加载版本，区分类找不到、版本不兼容与重复加载。
- 最后核对对象装配和服务：确认接口实现、依赖作用域、库版本和外部资源，从清空缓存的基线重放。
术语表
名词解释
本章出现的专业名词，用大白话再讲一遍。
- 第2章 Java帝国
由语言、class 文件、JVM 与库共同承载应用的分层运行时模型。
- Java源码
表达类型、接口和控制流意图的编译输入。
- 编译类文件
供 JVM 读取和验证的标准化中间表示。
- 类加载
按名称、加载器和依赖关系定位并验证 class 文件的运行时阶段。
- 对象装配
依据接口合同、实现绑定和依赖配置创建并连接对象生命周期。
- 运行服务
对象在 JVM、库和外部资源共同作用下提供可调用结果的状态。
练习
练习
问题 1： 为什么 class 文件能帮助 Java 跨平台，却不能保证所有平台的外部行为完全相同？
问题 2： 如果源码编译通过，但运行时出现类找不到，首先应检查哪一层？
问题 3： 接口声明存在但对象装配失败，为什么不能只修改业务方法？
本页小结
第2章 Java帝国的关键不是把 Java 说成万能平台，而是沿 Java源码、编译类文件、类加载、对象装配和运行服务保存边界证据。完成标准是能区分 class 文件合同、JVM 语义、库能力和外部环境，在最早偏离处修复，并用清空环境后的重放证明结果可复现。