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