Object c = new SomeClass();对应的JVM工作原理相关问题解析

核心问题1：JVM到底创建了哪个类的实例？ #

JVM创建的绝对是SomeClass类的实例，全程不会生成Object类的堆对象。
从字节码执行流程看，这行代码编译后的字节码里，new指令后面直接跟着常量池中SomeClass类的符号引用，根本和左边的Object类型没有关系。JVM执行到这个指令时的固定流程是：

• 校验常量池中的SomeClass符号引用，确认对应的类已经完成加载、链接、初始化全流程
• 从方法区的SomeClass类元数据中读取对象所需的内存大小（包含对象头、所有实例字段的总长度）
• 在堆内存（优先年轻代Eden区）申请连续内存块，将块内所有字段初始化为零值（数值类型为0、引用类型为null、布尔值为false）
• 执行SomeClass实例的构造方法，按代码逻辑给实例字段赋实际值
• 给对象头中的类型指针绑定方法区里SomeClass的元数据地址——从这一刻起，这个堆对象的实际类型就永久固定为SomeClass，不会因为引用变量的类型发生任何变化。

至于代码左边写的Object o，本质只是当前栈帧局部变量表里的一个槽位，这个槽位的编译期静态类型被定义为Object，它存储的仅仅是刚才分配的SomeClass堆对象的内存地址，不参与对象创建的任何决策过程。

核心问题2：为什么通过该引用无法访问SomeClass自定义的方法？ #

这个限制完全是编译期的静态类型校验规则导致的，和运行期堆里的对象是什么类型没有关系。
Java的方法访问逻辑是严格按两个维度区分的：

• 静态类型：就是写在引用变量左边的类型，是编译器做合法性校验的唯一依据。比如代码里o的静态类型是Object，编译器在编译阶段就会把这个引用可访问的范围，限定在Object类公开的方法、字段集合里——如果尝试调用SomeClass自定义的方法，编译器会直接抛出“找不到符号”的编译错误，代码根本无法走到JVM运行的阶段。
• 实际类型：是堆里对象真实的类类型，只在运行期的方法动态分派（也就是多态逻辑）时生效。比如SomeClass重写了Object的toString()方法，用Object类型的引用调用o.toString()时，JVM会顺着对象头里的类型指针找到SomeClass的方法表，执行SomeClass重写后的版本，这完全不依赖引用的静态类型。

简单类比：手里拿着的Object类型的引用，就像一张公共区域的门禁卡，能刷开所有对公众开放的门（Object类定义的方法），但刷不开住户家的私家门（SomeClass自定义的方法）——不是住户家的门不存在，是这张卡的权限没有覆盖到对应的范围，只要把引用强转回SomeClass类型，拿到对应权限的卡，就能正常调用自定义方法了。

内容的提问来源于stack exchange，提问作者Iago Saito