紧凑构造器 Compact constructor

省略参数列表，并接收隐式组件参数的记录类规范构造器。