结构体是一个创建更复杂数据类型的方法。例如,如果我们正在进行涉及到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;
~~~
这样的结构体叫做“类单元”因为它与一个空元组类似,`()`,这有时叫做“单元”。就像一个元组结构体,它定义了一个新类型。
它自己单独很少有作用(虽然有时它可以作为一个标记类型),不过在与其它功能的结合中,它可以变得有用。例如,一个库可能请求你创建一个实现了一个特定特性的结构来处理事件。如果你并不需要在结构中存储任何数据,你可以仅仅创建一个类单元结构体。
- 前言
- 1.介绍
- 2.准备
- 2.1.安装Rust
- 2.2.Hello, world!
- 2.3.Hello, Cargo!
- 3.学习Rust
- 3.1.猜猜看
- 3.2.哲学家就餐问题
- 3.3.其它语言中的Rust
- 4.高效Rust
- 4.1.栈和堆
- 4.2.测试
- 4.3.条件编译
- 4.4.文档
- 4.5.迭代器
- 4.6.并发
- 4.7.错误处理
- 4.8.外部语言接口
- 4.9.Borrow 和 AsRef
- 4.10.发布途径
- 5.语法和语义
- 5.1.变量绑定
- 5.2.函数
- 5.3.原生类型
- 5.4.注释
- 5.5.If语句
- 5.6.for循环
- 5.7.while循环
- 5.8.所有权
- 5.9.引用和借用
- 5.10.生命周期
- 5.11.可变性
- 5.12.结构体
- 5.13.枚举
- 5.14.匹配
- 5.15.模式
- 5.16.方法语法
- 5.17.Vectors
- 5.18.字符串
- 5.19.泛型
- 5.20.Traits
- 5.21.Drop
- 5.22.if let
- 5.23.trait对象
- 5.24.闭包
- 5.25.通用函数调用语法
- 5.26.包装箱和模块
- 5.27.`const`和`static`
- 5.28.属性
- 5.29.`type`别名
- 5.30.类型转换
- 5.31.关联类型
- 5.32.不定长类型
- 5.33.运算符和重载
- 5.34.`Deref`强制多态
- 5.35.宏
- 5.36.裸指针
- 6.Rust开发版
- 6.1.编译器插件
- 6.2.内联汇编
- 6.3.不使用标准库
- 6.4.固有功能
- 6.5.语言项
- 6.6.链接参数
- 6.7.基准测试
- 6.8.装箱语法和模式
- 6.9.切片模式
- 6.10.关联常量
- 7.词汇表
- 8.学院派研究
- 勘误