結構體是一個創建更復雜數據類型的方法。例如,如果我們正在進行涉及到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.學院派研究
- 勘誤