元组和元组索引表达式

元组表达式

元组表达式构造元组值。

元组表达式的语法是用括号括起来的、以逗号分隔的表达式列表，称为元组初始化操作数。

1 元元组表达式需要在其元组初始化操作数后面加一个逗号，以消除与括号表达式的歧义。

元组表达式是值表达式，求值为一个新构造的元组类型值。

元组初始化操作数的数量是所构造元组的元数。

没有任何元组初始化操作数的元组表达式产生单元元组。

对于其他元组表达式，第一个写入的元组初始化操作数初始化字段 0，后续操作数初始化下一个更高编号的字段。例如，在元组表达式 ('a', 'b', 'c') 中，'a' 初始化字段 0 的值，'b' 初始化字段 1，'c' 初始化字段 2。

元组表达式及其类型示例：

元组索引表达式

元组索引表达式访问元组和元组结构体的字段。

元组索引表达式的语法是一个表达式（称为元组操作数），后跟一个 .，最后是一个元组索引。

元组索引的语法是一个十进制字面量，没有前导零、下划线或后缀。例如 0 和 2 是有效的元组索引，但 01、0_ 和 0i32 不是。

元组操作数的类型必须是元组类型或元组结构体。

元组索引必须是元组操作数类型的一个字段名。

元组索引表达式的求值除了求值其元组操作数外没有副作用。作为位置表达式，它求值为元组操作数中与元组索引同名的字段的位置。

元组索引表达式示例：

#![allow(unused)]
fn main() {
// 索引元组
let pair = ("a string", 2);
assert_eq!(pair.1, 2);

// 索引元组结构体
struct Point(f32, f32);
let point = Point(1.0, 0.0);
assert_eq!(point.0, 1.0);
assert_eq!(point.1, 0.0);
}