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