08-结构体表达式

译文 · 基于 The Rust Reference

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

r[expr.struct]

结构体表达式

r[expr.struct.syntax]

StructExpression ->
    PathInExpression `{` (StructExprFields | StructBase)? `}`

StructExprFields ->
    StructExprField (`,` StructExprField)* (`,` StructBase | `,`?)

StructExprField ->
    OuterAttribute*
    (
        IDENTIFIER
      | (IDENTIFIER | TUPLE_INDEX) `:` Expression
    )

StructBase -> `..` Expression

r[expr.struct.intro] 结构体表达式用于创建结构体、枚举或联合体的值。它由指向结构体、枚举变体或联合体项的路径，后跟该项各字段的值组成。

以下是结构体表达式的示例：

1
2
3
4
5
6
7
8

## struct Point { x: f64, y: f64 }
## struct NothingInMe { }
## mod game { pub struct User<'a> { pub name: &'a str, pub age: u32, pub score: usize } }
## enum Enum { Variant {} }
Point {x: 10.0, y: 20.0};
NothingInMe {};
let u = game::User {name: "Joe", age: 35, score: 100_000};
Enum::Variant {};

注意 元组结构体和元组枚举变体通常通过引用[值命名空间中的构造器][items.struct.tuple]的[调用表达式][expr.call]来实例化。这与使用花括号、引用类型命名空间中构造器的结构体表达式不同。

1 2 3 4 5 6 7 8 9

struct Position(i32, i32, i32); Position(0, 0, 0); // 创建元组结构体的典型方式。 let c = Position; // `c` 是一个接受 3 个参数的函数。 let pos = c(8, 6, 7); // 创建一个 `Position` 值。 enum Version { Triple(i32, i32, i32) }; Version::Triple(0, 0, 0); let f = Version::Triple; let ver = f(8, 6, 7);

调用路径的最后一段不能引用类型别名：

1 2 3 4 5 6 7 8

trait Tr { type T; } impl<T> Tr for T { type T = T; } struct Tuple(); enum Enum { Tuple() } // <Unit as Tr>::T(); // 会报错 —— `::T` 是类型，不是值 <Enum as Tr>::T::Tuple(); // 可以

---

单元结构体和单元枚举变体通常通过引用[值命名空间中的常量][items.struct.unit]的[路径表达式][expr.path]来实例化。

1 2 3 4 5 6 7 8 9 10

struct Gamma; // Gamma 单元值，引用值命名空间中的常量。 let a = Gamma; // 与 `a` 完全相同的值，但使用引用类型命名空间的 // 结构体表达式构造。 let b = Gamma {}; enum ColorSpace { Oklch } let c = ColorSpace::Oklch; let d = ColorSpace::Oklch {};

r[expr.struct.field]

字段结构体表达式

r[expr.struct.field.intro] 用花括号括起字段的结构体表达式允许以任意顺序为每个字段指定值。字段名与其值之间用冒号分隔。

r[expr.struct.field.union-constraint] 联合体类型的值只能用这种语法创建，并且必须恰好指定一个字段。

r[expr.struct.update]

函数式更新语法

r[expr.struct.update.intro] 构造结构体类型值的结构体表达式可以以 .. 后跟一个表达式结尾，表示函数式更新。

r[expr.struct.update.base-same-type] .. 之后的表达式（基值）必须与正在构造的新结构体类型相同。

r[expr.struct.update.fields] 整个表达式对已指定的字段使用给定值，并从基值表达式中移动或复制其余字段。

r[expr.struct.update.visibility-constraint] 与所有结构体表达式一样，该结构体的所有字段都必须是可见的，即使那些未显式写出的字段也是如此。

1
2
3
4
5

## struct Point3d { x: i32, y: i32, z: i32 }
let mut base = Point3d {x: 1, y: 2, z: 3};
let y_ref = &mut base.y;
Point3d {y: 0, z: 10, .. base}; // 可以，只访问了 base.x
drop(y_ref);

r[expr.struct.brace-restricted-positions] 结构体表达式不能直接用在 loop 或 if 表达式的头部，也不能直接用作 if let 或 match 表达式的被检视表达式。不过，如果它们位于另一个表达式内部（例如在圆括号内），则可以在这些位置使用。

r[expr.struct.tuple-field] 字段名可以是十进制整数值，以指定构造元组结构体时的索引。这可以与基值结构体一起使用，以填充未指定的其余索引：

1
2
3
4

struct Color(u8, u8, u8);
let c1 = Color(0, 0, 0);  // 创建元组结构体的典型方式。
let c2 = Color{0: 255, 1: 127, 2: 0};  // 按索引指定字段。
let c3 = Color{1: 0, ..c2};  // 用基值结构体填充所有其它字段。

r[expr.struct.field.named]

结构体字段初始化简写

在用带名称（而非编号）的字段初始化数据结构（结构体、枚举、联合体）时，允许将 fieldname 写为 fieldname: fieldname 的简写。这样可以得到更紧凑、重复更少的语法。例如：

1
2
3
4
5
6

## struct Point3d { x: i32, y: i32, z: i32 }
## let x = 0;
## let y_value = 0;
## let z = 0;
Point3d { x: x, y: y_value, z: z };
Point3d { x, y: y_value, z };