关于value classes中final字段、larval实例与VM行为的疑问

JVM对值类确实存在特殊处理，这正是两种说法看似矛盾的核心原因，具体拆解如下：

• 普通类的final字段安全初始化规则
  Shipilev提到的安全初始化规则针对普通类：当普通类的final字段在构造器中完成初始化后，JMM会保证所有线程看到的都是该字段的最终初始化值，哪怕对象未通过安全发布机制传递。这里的前提是普通类的final字段在构造器中只能被赋值一次——一旦赋值完成就无法修改，JVM可通过内存屏障等机制确保可见性。

• 值类的特殊构造逻辑与larval实例
  值类（比如Java 16的record、Project Valhalla中的value class）以值语义为核心，JVM会对其做特殊优化：比如传递值类实例时，可能直接复制字段值而非传递对象引用。这种优化带来特殊需求：值类构造器执行过程中，可能需要临时修改final字段存储中间状态——这并非指值类final字段可随意修改，而是JVM会在构造过程中创建临时的「larval实例」（未完全初始化的实例）承载中间值，直到构造完成后，final字段才会固定为最终值。

  这种临时修改是值类特有的优化逻辑，目的是支持值语义下的高效构造与传递，并不违反普通类的安全初始化规则——larval实例仅存在于构造过程中，不会被发布到其他线程，构造完成后的最终值类实例依然遵循final字段的安全可见性规则。

• 两者的矛盾本质是场景差异
  Shipilev的规则描述的是完全初始化后对象的可见性保证，而Remi提到的是构造过程中的临时状态。二者互不冲突：值类final字段在构造完成后仍符合安全初始化规则；构造过程中的临时修改是JVM为值类优化做的特殊处理，不会影响最终实例的安全性。

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