结论：不逃逸的对象可触发JIT标量替换与栈上分配，消除堆开销、减GC压力、提缓存局部性；关键在于生命周期清晰、作用域封闭、无跨方法/线程/存储可见性。
直接说结论：不逃逸的对象能让 JIT 编译器做标量替换（Scalar Replacement）和栈上分配（Stack Allocation），从而消除堆分配开销、减少 GC 压力、提升缓存局部性——但“破坏逃逸路径”不是靠技巧性规避，而是让对象生命周期清晰、作用域封闭、无跨方法/线程/存储的可见性。
用局部作用域封住对象生命线
JIT（如 HotSpot 的 C2）能静态分析出对象仅在当前方法栈帧内被创建、使用、丢弃，且无引用泄露到外部，就判定为“不逃逸”。关键不是“没写 return”或“没赋给 static 字段”，而是整个控制流中没有任何路径能把该对象的引用传出去。
- 避免将局部对象传给任意可能逃逸的方法，比如 logger.debug("obj={}", obj) —— 即使你没显式 return，log 框架内部可能缓存、异步发送、触发 toString，导致逃逸分析失败
- 用原始类型或 final 局部变量替代包装对象，例如用 int x = p.x; int y = p.y; 替代全程持有 Point p = new Point(1, 2);
- 方法参数如果是对象，尽量不将其引用保存到局部变量再传递；若必须，确保接收方是已知不逃逸的内联方法（如 Objects.equals(a, b) 在 JDK9+ 被内联且不逃逸）
禁用反射、序列化、Lambda 捕获等隐式逃逸源
这些机制会绕过编译期可见的引用流，让逃逸分析“看不透”，直接保守判定为逃逸。
- 不用 Method.invoke() 或 Field.get() 访问局部对象；改用直接调用或预生成函数式接口实例
- 避免在 lambda 中捕获局部对象引用（如 Supplier<T> s = () -> localObj;），C2 当前对 lambda 捕获的逃逸分析支持有限，大概率判逃逸
- 不用 ObjectOutputStream 序列化局部对象；如需序列化语义，改用手动字段展开 + Unsafe 或值类（JDK 21+ sealed class + record 更易优化）
配合 JVM 参数验证与引导 JIT
逃逸分析默认开启（-XX:+DoEscapeAnalysis），但需确保它真在工作：
- 加 -XX:+PrintEscapeAnalysis 查看 C2 日志，确认对象被标记为 “allocates not escaped”
- 加 -XX:+PrintOptoAssembly（需 hsdis）观察是否出现标量替换后的寄存器操作，而非 new Object 指令
- 避免过早触发 C2 编译（如 -XX:CompileThreshold=100），确保方法足够热、逃逸分析有足够上下文；可配合 -XX:TypeProfileWidth=200 提升类型推断精度
用 record 和密封类收窄语义边界
JDK 14+ record 是不可变、透明的载体，JIT 更容易证明其无副作用；JDK 21+ 密封类进一步限制子类爆炸，利于类型特化。
- 把临时计算结构定义为 record Vec3(double x, double y, double z) {}，比 class Vec3 更易被标量替换
- 避免在 record 中添加非 final 字段、自定义 clone、重写 finalize —— 这些都会干扰逃逸判定
- 用 sealed interface Shape permits Circle, Rect 替代 Object，让模式匹配和内联更稳定，减少运行时类型检查带来的逃逸保守策略
真正契合 JIT 的代码，不是靠“破坏”什么路径，而是用清晰的契约告诉虚拟机：“这个对象，我只在这几行里用，用完即焚，谁也别想拿到它的地址。” JIT 听懂了，自然给你换成寄存器里的几个数字。
