结构体表达式
语法
StructExpression :
StructExprStruct
| StructExprTuple
| StructExprUnitStructExprStruct :
PathInExpression{
(StructExprFields | StructBase)?}
StructExprFields :
StructExprField (,
StructExprField)* (,
StructBase |,
?)StructExprField :
OuterAttribute *
(
IDENTIFIER
| (IDENTIFIER | TUPLE_INDEX):
Expression
)StructBase :
..
ExpressionStructExprTuple :
PathInExpression(
( Expression (,
Expression)*,
? )?
)
StructExprUnit : PathInExpression
结构体表达式 创建一个 结构体(struct)、枚举(enum)或 联合体(union)的值。它由一个指向 结构体、枚举变体 或 联合体 项的路径,后跟该项的字段值组成。结构体表达式有三种形式:结构体(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); }
字段结构体表达式
带有花括号括起来的字段的结构体表达式允许您以任何顺序指定每个字段的值。字段名称与其值之间用冒号分隔。
联合体(union)类型的值只能使用此语法创建,并且必须精确指定一个字段。
函数式更新语法
构造结构体类型值的结构体表达式可以以 ..
语法结尾,后跟一个表达式来表示函数式更新。..
后面的表达式(基础表达式)必须与正在形成的新结构体类型具有相同的结构体类型。
整个表达式使用给定字段的值,并从基础表达式移动或复制其余字段。与所有结构体表达式一样,结构体的所有字段都必须是 可见的,即使是那些未显式命名的字段也是如此。
#![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); }
带有花括号的结构体表达式不能直接在 loop 或 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. }
结构体字段初始化简写
当使用命名字段(但不是编号字段)初始化数据结构(结构体、枚举、联合体)时,允许将 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`. }