Java多态下局部变量表只存对象引用而非对象本身，引用类型由声明的静态类型决定，多态仅影响运行时方法分派而不改变引用存储机制。
在 Java 多态场景下，JVM 栈帧的局部变量表中存储的**不是对象本身，而是指向堆中对象实例的引用（reference）**，且这个引用的存储方式与多态无关——它只取决于变量声明的静态类型（编译时类型），而非实际运行时的对象类型。
局部变量表存的是“引用值”，不是对象
Java 中所有非基本类型的局部变量（如 Animal a = new Dog();）在栈帧的局部变量表中占用一个或两个 slot（取决于 JVM 实现，通常为 1 个 slot），里面存的是一个**符号化或直接化的引用值**（可能是对象在堆中的起始地址，也可能是句柄池中的索引，取决于 GC 和 JVM 配置）。这个引用指向堆中真正的对象实例。多态不改变这个存储机制，只影响后续方法调用的解析和分派逻辑。
静态类型决定局部变量表 slot 的类型和大小
局部变量表是编译期确定的，由变量声明的类型决定：
Java Maven Common
下载
Java Maven 项目审查工作流的通用输入处理。当 Java Maven 项目以 ZIP压缩包或 GitLab 仓库 URL 形式提供且需要...时使用。
- Animal a = new Dog(); → 局部变量表中为 a 分配 slot，类型记录为 Animal（即类符号引用），但 slot 内容仍是普通对象引用值；
- Dog d = new Dog(); → 同样分配 slot，类型记录为 Dog；
- 两者在局部变量表中存储形式完全一致：都是 32 位或 64 位的引用值（与平台相关），没有“多态标记”或类型擦除痕迹。
多态的影响发生在运行期方法调用，不在局部变量表
局部变量表只负责保存引用，而多态的核心行为（如 a.sound() 调用的是 Dog::sound 而非 Animal::sound）由以下机制完成，与局部变量表无关：
立即学习“Java免费学习笔记（深入）”；
- invokevirtual 指令根据引用实际指向的对象类型（运行时类型），查该类的方法表（vtable 或 itable）；
- JVM 在堆中对象头里存有类型指针（klass pointer），可快速定位具体类；
- 局部变量表里的 a 只提供初始引用，后续分派完全依赖对象实例自身的类型信息。
注意：数组引用、接口引用同理
哪怕声明为接口类型（Runnable r = new Thread();）或父类数组（Object[] arr = new String[1];），局部变量表仍只存引用值，类型信息仅用于编译检查和指令验证（如 checkcast、aload），不改变 slot 的物理存储结构。
