为何Java Record紧凑构造函数抛出异常无Unreachable statement警告？

我定义了一个带有紧凑构造函数的Record类，代码如下：

public record myRecord(int i) {
    public myRecord {
        throw new RuntimeException();
    }

    public static void main(String[] args) {
        var v = new myRecord(1);
    }
}

我原本认为该Record类等价于以下普通类——仅需在紧凑构造函数中添加逻辑，编译器会自动完成赋值操作：

class testClass{
    int i;

    public testClass(int i) {
        throw new RuntimeException();
        this.i = i;
    }
}

但实际情况是：普通类中this.i = i;会收到“Unreachable statement”警告，而Record类却无此警告，该如何解释这一差异？

问题解答 #

核心原因在于Record紧凑构造函数的执行逻辑和普通构造函数完全不同：

1. 普通类构造函数的不可达问题 #

你写的普通类构造函数里，throw new RuntimeException();之后的this.i = i;是实实在在的代码，JVM明确判定这行代码永远不会被执行，因此编译器直接抛出“不可达语句”警告。

2. Record紧凑构造函数的特殊处理 #

Record的紧凑构造函数并不是简单把你写的逻辑和自动生成的赋值代码拼接在一起。编译器会智能处理成员赋值的时机：

• 当你的紧凑构造函数里存在提前抛出异常的逻辑时，编译器不会生成后续的成员赋值代码——因为它知道这些赋值永远不会被执行，自然不会出现不可达语句。
• 只有当紧凑构造函数正常执行完你写的逻辑后，编译器才会自动插入成员变量的赋值代码。

换句话说，你写的紧凑构造函数更像是“构造前置校验逻辑”，编译器会根据这段逻辑的分支，决定是否生成后续的赋值代码，而不是无脑追加代码导致不可达问题。

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