🎃个人专栏：
🐬 算法设计与分析：算法设计与分析_IT闫的博客-CSDN博客
🐳Java基础：Java基础_IT闫的博客-CSDN博客
🐋c语言：c语言_IT闫的博客-CSDN博客
🐟MySQL：数据结构_IT闫的博客-CSDN博客
🐠数据结构：数据结构_IT闫的博客-CSDN博客
💎C++：C++_IT闫的博客-CSDN博客
🥽C51单片机：C51单片机（STC89C516）_IT闫的博客-CSDN博客
💻基于HTML5的网页设计及应用：基于HTML5的网页设计及应用_IT闫的博客-CSDN博客
🥏python：python_IT闫的博客-CSDN博客
🐠离散数学：离散数学_IT闫的博客-CSDN博客
🥽Linux：Linux_Y小夜的博客-CSDN博客
🚝Rust：Rust_Y小夜的博客-CSDN博客
欢迎收看，希望对大家有用！
🎯提取函数消除重复代码
泛型允许我们使用一个可以代表多种类型的占位符来替换特定类型，以此来减少代码冗余。在深入了解泛型的语法之前，我们首先来看一种没有使用泛型的减少冗余的方法，即提取一个函数。在这个函数中，我们用一个可以代表多种值的占位符来替换具体的值。接着我们使用相同的技术来提取一个泛型函数！！通过学习如何识别并提取可以整合进一个函数的重复代码，你也会开始识别出可以使用泛型的重复代码。fn main() { let number_list = vec![34, 50, 25, 100, 65]; let mut largest = &number_list[0]; for number in &number_list { if number > largest { largest = number; } } println!("The largest number is {}", largest); }这段代码获取一个整型列表，存放在变量number_list中。它将列表的第一个数字的引用放入了变量
largest中。接着遍历了列表中的所有数字，如果当前值大于
largest中储存的值，将
largest替换为这个值。如果当前值小于或者等于目前为止的最大值，
largest保持不变。当列表中所有值都被考虑到之后，
largest将会指向最大值，在这里也就是 100。
为了消除重复，我们要创建一层抽象，定义一个处理任意整型列表作为参数的函数。这个方案使得代码更简洁，并且表现了寻找任意列表中最大值这一概念。fn largest(list: &[i32]) -> &i32 { let mut largest = &list[0]; for item in list { if item > largest { largest = item; } } largest } fn main() { let number_list = vec![34, 50, 25, 100, 65]; let result = largest(&number_list); println!("The largest number is {}", result); let number_list = vec![102, 34, 6000, 89, 54, 2, 43, 8]; let result = largest(&number_list); println!("The largest number is {}", result); }largest函数有一个参数
list，它代表会传递给函数的任何具体的
i32值的 slice。函数定义中的
list代表任何
&[i32]。当调用
largest函数时，其代码实际上运行于我们传递的特定值上。
涉及的机制经历了如下几步：
找出重复代码。
将重复代码提取到了一个函数中，并在函数签名中指定了代码中的输入和返回值。
将重复代码的两个实例，改为调用函数。
接下来我们会使用相同的步骤通过泛型来减少重复。与函数体可以处理任意的list而不是具体的值一样，泛型也允许代码处理任意类型。
🎯泛型
泛型：提高代码的复用能力
—处理重复代码的能力泛型是具体类型或其他属性的抽象代替：
—你编写的代码不是最终的代码，而是一种**模板**，里面有一些“**占位符**”。 当使用泛型定义函数时，本来在函数签名中指定参数和返回值的类型的地方，会改用泛型来表示。采用这种技术，使得代码适应性更强，从而为函数的调用者提供更多的功能，同时也避免了代码的重复。 如果要在函数体中使用参数，就必须在函数签名中声明它的名字，好让编译器知道这个名字指代的是什么。同理，当在函数签名中使用一个类型参数时，必须在使用它之前就声明它。为了定义泛型版本的largest函数，类型参数声明位于函数名称与参数列表中间的尖括号
<>中，像这样：
fn largest<T>(list: &[T]) -> &T {可以这样理解这个定义：函数largest有泛型类型
T。它有个参数
list，其类型是元素为
T的 slice。
largest函数会返回一个与
T相同类型的引用。
🎃函数定义中的泛型
fn largest_i32(list: &[i32]) -> &i32 { let mut largest = &list[0]; for item in list { if item > largest { largest = item; } } largest } fn largest_char(list: &[char]) -> &char { let mut largest = &list[0]; for item in list { if item > largest { largest = item; } } largest } fn main() { let number_list = vec![34, 50, 25, 100, 65]; let result = largest_i32(&number_list); println!("The largest number is {}", result); let char_list = vec!['y', 'm', 'a', 'q']; let result = largest_char(&char_list); println!("The largest char is {}", result); }为了参数化这个新函数中的这些类型，我们需要为类型参数命名，道理和给函数的形参起名一样。任何标识符都可以作为类型参数的名字。这里选用T，因为传统上来说，Rust 的类型参数名字都比较短，通常仅为一个字母，同时，Rust 类型名的命名规范是首字母大写驼峰式命名法（UpperCamelCase）。
T作为 “type” 的缩写是大部分 Rust 程序员的首选。
largest函数在它的签名中使用了泛型，统一了两个实现。该示例也展示了如何调用
largest函数，把
i32值的 slice 或
char值的 slice 传给它。
** 请注意这些代码还不能编译，不过稍后会解决这个问题。**
fn largest<T>(list: &[T]) -> &T { let mut largest = &list[0]; for item in list { if item > largest { largest = item; } } largest } fn main() { let number_list = vec![34, 50, 25, 100, 65]; let result = largest(&number_list); println!("The largest number is {}", result); let char_list = vec!['y', 'm', 'a', 'q']; let result = largest(&char_list); println!("The largest char is {}", result); }如果现在就编译这个代码，会出现如下错误：
帮助说明中提到了std::cmp::PartialOrd，这是一个 trait。下一部分会讲到 trait。不过简单来说，这个错误表明
largest的函数体不能适用于
T的所有可能的类型。因为在函数体需要比较
T类型的值，不过它只能用于我们知道如何排序的类型。为了开启比较功能，标准库中定义的
std::cmp::PartialOrdtrait 可以实现类型的比较功能（查看附录 C 获取该 trait 的更多信息）。依照帮助说明中的建议，我们限制
T只对实现了
PartialOrd的类型有效后代码就可以编译了，因为标准库为
i32和
char实现了
PartialOrd。
🎃Struct定义中的泛型
同样也可以用
<>语法来定义结构体，它包含一个或多个泛型参数类型字段。
struct Point<T> { x: T, y: T, } fn main() { let integer = Point { x: 5, y: 10 }; let float = Point { x: 1.0, y: 4.0 }; }其语法类似于函数定义中使用泛型。首先，必须在结构体名称后面的尖括号中声明泛型参数的名称。接着在结构体定义中可以指定具体数据类型的位置使用泛型类型。** 注意**
Point<T>的定义中只使用了一个泛型类型，这个定义表明结构体
Point<T>对于一些类型
T是泛型的，而且字段
x和
y都是 相同类型的，无论它具体是何类型。
如果想要定义一个x和
y可以有不同类型且仍然是泛型的
Point结构体，我们可以使用多个泛型类型参数。
struct Point<T, U> { x: T, y: U, } fn main() { let both_integer = Point { x: 5, y: 10 }; let both_float = Point { x: 1.0, y: 4.0 }; let integer_and_float = Point { x: 5, y: 4.0 }; }不过太多的话，代码将难以阅读和理解。
🎃Enum定义中的泛型
和结构体类似，枚举也可以在成员中存放泛型数据类型。
enum Option<T> { Some(T), None, }现在这个定义应该更容易理解了。如你所见Option<T>是一个拥有泛型
T的枚举，它有两个成员：
Some，它存放了一个类型
T的值，和不存在任何值的
None。通过
Option<T>枚举可以表达有一个可能的值的抽象概念，同时因为
Option<T>是泛型的，无论这个可能的值是什么类型都可以使用这个抽象。
enum Result<T, E> { Ok(T), Err(E), }Result枚举有两个泛型类型，
T和
E。
Result有两个成员：
Ok，它存放一个类型
T的值，而
Err则存放一个类型
E的值。这个定义使得
Result枚举能很方便的表达任何可能成功（返回
T类型的值）也可能失败（返回
E类型的值）的操作。
🎃方法定义中的泛型
在为结构体和枚举实现方法时（像第五章那样），一样也可以用泛型。示例 中展示了示例中定义的结构体Point<T>，和在其上实现的名为
x的方法。
struct Point<T> { x: T, y: T, } impl<T> Point<T> { fn x(&self) -> &T { &self.x } } fn main() { let p = Point { x: 5, y: 10 }; println!("p.x = {}", p.x()); }**注意**必须在impl后面声明
T，这样就可以在
Point<T>上实现的方法中使用
T了。通过在
impl之后声明泛型
T，Rust 就知道
Point的尖括号中的类型是泛型而不是具体类型。我们可以为泛型参数选择一个与结构体定义中声明的泛型参数所不同的名称，不过依照惯例使用了相同的名称。在声明泛型类型参数的
impl中编写的方法将会定义在该类型的任何实例上，无论最终替换泛型类型参数的是何具体类型。
impl Point<f32> { fn distance_from_origin(&self) -> f32 { (self.x.powi(2) + self.y.powi(2)).sqrt() } }这段代码意味着Point<f32>类型会有一个方法
distance_from_origin，而其他
T不是
f32类型的
Point<T>实例则没有定义此方法。这个方法计算点实例与坐标 (0.0, 0.0) 之间的距离，并使用了只能用于浮点型的数学运算符。
** 结构体定义中的泛型类型参数并不总是与结构体方法签名中使用的泛型是同一类型。**
struct Point<X1, Y1> { x: X1, y: Y1, } impl<X1, Y1> Point<X1, Y1> { fn mixup<X2, Y2>(self, other: Point<X2, Y2>) -> Point<X1, Y2> { Point { x: self.x, y: other.y, } } } fn main() { let p1 = Point { x: 5, y: 10.4 }; let p2 = Point { x: "Hello", y: 'c' }; let p3 = p1.mixup(p2); println!("p3.x = {}, p3.y = {}", p3.x, p3.y); }在main函数中，定义了一个有
i32类型的
x（其值为
5）和
f64的
y（其值为
10.4）的
Point。
p2则是一个有着字符串 slice 类型的
x（其值为
"Hello"）和
char类型的
y（其值为
c）的
Point。在
p1上以
p2作为参数调用
mixup会返回一个
p3，它会有一个
i32类型的
x，因为
x来自
p1，并拥有一个
char类型的
y，因为
y来自
p2。
println!会打印出
p3.x = 5, p3.y = c。
🎃泛型代码的功能
Rust 通过在编译时进行泛型代码的 单态化（monomorphization）来保证效率。单态化是一个通过填充编译时使用的具体类型，将通用代码转换为特定代码的过程。
let integer = Some(5); let float = Some(5.0);当 Rust 编译这些代码的时候，它会进行单态化。编译器会读取传递给Option<T>的值并发现有两种
Option<T>：一个对应
i32另一个对应
f64。为此，它会将泛型定义
Option<T>展开为两个针对
i32和
f64的定义，接着将泛型定义替换为这两个具体的定义。
enum Option_i32 { Some(i32), None, } enum Option_f64 { Some(f64), None, } fn main() { let integer = Option_i32::Some(5); let float = Option_f64::Some(5.0); }泛型Option<T>被编译器替换为了具体的定义。因为 Rust 会将每种情况下的泛型代码编译为具体类型，使用泛型没有运行时开销。当代码运行时，它的执行效率就跟好像手写每个具体定义的重复代码一样。这个单态化过程正是 Rust 泛型在运行时极其高效的原因。
版权归原作者 Y小夜 所有， 如有侵权，请联系我们删除。