记录实用程序 一些围绕Java记录的实用程序类 在菜单上 地图特质 仅通过实现接口MapTrait将任何记录转换为java.util.Map record Person( String name, int age) implements MapTrait {} ... Map map = new Person ( " Bob " , 42 ); 特质 实施接口WithTrait添加了几种方法with这些方法允许复制记录实例并更新流程中的多个记录组件 record Person( S