JEP 447 已发布，可在构造函数的 super()调用之前执行语句

2024-01-18 11:01

作者 | A N M Bazlur Rahman

译者 | 明知山

策划 | 丁晓昀

在评审结束后，JEP 447（super() 前置语句 (预览)）已在 JDK 22 中交付。该 JEP 来自 Project Amber 项目，提议允许在构造函数的 super() 调用之前出现不引用正在创建的实例的语句，并保留构造函数现有的安全性和初始化保证。Oracle 技术顾问成员 Gavin Bierman 为 Java 社区提供了这个 JEP 的初始规范，供社区评审并提供反馈意见。

传统上，要求 Java 构造函数将对另一个构造函数的显式调用作为第一条语句。这个约束确保了自上而下的执行顺序，并防止对未初始化字段的访问，极大地限制了构造函数逻辑的表达性和可读性。考虑下面的例子：

public class PositiveBigInteger extends BigInteger {
    public PositiveBigInteger(long value) {        super(value);               // Potentially unnecessary work        if (value <= 0)            throw new IllegalArgumentException("non-positive value");    }}

通过在调用超类构造函数之前验证其参数来声明快速失败的构造函数会更好。JEP 447 放宽了这些限制，允许在显式构造函数调用之前出现不引用正在创建的实例的语句。有了这个功能，上面的代码可以简化为：

public class PositiveBigInteger extends BigInteger {
    public PositiveBigInteger(long value) {        if (value <= 0)            throw new IllegalArgumentException("non-positive value");        super(value);    }}

考虑另一种情况，比如子类构造函数需要为超类构造函数准备参数。以前，由于超类构造函数调用必须作为第一条语句，这就需要使用辅助方法。

public class SubClass extends SuperClass {    public SubClass(Certificate certificate) {        super(prepareByteArray(certificate));    }
    private static byte[] prepareByteArray(Certificate certificate) {        // Logic to prepare byte array from certificate        // ...        return byteArray;    }}

在这个例子中，prepareByteArray 方法在将 Certificate 对象传递给 SuperClass 构造函数之前对它进行处理。有了 JEP 447，这个过程变得更加简洁和直观。

public class SubClass extends SuperClass {    public SubClass(Certificate certificate) {        // Directly include the logic to prepare byte array        PublicKey publicKey = certificate.getPublicKey();        if (publicKey == null) {            throw new IllegalArgumentException("Null certificate");        }        byte[] byteArray = switch (publicKey) {            case RSAPublicKey rsaKey -> rsaKey.getEncoded();            case DSAPublicKey dsaKey -> dsaKey.getEncoded();            default -> throw new UnsupportedOperationException("Unsupported key type");        };        super(byteArray);    }}