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）由以下机制完成，与局部变量表无关：

• invokevirtual 指令根据引用实际指向的对象类型（运行时类型），查该类的方法表（vtable 或 itable）；
• JVM 在堆中对象头里存有类型指针（klass pointer），可快速定位具体类；
• 局部变量表里的 a 只提供初始引用，后续分派完全依赖对象实例自身的类型信息。

注意：数组引用、接口引用同理

哪怕声明为接口类型（Runnable r = new Thread();）或父类数组（Object[] arr = new String[1];），局部变量表仍只存引用值，类型信息仅用于编译检查和指令验证（如 checkcast、aload），不改变 slot 的物理存储结构。

Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南