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