非静态内部类必然持有外部类强引用，因编译器强制注入final字段this$0，该字段在字节码中可见、反射可获取、内存布局中真实占用4或8字节，并构成线程等场景下的内存泄漏强引用链。
直接看字节码，就能确认非静态内部类是否持有外部类引用——这不是设计选择，而是 jvm 编译器强制注入的物理事实。
javap -p -c 看见 this$0 字段和构造器赋值
编译后，每个非静态内部类都会多出一个包级可见的 final 字段，名字通常是 this$0。用 javap -p -c Outer$Inner 可以清晰看到：
- 字段声明行：
final Outer this$0; - 构造器第一行：
aload_0（加载 this）后紧跟aload_1（加载传入的 Outer 实例），再执行putfield #2把它存进this$0 - 所有对外部类成员的访问，比如
getfield #3，实际操作的是this$0.x，而非直接读当前对象
反射也能抓到这个隐藏引用
运行时用反射获取字段，Inner.class.getDeclaredFields() 返回的数组里，第一个元素往往就是 this$0。它的类型是 Outer.class，修饰符是 ACC_FINAL | ACC_SYNTHETIC，说明它是编译器合成、不可修改的强引用。
JOL 打印内存布局，4 或 8 字节不会说谎
用 Java Object Layout 工具创建一个内部类实例：new Outer().new Inner()，打印其内存布局。你会发现：
- 对象头之后紧跟着一个 4 字节（开启指针压缩）或 8 字节（未开启）的引用字段
- 这个字段的位置、大小、对齐方式，完全符合 JVM 对普通对象字段的布局规则
- 它不是“逻辑上存在”，而是真实占用堆内存的物理字段
线程场景下，this$0 就是泄漏链的起点
当内部类被用作 Runnable 提交到线程池，或作为监听器注册到全局组件时，this$0 构成了一条强引用链：Thread → Runnable → this$0 → Outer 实例。只要线程还持有该 Runnable，Outer 就无法被 GC 回收——哪怕你早已不再需要它。
这种持有关系不依赖代码显式写法，也不受作用域限制，是字节码层面固化下来的内存拓扑结构。
