将 Java 记录压缩构造函数转换为显式规范构造函数。