结构体表达式

语法
StructExpression :
      StructExprStruct
   | StructExprTuple
   | StructExprUnit

StructExprStruct :
   PathInExpression { (StructExprFields | StructBase)? }

StructExprFields :
   StructExprField (, StructExprField)* (, StructBase | ,?)

StructExprField :
   OuterAttribute *
   (
         IDENTIFIER
      | (IDENTIFIER | TUPLE_INDEX) : Expression
   )

StructBase :
   .. Expression

StructExprTuple :
   PathInExpression (
      ( Expression (, Expression)* ,? )?
   )

StructExprUnit : PathInExpression

结构体表达式*创建一个结构体、枚举或联合体的值。它由指向结构体、枚举变体或联合体项的路径以及该项字段的值组成。结构体表达式有三种形式：struct、tuple 和 unit。

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

#![allow(unused)]
fn main() {
struct Point { x: f64, y: f64 }
struct NothingInMe { }
struct TuplePoint(f64, f64);
mod game { pub struct User<'a> { pub name: &'a str, pub age: u32, pub score: usize } }
struct Cookie; fn some_fn<T>(t: T) {}
Point {x: 10.0, y: 20.0};
NothingInMe {};
TuplePoint(10.0, 20.0);
TuplePoint { 0: 10.0, 1: 20.0 }; // Results in the same value as the above line
let u = game::User {name: "Joe", age: 35, score: 100_000};
some_fn::<Cookie>(Cookie);
}

字段结构体表达式

使用花括号括起字段的结构体表达式允许你以任意顺序指定每个字段的值。字段名称与其值之间用冒号分隔。

联合体类型的值只能使用这种语法创建，并且必须且仅指定一个字段。

函数式更新语法

构造结构体类型值的结构体表达式可以以语法 `..` 结尾，后面跟着一个表达式来表示函数式更新。

`..` 后面的表达式（基准）必须与正在形成的新结构体类型具有相同的结构体类型。

整个表达式使用为已指定字段提供的值，并从基准表达式中移动或复制剩余字段。

与所有结构体表达式一样，结构体的所有字段都必须是可见的，即使是没有显式命名的字段也是如此。

#![allow(unused)]
fn main() {
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}; // OK, only base.x is accessed
drop(y_ref);
}

带花括号的结构体表达式不能直接用于循环或if表达式的头部，也不能用于if let或match表达式的匹配对象。然而，如果结构体表达式位于另一个表达式内，例如在圆括号内部，则可以在这些情况下使用。

字段名称可以是十进制整数值，用于指定构造元组结构体的索引。这可以与基准结构体一起使用，以填充未指定的剩余索引。

#![allow(unused)]
fn main() {
struct Color(u8, u8, u8);
let c1 = Color(0, 0, 0);  // Typical way of creating a tuple struct.
let c2 = Color{0: 255, 1: 127, 2: 0};  // Specifying fields by index.
let c3 = Color{1: 0, ..c2};  // Fill out all other fields using a base struct.
}

结构体字段初始化简写

当初始化具有命名（但非编号）字段的数据结构体（struct、enum、union）时，允许将 `fieldname` 写成 `fieldname: fieldname` 的简写形式。这使得语法更紧凑，减少了重复。例如

#![allow(unused)]
fn main() {
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 };
}

元组结构体表达式

用圆括号括起字段的结构体表达式构造一个元组结构体。虽然为了完整性在此列出它作为一种特定的表达式，但它等同于对元组结构体的构造器进行调用表达式。例如

#![allow(unused)]
fn main() {
struct Position(i32, i32, i32);
Position(0, 0, 0);  // Typical way of creating a tuple struct.
let c = Position;  // `c` is a function that takes 3 arguments.
let pos = c(8, 6, 7);  // Creates a `Position` value.
}

单元结构体表达式

单元结构体表达式仅是到单元结构体项的路径。它指的是单元结构体的值的隐式常量。单元结构体值也可以通过无字段的结构体表达式来构造。例如

#![allow(unused)]
fn main() {
struct Gamma;
let a = Gamma;  // Gamma unit value.
let b = Gamma{};  // Exact same value as `a`.
}