大部分類型有一個特定的大小,以字節為單位,它們在編譯時是已知的。例如,一個`i32`是32位大,或者4個字節。然而,這里有些類型有益于表達,缺沒有一個定義的大小。它們叫做“不定長”或者“動態大小”類型。一個例子是`[T]`。這個類型代表一個特定數量`t`的序列。不過我們并不知道有多少,所以大小是未知的。
Rust知道幾個這樣的類型,不過它們有一些限制。這有三個:
1. 我們只能通過指針操作一個不定長類型的實例。`&[T]`剛好能正常工作,不過`[T]`不行。一個`&[T]`能正常工作,不過一個`[T]`不行。
2. 變量和參數不能擁有動態大小類型。
3. 只有一個`struct`的最后一個字段可能擁有一個動態大小類型;其它字段必須不能。枚舉變量必須不能用動態大小類型作為數據。
所以為什么這很重要?好吧,因為`[T]`只能用在一個指針之后,如果我們沒有對不定長類型的語言支持,它將不可能這么寫:
~~~
impl Foo for str {
~~~
或者
~~~
impl<T> Foo for [T] {
~~~
相反,你將不得不這么寫:
~~~
impl Foo for &str {
~~~
意味深長的是,這個實現將只能用于[引用](http://doc.rust-lang.org/nightly/book/references-and-borrowing.html),并且不能用于其它類型的指針。通過`impl for str`,所有指針,包括(在一些地方,這里會有bug需要修復)用戶自定義的智能指針,可以使用這個`impl`。
## `?Sized`
如果你想要寫一個接受動態大小類型的函數,你可以使用這個特殊的限制,`?Sized`:
~~~
struct Foo<T: ?Sized> {
f: T,
}
~~~
這個`?`,讀作“`T`可能是`Sized`的”,意味著這個限制是特殊的:它讓我們的匹配更寬松,而不是相反。這幾乎像每個`T`都隱式擁有`T: Sized`一樣,`?`放松了這個默認(限制)。
- 前言
- 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.學院派研究
- 勘誤