# 泛型 > [generics.md](https://github.com/rust-lang/rust/blob/master/src/doc/book/generics.md) commit 6ba952020fbc91bad64be1ea0650bfba52e6aab4 有時，當你編寫函數或數據類型時，我們可能會希望它能處理多種類型的參數。幸運的是，Rust有一個能給我們更好選擇的功能：泛型。泛型在類型理論中叫做*參數多態*（*parametric polymorphism*），它意味著它們是對于給定參數（parametric）能夠有多種形式（`poly`是多，`morph`是形態）的函數或類型。 不管怎么樣，類型理論就說這么多，現在我們來看些泛型代碼。Rust 標準庫提供了一個范型的類型——`Option<T>`： ~~~ enum Option<T> { Some(T), None, } ~~~ 之前你已見過幾次的`<T>`部分代表它是一個泛型數據類型。在上面的枚舉聲明中，每當我們看到`T`，我們用這個類型代替我們泛型中使用的類型。下面是一個使用`Option<T>`的例子，它帶有額外的類型標注： ~~~ let x: Option<i32> = Some(5); ~~~ 在類型聲明中，我們看到`Option<i32>`。注意它與`Option<T>`的相似之處。在這個特定的`Option`中，`T`的值為`i32`。在綁定的右側，我們用了`Some(T)`，其中`T`是`5`。因為它是`i32`型的，兩邊類型相符，所以皆大歡喜。如果不相符，我們會得到一個錯誤： ~~~ let x: Option<f64> = Some(5); // error: mismatched types: expected `core::option::Option<f64>`, // found `core::option::Option<_>` (expected f64 but found integral variable) ~~~ 這并不意味著我們不能寫用`f64`的`Option<T>`！只是類型必須相符： ~~~ let x: Option<i32> = Some(5); let y: Option<f64> = Some(5.0f64); ~~~ 這樣就好了。一處定義，到處使用。 不一定只有一個類型是泛型的。想想Rust標準庫中另一個類似的`Result<T, E>`類型： ~~~ enum Result<T, E> { Ok(T), Err(E), } ~~~ 這里有兩個泛型類型：`T`和`E`。另外，大寫字母可以是任何你喜歡的（大寫）字母。我們可以定義`Result<T, E>`為： ~~~ enum Result<A, Z> { Ok(A), Err(Z), } ~~~ 如果你想這么做的話。慣例告訴我們第一個泛型參數應該是`T`，代表`type`，然后我們用`E`來代表`error`。然而，Rust并不管這些。 `Result<T, E>`意圖作為計算的返回值，并為了能夠在不能工作時返回一個錯誤。 ### 泛型函數 我們可以用熟悉的語法編寫一個獲取泛型參數的函數： ~~~ fn takes_anything<T>(x: T) { // do something with x } ~~~ 語法有兩部分：`<T>`代表“這個函數帶有一個泛型類型”，而`x: T`代表“`x`是`T`類型的”。 多個參數可以有相同的泛型類型： ~~~ fn takes_two_of_the_same_things<T>(x: T, y: T) { // ... } ~~~ 我們可以寫一個獲取多個（泛型）類型的版本： ~~~ fn takes_two_things<T, U>(x: T, y: U) { // ... } ~~~ ### 泛型結構體（Generic structs） 你也可以在一個`struct`中儲存泛型類型： ~~~ struct Point<T> { x: T, y: T, } let int_origin = Point { x: 0, y: 0 }; let float_origin = Point { x: 0.0, y: 0.0 }; ~~~ 與函數類似，`<T>`是我們聲明的泛型參數，而我們也接著在類型定義中使用`x: T`。 當你想要給泛型`struct`增加一個實現時，你可以在`impl`聲明類型參數： ~~~ # struct Point<T> { # x: T, # y: T, # } # impl<T> Point<T> { fn swap(&mut self) { std::mem::swap(&mut self.x, &mut self.y); } } ~~~ 目前為止你已經見過了支持幾乎任何類型的泛型。他們在很多地方都是有用的：你已經見過了`Option<T>`，接下來你還將見到像[`Vec<T>`](http://doc.rust-lang.org/std/vec/struct.Vec.html)這樣的通用容器類型。另一方面，通常你想要用靈活性去換取更強的表現力。閱讀[trait bound](#)章節來了解為什么和如何做。