# 裝箱語法和模式
> [box-syntax-and-patterns.md](https://github.com/rust-lang/rust/blob/master/src/doc/book/box-syntax-and-patterns.md)
commit 024aa9a345e92aa1926517c4d9b16bd83e74c10d
目前唯一穩定的創建`Box`的方法是通過`Box::new`方法。并且不可能在一個模式匹配中穩定的析構一個`Box`。不穩定的`box`關鍵字可以用來創建和析構`Box`。下面是一個用例:
~~~
#![feature(box_syntax, box_patterns)]
fn main() {
let b = Some(box 5);
match b {
Some(box n) if n < 0 => {
println!("Box contains negative number {}", n);
},
Some(box n) if n >= 0 => {
println!("Box contains non-negative number {}", n);
},
None => {
println!("No box");
},
_ => unreachable!()
}
}
~~~
注意這些功能目前隱藏在`box_syntax`(裝箱創建)和`box_patterns`(析構和模式匹配)gate 之后因為它的語法在未來可能會改變。
### 返回指針
在很多有指針的語言中,你的函數可以返回一個指針來避免拷貝大的數據結構。例如:
~~~
struct BigStruct {
one: i32,
two: i32,
// etc
one_hundred: i32,
}
fn foo(x: Box<BigStruct>) -> Box<BigStruct> {
Box::new(*x)
}
fn main() {
let x = Box::new(BigStruct {
one: 1,
two: 2,
one_hundred: 100,
});
let y = foo(x);
}
~~~
要點是通過傳遞一個裝箱,你只需拷貝了一個指針,而不是那構成了`BigStruct`的一百個`int`值。
上面是 Rust 中的一個反模式。相反,這樣寫:
~~~
#![feature(box_syntax)]
struct BigStruct {
one: i32,
two: i32,
// etc
one_hundred: i32,
}
fn foo(x: Box<BigStruct>) -> BigStruct {
*x
}
fn main() {
let x = Box::new(BigStruct {
one: 1,
two: 2,
one_hundred: 100,
});
let y: Box<BigStruct> = box foo(x);
}
~~~
這在不犧牲性能的前提下獲得了靈活性。
你可能會認為這會給我們帶來很差的性能:返回一個值然后馬上把它裝箱?難道這在哪里不都是最糟的嗎?Rust 顯得更聰明。這里并沒有拷貝。`main`為裝箱分配了足夠的空間,向`foo`傳遞一個指向他內存的`x`,然后`foo`直接向`Box<T>`中寫入數據。
因為這很重要所以要說兩遍:返回指針會阻止編譯器優化你的代碼。允許調用函數選擇它們需要如何使用你的輸出。
- 前言
- 貢獻者
- 1.介紹
- 2.準備
- 3.學習 Rust
- 3.1.猜猜看
- 3.2.哲學家就餐問題
- 3.3.其它語言中的 Rust
- 4.語法和語義
- 4.1.變量綁定
- 4.2.函數
- 4.3.原生類型
- 4.4.注釋
- 4.5.If語句
- 4.6.循環
- 4.7.所有權
- 4.8.引用和借用
- 4.9.生命周期
- 4.10.可變性
- 4.11.結構體
- 4.12.枚舉
- 4.13.匹配
- 4.14.模式
- 4.15.方法語法
- 4.16.Vectors
- 4.17.字符串
- 4.18.泛型
- 4.19.Traits
- 4.20.Drop
- 4.21.if let
- 4.22.trait 對象
- 4.23.閉包
- 4.24.通用函數調用語法
- 4.25.crate 和模塊
- 4.26.const和static
- 4.27.屬性
- 4.28.type別名
- 4.29.類型轉換
- 4.30.關聯類型
- 4.31.不定長類型
- 4.32.運算符和重載
- 4.33.Deref強制多態
- 4.34.宏
- 4.35.裸指針
- 4.36.不安全代碼
- 5.高效 Rust
- 5.1.棧和堆
- 5.2.測試
- 5.3.條件編譯
- 5.4.文檔
- 5.5.迭代器
- 5.6.并發
- 5.7.錯誤處理
- 5.8.選擇你的保證
- 5.9.外部函數接口
- 5.10.Borrow 和 AsRef
- 5.11.發布途徑
- 5.12.不使用標準庫
- 6.Rust 開發版
- 6.1.編譯器插件
- 6.2.內聯匯編
- 6.4.固有功能
- 6.5.語言項
- 6.6.鏈接進階
- 6.7.基準測試
- 6.8.裝箱語法和模式
- 6.9.切片模式
- 6.10.關聯常量
- 6.11.自定義內存分配器
- 7.詞匯表
- 8.語法索引
- 9.參考文獻
- 附錄:名詞中英文對照