07-元组与索引表达式

译文 · 基于 The Rust Reference

原文链接: https://doc.rust-lang.org/reference/expressions/tuple-expr.html

r[expr.tuple]

元组与索引表达式

元组表达式

r[expr.tuple.syntax]

TupleExpression -> `(` TupleElements? `)`

TupleElements -> ( Expression `,` )+ Expression?

r[expr.tuple.result] 元组表达式用于构造元组值。

r[expr.tuple.intro] 元组表达式的语法是用圆括号括起的、以逗号分隔的表达式列表，这些表达式称为元组初始化操作数。

r[expr.tuple.unary-tuple-restriction] 一元元组表达式必须在其元组初始化操作数后加逗号，以便与圆括号表达式区分。

r[expr.tuple.value] 元组表达式是值表达式，求值结果是新构造的元组类型值。

r[expr.tuple.type] 元组初始化操作数的个数就是所构造元组的元数。

r[expr.tuple.unit] 没有任何元组初始化操作数的元组表达式产生单元元组。

r[expr.tuple.fields] 对其它元组表达式，最先书写的元组初始化操作数初始化字段 0，后续操作数依次初始化下一个更高编号的字段。例如，在元组表达式 ('a', 'b', 'c') 中，'a' 初始化字段 0 的值，'b' 初始化字段 1，'c' 初始化字段 2。

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

r[expr.tuple-index]

元组索引表达式

r[expr.tuple-index.syntax]

TupleIndexingExpression -> Expression `.` TUPLE_INDEX

r[expr.tuple-index.intro] 元组索引表达式用于访问元组和元组结构体的字段。

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

r[expr.tuple-index.index-syntax] 元组索引的语法是不含前导零、下划线或后缀的十进制字面量。例如 0 和 2 是合法的元组索引，但 01、0_ 和 0i32 都不是。

r[expr.tuple-index.required-type] 元组操作数的类型必须是元组类型或元组结构体。

r[expr.tuple-index.index-name-operand] 元组索引必须是该元组操作数类型中某个字段的名称。

r[expr.tuple-index.result] 元组索引表达式的求值除求值其元组操作数外没有其它副作用。作为位置表达式，它求值为元组操作数中与该元组索引同名的字段所在位置。

元组索引表达式的示例：

1
2
3
4
5
6
7
8
9

// 索引元组
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);

注意 与字段访问表达式不同，元组索引表达式可以作为调用表达式的函数操作数，因为它不会与方法调用混淆——方法名不能是数字。

注意 尽管数组和切片也有元素，但必须使用数组或切片索引表达式或切片模式来访问它们的元素。