使用Java的新记录关键字对#Java类型进行功能性设计，以确保每个构造的对象都是合法的值