Java类加载机制通过双亲委派模型、类唯一性判定（全限定名+加载器实例）和四阶段字节码验证协同保障安全性与唯一性，初始化阶段还提供线程安全的单次执行保障。
Java 类加载机制通过双亲委派模型、类唯一性判定规则和字节码验证三重手段，协同保障代码安全性与唯一性。核心不在于“防止所有风险”，而是在关键路径上设置不可绕过的防线。
双亲委派模型筑牢信任边界
该模型强制类加载请求逐级向上委托：应用类加载器 → 平台类加载器 → 启动类加载器。只有父加载器明确无法找到类（如在对应路径下无.class文件），子加载器才尝试加载。
- 确保 java.lang.String、java.util.ArrayList 等核心类始终由启动类加载器加载，杜绝用户自定义同名类替换JDK原生实现
- 避免同一应用中因不同加载器重复加载相同全限定名类，导致 ClassCastException 或静态变量多份副本问题
- 天然形成“信任等级”结构：越靠近顶层的加载器，加载的类越受信任；越底层的加载器，作用域越受限
类唯一性由“全限定名 + 加载器实例”共同决定
JVM 不以类名或字节码内容为唯一标识，而是将“类的全限定名”与“加载它的类加载器对象”绑定为一个整体。两个加载器实例即使加载完全相同的字节码，也会被视为两个独立类。
- 这意味着 com.example.Service 被 Tomcat 的 WebAppClassLoader 加载后，不能被另一个 WebAppClassLoader 实例加载的同名类替代或共享
- 模块隔离（如 OSGi、Jigsaw）正是依赖这一机制实现类空间的物理隔离
- 打破双亲委派（如 SPI 中的线程上下文类加载器）需格外谨慎，否则可能引入冲突或安全盲区
字节码验证在加载早期拦截非法行为
验证阶段不是可选步骤，而是连接过程的强制环节，分为四层校验：
- 文件格式验证：检查魔数（0xCAFEBABE）、主次版本号、常量池结构等，过滤明显损坏或伪造的 class 文件
- 元数据验证：确认类继承关系合法（如 final 类未被继承）、字段/方法访问标志合规、接口方法不带 static 修饰符等
- 字节码验证：模拟执行控制流，推断操作数栈与局部变量表类型状态，确保不会发生非法类型转换或空指针隐式触发
- 符号引用验证：检查常量池中对其他类、字段、方法的引用是否可访问（如跨包调用 private 方法会被拒绝）
初始化阶段提供线程安全的单次执行保障
类的静态初始化块（
- 防止静态资源（如配置缓存、连接池、单例实例）被并发初始化导致状态混乱
- 避免因多次执行静态赋值造成内存泄漏或逻辑错误（例如重复注册监听器）
- 静态内部类单例模式正是利用此特性，在首次访问时安全构建唯一实例
Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南
