元组类型
元组类型是其他类型的异构列表的一族结构类型1。
元组类型的语法由括号括起的、逗号分隔的类型列表构成。
1-元组需要在元素类型之后添加逗号，以与括号类型消除歧义。
元组类型的字段数量等于类型列表的长度。这个字段数量确定了元组的元数。具有 n 个字段的元组称为 n-元组。例如，具有 2 个字段的元组是 2-元组。
元组的字段使用提高的数字名称来命名，与其在类型列表中的位置对应。第一个字段是 0，第二个字段是 1，以此类推。每个字段的类型是元组类型列表中相同位置的类型。
为方便和历史原因，没有字段的元组类型（()）通常被称为单元类型。它的唯一值也称为单元值。
元组类型的一些示例：
()（单元）(i32,)（1-元组）(f64, f64)(String, i32)(i32, String)（与上一个示例不同类型）(i32, f64, Vec<String>, Option<bool>)
此类型的值使用元组表达式构造。此外，如果没有其他有意义的求值结果，各种表达式将产生单元值。