🔥码云GVP开源项目 12k star Uniapp+ElementUI 功能强大 支持多语言、二开方便! 广告
结构体是一个创建更复杂数据类型的方法。例如,如果我们正在进行涉及到2D空间坐标的计算,我们将需要一个`x`和一个`y`值: ~~~ let origin_x = 0; let origin_y = 0; ~~~ 结构体让我们组合它们俩为一个单独,统一的数据类型: ~~~ struct Point { x: i32, y: i32, } fn main() { let origin = Point { x: 0, y: 0 }; // origin: Point println!("The origin is at ({}, {})", origin.x, origin.y); } ~~~ 这里有许多细节,让我们分开说。我们使用了`struct`关键字后跟名字来定义了一个结构体。根据传统,结构体使用大写字母开头并且使用驼峰命名法:`PointInSpace`而不要写成`Point_In_Space`。 想往常一样我们用`let`创建了一个结构体的实例,不过我们用`key: value`语法设置了每个字段。这里顺序不必和声明的时候一致。 最后,因为每个字段都有名字,我们可以访问字段通过圆点记法:`origin.x`。 结构体中的值默认是不可变的,就像Rust中其它的绑定一样。使用`mut`使其可变: ~~~ struct Point { x: i32, y: i32, } fn main() { let mut point = Point { x: 0, y: 0 }; point.x = 5; println!("The point is at ({}, {})", point.x, point.y); } ~~~ 上面的代码会打印`The point is at (5, 0)`。 Rust在语言级别不支持字段可变性,所以你不能像这么写: ~~~ struct Point { mut x: i32, y: i32, } ~~~ 可变性是绑定的一个属性,不是结构体自身的。如果习惯于字段级别的可变性,这开始可能看起来有点奇怪,不过他显著的简单化了问题。它甚至可以让你使变量只可变一小段时间: ~~~ struct Point { x: i32, y: i32, } fn main() { let mut point = Point { x: 0, y: 0 }; point.x = 5; let point = point; // this new binding can’t change now point.y = 6; // this causes an error } ~~~ ## 更新语法(Update syntax) 一个包含`..`的`struct`表明你想要使用一些其它结构体的拷贝的一些值。例如: ~~~ struct Point3d { x: i32, y: i32, z: i32, } let mut point = Point3d { x: 0, y: 0, z: 0 }; point = Point3d { y: 1, .. point }; ~~~ 这给了`point`一个新的`y`,不过保留了`x`和`z`的值。这也并不必要是同样的`struct`,你可以在创建新结构体时使用这个语法,并会拷贝你未指定的值: ~~~ let origin = Point3d { x: 0, y: 0, z: 0 }; let point = Point3d { z: 1, x: 2, .. origin }; ~~~ ## 元组结构体 Rust有像另一个[元组](http://doc.rust-lang.org/stable/book/primitive-types.html#tuples)和结构体的混合体的数据类型。元组结构体有一个名字,不过它的字段没有: ~~~ struct Color(i32, i32, i32); struct Point(i32, i32, i32); ~~~ 这两个是不会相等的,即使它们有一模一样的值: ~~~ let black = Color(0, 0, 0); let origin = Point(0, 0, 0); ~~~ 使用结构体几乎总是好于使用元组结构体。我们可以这样重写`Color`和`Point`: ~~~ struct Color { red: i32, blue: i32, green: i32, } struct Point { x: i32, y: i32, z: i32, } ~~~ 现在,我们有了名字,而不是位置。好的名字是很重要的,使用结构体,我们就可以设置名字。 不过有种情况元组结构体非常有用,就是当元组结构体只有一个元素时。我们管它叫_新类型_(_newtype_),因为你创建了一个与元素相似的类型: ~~~ struct Inches(i32); let length = Inches(10); let Inches(integer_length) = length; println!("length is {} inches", integer_length); ~~~ 如你所见,你可以通过一个解构`let`来提取内部的整形,就像我们在讲元组时说的那样,`let Inches(integer_length)`给`integer_length`赋值为`10`。 ## 类单元结构体(Unit-like structs) 你可以定义一个没有任何成员的结构体: ~~~ struct Electron; ~~~ 这样的结构体叫做“类单元”因为它与一个空元组类似,`()`,这有时叫做“单元”。就像一个元组结构体,它定义了一个新类型。 它自己单独很少有作用(虽然有时它可以作为一个标记类型),不过在与其它功能的结合中,它可以变得有用。例如,一个库可能请求你创建一个实现了一个特定特性的结构来处理事件。如果你并不需要在结构中存储任何数据,你可以仅仅创建一个类单元结构体。