问题现象record 类型通常靠规范构造器来把守不变式,比如禁止名字为空:publicrecordUser(Stringname){publicUser{if(name==null||name