2.7.4　记录构造函数

记录构造函数（Record Constructor Function）针对受限类记录（record），是创建并返回记录的函数。记录构造函数并不需要用户显式定义，定义了一个记录类型就隐式定义了一个与记录同名并且作用域相同的记录构造函数；记录中所有可以修改的成员作为记录构造函数的输入形参，不能修改（如有constant和final前缀）的参数作为protected区域中的临时变量；输出形参是与记录相同类型的变量，所有输入形参的值用来设置输出形参的值。

记录Complex是表示复数的数据结构：

同时，下面的记录构造函数被隐式定义：

其中，输出形参_out通过输入形参re和im以变形的方式设置其值，不能与Complex中的所有元素重名。

记录构造函数与用户定义的函数调用方式相同，例如：

当然，上面的记录构造函数调用完全可以用变形的方式实现，这样使用是为了说明记录构造函数的使用。