mirror of
https://github.com/KaiserY/trpl-zh-cn
synced 2025-02-23 21:02:18 +08:00
68 lines
5.2 KiB
Markdown
68 lines
5.2 KiB
Markdown
# 泛型、Trait 和生命周期
|
||
|
||
> [ch10-00-generics.md](https://github.com/rust-lang/book/blob/main/src/ch10-00-generics.md)
|
||
> <br>
|
||
> commit 4aa96a3d20570f868bd20e8e3e865b047284be30
|
||
|
||
每一个编程语言都有高效处理重复概念的工具。在 Rust 中其工具之一就是 **泛型**（*generics*）。泛型是具体类型或其他属性的抽象替代。我们可以表达泛型的属性，比如它们的行为或如何与其他泛型相关联，而不需要在编写和编译代码时知道它们在这里实际上代表什么。
|
||
|
||
函数可以获取一些不同于 `i32` 或 `String` 这样具体类型的泛型参数，就像一个获取未知类型值的函数可以对多种具体类型的值运行同一段代码一样。事实上我们已经使用过第六章的 `Option<T>`，第八章的 `Vec<T>` 和 `HashMap<K, V>`，以及第九章的 `Result<T, E>` 这些泛型了。本章会探索如何使用泛型定义我们自己的类型、函数和方法！
|
||
|
||
首先，我们将回顾一下提取函数以减少代码重复的机制。接下来，我们将使用相同的技术，从两个仅参数类型不同的函数中创建一个泛型函数。我们也会讲到结构体和枚举定义中的泛型。
|
||
|
||
之后，我们讨论 **trait**，这是一个定义泛型行为的方法。trait 可以与泛型结合来将泛型限制为只接受拥有特定行为的类型，而不是任意类型。
|
||
|
||
最后介绍 **生命周期**（*lifetimes*），它是一类允许我们向编译器提供引用如何相互关联的泛型。Rust 的生命周期功能允许在很多场景下借用值的同时仍然使编译器能够检查这些引用的有效性。
|
||
|
||
## 提取函数来减少重复
|
||
|
||
泛型允许我们使用一个可以代表多种类型的占位符来替换特定类型，以此来减少代码冗余。在深入了解泛型的语法之前，我们首先来看一种没有使用泛型的减少冗余的方法，即提取一个函数。在这个函数中，我们用一个可以代表多种值的占位符来替换具体的值。接着我们使用相同的技术来提取一个泛型函数！！通过学习如何识别并提取可以整合进一个函数的重复代码，你也会开始识别出可以使用泛型的重复代码。
|
||
|
||
让我们从下面这个寻找列表中最大值的小程序开始，如示例 10-1 所示：
|
||
|
||
<span class="filename">文件名：src/main.rs</span>
|
||
|
||
```rust
|
||
{{#rustdoc_include ../listings/ch10-generic-types-traits-and-lifetimes/listing-10-01/src/main.rs:here}}
|
||
```
|
||
|
||
<span class="caption">示例 10-1：在一个数字列表中寻找最大值的函数</span>
|
||
|
||
这段代码获取一个整型列表，存放在变量 `number_list` 中。它将列表的第一个数字的引用放入了变量 `largest` 中。接着遍历了列表中的所有数字，如果当前值大于 `largest` 中储存的值，将 `largest` 替换为这个值。如果当前值小于或者等于目前为止的最大值，`largest` 保持不变。当列表中所有值都被考虑到之后，`largest` 将会指向最大值，在这里也就是 100。
|
||
|
||
我们的任务是在两个不同的数字列表中寻找最大值。为此我们可以选择重复示例 10-1 中的代码在程序的两个不同位置使用相同的逻辑，如示例 10-2 所示：
|
||
|
||
<span class="filename">文件名：src/main.rs</span>
|
||
|
||
```rust
|
||
{{#rustdoc_include ../listings/ch10-generic-types-traits-and-lifetimes/listing-10-02/src/main.rs}}
|
||
```
|
||
|
||
<span class="caption">示例 10-2：寻找 **两个** 数字列表最大值的代码</span>
|
||
|
||
虽然代码能够执行，但是重复的代码是冗余且容易出错的，更新逻辑时我们不得不记住需要修改多处地方的代码。
|
||
|
||
为了消除重复，我们要创建一层抽象，定义一个处理任意整型列表作为参数的函数。这个方案使得代码更简洁，并且表现了寻找任意列表中最大值这一概念。
|
||
|
||
在示例 10-3 的程序中将寻找最大值的代码提取到了一个叫做 `largest` 的函数中。接着我们调用该函数来寻找示例 10-2 中两个列表中的最大值。之后也可以将该函数用于任何可能的 `i32` 值的列表。
|
||
|
||
<span class="filename">文件名：src/main.rs</span>
|
||
|
||
```rust
|
||
{{#rustdoc_include ../listings/ch10-generic-types-traits-and-lifetimes/listing-10-03/src/main.rs:here}}
|
||
```
|
||
|
||
<span class="caption">示例 10-3：抽象后的寻找两个数字列表最大值的代码</span>
|
||
|
||
`largest` 函数有一个参数 `list`，它代表会传递给函数的任何具体的 `i32`值的 slice。函数定义中的 `list` 代表任何 `&[i32]`。当调用 `largest` 函数时，其代码实际上运行于我们传递的特定值上。
|
||
|
||
总的来说，从示例 10-2 到示例 10-3 中涉及的机制经历了如下几步：
|
||
|
||
1. 找出重复代码。
|
||
2. 将重复代码提取到了一个函数中，并在函数签名中指定了代码中的输入和返回值。
|
||
3. 将重复代码的两个实例，改为调用函数。
|
||
|
||
接下来我们会使用相同的步骤通过泛型来减少重复。与函数体可以处理任意的 `list` 而不是具体的值一样，泛型也允许代码处理任意类型。
|
||
|
||
如果我们有两个函数，一个寻找一个 `i32` 值的 slice 中的最大项而另一个寻找 `char` 值的 slice 中的最大项该怎么办？该如何消除重复呢？让我们拭目以待！
|