java - 如何将 Java 记录的构造函数设为私有？

Question

通过创建 Java 记录

public record Rec(String foo, int bar) {}

一个也得到一个

其签名来自记录组件列表的公共构造函数

可以通过所谓的紧凑构造函数来改进此构造函数的行为

public record Rec(String foo, int bar) {
    public Rec { /* ... */ }
}

但是，不起作用的是将构造函数设为私有。

public record Rec(String foo, int bar) {
    private Rec { }
}

java：Rec 记录中的无效规范构造函数（试图分配更强的访问权限；是公开的）

有什么方法可以使记录的构造函数私有？

万一有人在想为什么会做这样的事情。该记录应与建设者一起扩展。要强制使用构建器，构造函数应该是私有的。