Java String 的不可变性是类加载机制安全运行的底层前提,保障类名在双亲委派、字节码验证、签名检查、模块解析及包访问控制等全过程恒定不变,防止恶意篡改与共享污染。

Java String 的不可变性在类加载器中不是“被应用”的功能,而是整个类加载机制能安全运行的底层前提。它不靠主动调用,而靠设计契约保障每一步都不被破坏。
类名作为关键元数据必须恒定
类加载器(如 BootstrapClassLoader、AppClassLoader)通过全限定类名(例如 "java.util.ArrayList")定位并加载对应的 .class 文件。这个字符串一旦传入,就参与双亲委派、字节码验证、签名检查、模块解析等全过程。如果它可变,一个线程刚把 "javax.crypto.Cipher" 传给 findClass(),另一线程立刻把它改成 "evil.HackedCipher",JVM 就可能加载恶意类。
防止双亲委派链中途被污染
类加载流程中,类名字符串会在多个加载器之间传递。比如 AppClassLoader 委托 ExtClassLoader 加载某个扩展类,再往上委托 BootstrapClassLoader。每个环节都依赖原始类名不变:
当用户要求为 Java 代码添加注释、修改注释、审查注释、整理注释格式,或要求按照代码注释规范处理 Java 文件时,使用本技能。本技能用于统一生成和维护 Java 类注释模板、按 Git 对比 release 判断版本号、补充每行代码上方中文块注释、调整注释空行规则,并保持 Java 文件 UTF-8 无 BOM 编码。典型触发场景包括:补充类注释、更新 @version、检查 @author 来源、整理行尾注释、把注释放到代码上一行、检查注释是否符合规范、构建前检查 Java 注释风格。
- 若 String 可变,攻击者可通过反射修改类名引用,绕过 SecurityManager 对 "java.*" 包的保护
- 包访问控制(checkPackageAccess)也基于类名字符串判断是否属于受限包,篡改后权限校验形同虚设
- 模块系统(ModuleLayer)解析 requires "java.base" 这类声明时,同样依赖字符串字面量的语义稳定性
与常量池协同,避免共享污染
编译期生成的类名字面量(如 ldc "com.example.Service")会进入运行时常量池。JVM 允许多个类共享同一个字符串实例,正因它不可变:
立即学习“Java免费学习笔记(深入)”;
- 若两个类都引用 "java.lang.Object",它们指向常量池中同一对象,不会因某处调用 replace() 导致另一处类加载失败
- 类加载器内部缓存(如 defineClass 的结果映射)也以 String 为 key,哈希值稳定,查找不漂移
安全边界由不可变性自然划定
类加载不是孤立操作,它嵌入在更广的安全链中:
- 字节码验证器检查 invokespecial 指令的目标类名是否合法,该字符串来自常量池,不可篡改
- 签名验证(如 JAR 签名)比对的是类名 + 字节码摘要,类名若可变,摘要就失去锚点
- 安全管理器在 loadClass 前后做钩子检查,所有判断依据都是原始传入的 String,没有防御性拷贝成本

















