mirror of
https://github.com/gnu4cn/rust-lang-zh_CN.git
synced 2025-03-14 03:10:44 +08:00
Re-constructured Ch10.
This commit is contained in:
parent
6aef347b4f
commit
fd9c6053a1
File diff suppressed because it is too large
Load Diff
@ -60,6 +60,10 @@
|
||||
# 深入掌握
|
||||
|
||||
- [泛型、特质与生命周期](Ch10_Generic_Types_Traits_and_Lifetimes.md)
|
||||
- [通用数据类型](generic_types_traits_and_lifetimes/generics.md)
|
||||
- [特质:定义共用行为](generic_types_traits_and_lifetimes/traits.md)
|
||||
- [使用生命周期验证引用](generic_types_traits_and_lifetimes/lifetimes.md)
|
||||
|
||||
|
||||
- [编写自动化测试](Ch11_Writing_Automated_Tests.md)
|
||||
|
||||
|
374
src/generic_types_traits_and_lifetimes/generics.md
Normal file
374
src/generic_types_traits_and_lifetimes/generics.md
Normal file
@ -0,0 +1,374 @@
|
||||
# 通用数据类型
|
||||
|
||||
**Generic Data Types**
|
||||
|
||||
这里会使用泛型,来创建诸如函数签名或结构体等的定义,随后咱们便可以将这些定义,用于许多不同的具体数据类型。首先咱们来看看,怎样运用泛型特性来定义函数、结构体、枚举及方法等。接下来就会讨论到,泛型如何影响到代码性能。
|
||||
|
||||
|
||||
## 函数定义方面
|
||||
|
||||
**In Function Definitions**
|
||||
|
||||
|
||||
在定义用到泛型的函数时,就要把泛型放在咱们通常于其中,指明参数与返回值数据类型的函数签名中。这样做就会在阻止代码重复的同时,令到代码更为灵活,同时提供到更多功能给咱们函数的调用者。
|
||||
|
||||
继续之前的 `largest` 函数,下面清单 10-4 给出了两个均为找出某个切片中极大值的函数。这随后就要将这两个函数,合并为使用泛型特性的单个函数。
|
||||
|
||||
文件名:`src/main.rs`
|
||||
|
||||
|
||||
```rust
|
||||
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! ("极大数为 {}", result);
|
||||
|
||||
let char_list = vec! ['y', 'm', 'a', 'q'];
|
||||
|
||||
let result = largest_char(&char_list);
|
||||
println! ("极大字符为 {}", result);
|
||||
}
|
||||
```
|
||||
|
||||
*清单 10-4:两个只是名字与签名中类型不同的函数*
|
||||
|
||||
其中的 `largest_i32` 函数,即为在清单 10-3 中所提取出的那个,找出某个切片中最大的 `i32` 函数。而这里的 `largest_char` 函数则是找出某个切片中的极大 `char`。由于这两个函数体有着同样代码,因此这里就要通过在单个函数中,引入泛型参数来消除重复。
|
||||
|
||||
为将新单一函数中的类型参数化,咱们需要给类型参数命名,就如同咱们对某个函数的那些实参(值参数),the value parameters,所做的那样。可将任意标识符,用作类型参数名字。不过咱们将使用 `T`,这是因为根据约定,Rust 中的参数名字都是简短的,通常只有一个字母,还因为 Rust 的类型命名约定为驼峰式大小写命名规则(CamelCase)。而 `T` 作为 “type” 的简写,其便是大多数 Rust 程序员的默认选择了。
|
||||
|
||||
当咱们要在函数体中,用到某个参数时,咱们必须在函数签名中声明出这个参数,如此编译器便知道那个名字表示什么。与此类似,当咱们要在函数签名中,用到某个类型参数名字时,在使用该类型参数之前,咱们必须声明出这个类型参数。要定义这个泛型的 `largest` 函数,就要把类型名字声明,放在尖括号(`<>`)里,于函数名字与参数列表之间,如下所示:
|
||||
|
||||
```rust
|
||||
fn largest<T>(list: &<T>) -> &T {
|
||||
```
|
||||
|
||||
咱们把这个定义读作:函数 `largest` 对某个类型 `T` 通用(the function `largest` is generic over some type `T`)。该函数有着一个名为 `list` 的参数,其为类型 `T` 值切片。`largest` 函数将返回一个到同样类型 `T` 值的引用。
|
||||
|
||||
下面清单 10-5 给出了这个在其签名中用到通用数据类型的合并 `largest` 函数的定义。这个清单还展示了咱们可以怎样使用 `i32` 值切片,或 `char` 值切片调用该函数。请注意此代码尚不会编译,但咱们将在本章后面修复他。
|
||||
|
||||
文件名:`src/main.rs`
|
||||
|
||||
```rust
|
||||
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! ("极大数为 {}", result);
|
||||
|
||||
let char_list = vec! ['y', 'm', 'a', 'q'];
|
||||
|
||||
let result = largest(&char_list);
|
||||
println! ("极大字符为 {}", result);
|
||||
}
|
||||
```
|
||||
|
||||
*清单 10-5:使用泛型参数的 `largest` 函数;此代码尚不会编译*
|
||||
|
||||
现在编译此代码,将得到如下错误信息:
|
||||
|
||||
```console
|
||||
$ cargo run lennyp@vm-manjaro
|
||||
Compiling generics_demo v0.1.0 (/home/lennyp/rust-lang/generics_demo)
|
||||
error[E0369]: binary operation `>` cannot be applied to type `&T`
|
||||
--> src/main.rs:5:17
|
||||
|
|
||||
5 | if item > largest {
|
||||
| ---- ^ ------- &T
|
||||
| |
|
||||
| &T
|
||||
|
|
||||
help: consider restricting type parameter `T`
|
||||
|
|
||||
1 | fn largest<T: std::cmp::PartialOrd>(list: &[T]) -> &T {
|
||||
| ++++++++++++++++++++++
|
||||
|
||||
For more information about this error, try `rustc --explain E0369`.
|
||||
error: could not compile `generics_demo` due to previous error
|
||||
```
|
||||
|
||||
帮助文本消息提到 `std::cmp::PartialOrd`,其是个 *特质(trait)*,而咱们在下一小节就会讲到特质。至于现在,明白这个报错指出了,`largest` 函数体不会对所有 `T` 可能的类型工作就行。由于咱们是要在该函数体中,比较两个类型 `T` 的值,那么咱们就只能使用值可被排序的类型。为能进行比较,标准库便有这个咱们可在类型上应用的 `std::cmp::PartialOrd` 特质(请参阅附录 C 了解该特质的更多信息)。按照该帮助信息的建议,咱们就要把对 `T` 有效的类型,限制为仅那些实现了 `PartialOrd` 的类型,而由于标准库在 `i32` 与 `char` 上,均实现了 `PartialOrd` 特质,那么这个示例就会编译了。
|
||||
|
||||
|
||||
## 结构体定义方面
|
||||
|
||||
**In Struct Definitions**
|
||||
|
||||
|
||||
咱们也可使用这种 `<>` 语法,将结构体定义为在其一个或多个字段中使用泛型参数。清单 10-6 定义了一个 `Point<T>` 的结构体,来保存任意类型的 `x` 与 `y` 坐标值。
|
||||
|
||||
文件名:`src/main.rs`
|
||||
|
||||
```rust
|
||||
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 };
|
||||
}
|
||||
```
|
||||
|
||||
*清单 10-6:保存类型 `T` 的 `x` 与 `y` 值的 `Point<T>` 结构体*
|
||||
|
||||
在结构体定义中使用泛型特性的语法,与在函数定义中用到的类似。首先,在紧接着结构体名字之后,咱们于尖括号内部,声明了类型参数的名字。随后咱们在原本指明具体类型的结构体定义中,用到了那个泛型。
|
||||
|
||||
请注意由于咱们只使用了一个泛型来定义 `Point<T>`,那么这个定义就是说,`Point<T>` 结构体对某些类型 `T` 通用,且不论那种类型为何,字段 `x` 与 `y` *均为* 那同一类型。当咱们要创建有着不同类型值的某个 `Point<T>` 时,如下面清单 10-7 中,那么咱们的代码就不会编译。
|
||||
|
||||
文件名:`src/main.rs`
|
||||
|
||||
```rust
|
||||
struct Point<T> {
|
||||
x: T,
|
||||
y: T,
|
||||
}
|
||||
|
||||
fn main() {
|
||||
let wont_work = Point { x: 5, y: 4.0 };
|
||||
}
|
||||
```
|
||||
|
||||
*清单 10-7:由于字段 `x` 与 `y` 有着同一泛型数据类型 `T`,因此他们必须为同一类型*
|
||||
|
||||
在此示例中,当咱们把整数值 `5` 赋值给 `x` 时,咱们就让编译器明白,这个 `Point<T>` 实例的泛型 `T` 将是个整数。随后在咱们把 `4.0` 指定给那个已被咱们定义为与 `x` 有着同一类型的 `y` 时,咱们将得到一个下面这样的类型不匹配错误:
|
||||
|
||||
```console
|
||||
$ cargo run lennyp@vm-manjaro
|
||||
Compiling generics_demo v0.1.0 (/home/lennyp/rust-lang/generics_demo)
|
||||
error[E0308]: mismatched types
|
||||
--> src/main.rs:7:38
|
||||
|
|
||||
7 | let wont_work = Point { x: 5, y: 4.0 };
|
||||
| ^^^ expected integer, found floating-point number
|
||||
|
||||
For more information about this error, try `rustc --explain E0308`.
|
||||
error: could not compile `generics_demo` due to previous error
|
||||
```
|
||||
|
||||
要定义出其中 `x` 与 `y` 同时为泛型,又可以有着不同类型的 `Point` 结构体,咱们可使用多个泛型参数。比如,在下面清单 10-8 中,就将 `Point` 的定义,修改为了对类型 `T` 与 `U` 通用,其中 `x` 为类型 `T`,而 `y` 则是类型 `U`。
|
||||
|
||||
文件名:`src/main.rs`
|
||||
|
||||
```rust
|
||||
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 };
|
||||
}
|
||||
```
|
||||
|
||||
*清单 10-8:对两种类型通用的 `Point<T, U>`,进而 `x` 与 `y` 可以是不同类型的值*
|
||||
|
||||
现在上面给出的全部 `Point` 实例,便都是允许的了!咱们可在某个定义中,使用咱们想要泛型参数个数,不过用多了就会令到代码难于阅读。若发现代码中需要很多泛型,那就可能表示咱们的代码,需要重新组织架构为更小的片段了。
|
||||
|
||||
|
||||
## 枚举定义方面
|
||||
|
||||
**In Enum Definitions**
|
||||
|
||||
|
||||
如同咱们在结构体下所做的那样,咱们可定义出在其变种中,保存一些通用数据类型的枚举。咱们来换个角度看看,咱们在第 6 章中曾使用过的,标准库所提供的 `Option<T>`:
|
||||
|
||||
```rust
|
||||
enum Option<T> {
|
||||
Some(T),
|
||||
None,
|
||||
}
|
||||
```
|
||||
|
||||
对咱们来说,这个定义现在应有着更多意涵了。可以看到,`Option<T>` 枚举对类型 `T` 是通用的,并有着两个变种:保存着一个类型 `T` 值的 `Some`,与一个不保存任何值的 `None` 变种。经由使用这个 `Option<T>` 枚举,咱们便可表达出可选值,an optional value,的抽象概念,而由于 `Option<T>` 是通用的,因此咱们就可以在无关乎该可选值为何种类型下,用到这个抽象。
|
||||
|
||||
枚举也可以使用多个泛型。在第 9 章中用到的 `Result` 枚举定义,就是一个示例:
|
||||
|
||||
```rust
|
||||
enum Result <T, E> {
|
||||
Ok(T),
|
||||
Err(E),
|
||||
}
|
||||
```
|
||||
|
||||
`Result` 枚举对 `T` 和 `E` 两种类型通用,并有着两个变种:保存了一个类型 `T` 值的 `Ok`,与保存了一个类型 `E` 值的 `Err`。这个定义使得在某个操作可能成功(便返回某种类型 `T` 的一个值),或失败(便返回一个某种类型 `E` 的值)的地方,使用 `Result` 枚举方便起来。事实上,这正是咱们在清单 9-3 中,打开某个文件时所用到的,在文件被成功打开时,其中的 `T` 就以 `std::fs::File` 给填上了,而当打开那个文件时,若存在某些问题,那么其中的 `E` 就会被 `std::io::Error` 填充。
|
||||
|
||||
当咱们认识到咱们的代码中,有着仅在其所保存值类型方面有区别的多个结构体或枚举的情况时,咱们就可以通过使用泛型避免代码重复。
|
||||
|
||||
|
||||
## 方法定义方面
|
||||
|
||||
**In Method Definitions**
|
||||
|
||||
|
||||
咱们可以在结构体与枚举上实现方法(正如在第 5 章中咱们所做的),并也可以在他们定义中使用泛型。下面清单 10-9 展示了于其上实现了名为 `x` 方法的,咱们曾在清单 10-6 中定义的 `Point<T>` 结构体。
|
||||
|
||||
|
||||
文件名:`src/main.rs`
|
||||
|
||||
```rust
|
||||
struct Point<T, U> {
|
||||
x: T,
|
||||
y: U,
|
||||
}
|
||||
|
||||
impl<T, U> Point<T, U> {
|
||||
fn x(&self) -> &T {
|
||||
&self.x
|
||||
}
|
||||
|
||||
fn y(&self) -> &U {
|
||||
&self.y
|
||||
}
|
||||
}
|
||||
|
||||
fn main() {
|
||||
let p = Point { x: 5, y: 10 };
|
||||
|
||||
println! ("{}, {}", p.x(), p.y());
|
||||
}
|
||||
```
|
||||
|
||||
*清单 10-9:在 `Point<T, U>` 结构体上,实现将返回到类型 `T` 的 `x` 字段的引用的一个名为 `x` 的方法*
|
||||
|
||||
这里已在 `Point<T, U>` 上,定义了名为 `x` 的、返回到字段 `x` 中数据引用的一个方法。经由在 `impl` 后,将 `T` 声明为泛型,Rust 就可以识别出,`Point` 中尖括号(`<>`) 里的类型是个泛型而非具体类型。对于这个泛型参数,咱们可以选择不同于前面结构体定义中,所声明的泛型参数名字,但使用同一个名字是依照惯例的。在声明了泛型的 `impl` 里编写的方法,不论泛型最终将以何种具体类型所代替,这些方法都将定义在该类型的所有实例上。
|
||||
|
||||
当咱们在类型上定义方法时,咱们还可以在泛型上指定约束条件。比如,只在 `Point<f32>` 的实例,而非任意泛型的 `Point<T>` 实例上实现方法。在下面清单 10-10 中,咱们使用了具体类型 `f32`,意味着在 `impl` 之后咱们没有声明任何类型。
|
||||
|
||||
|
||||
文件名:`src/main.rs`
|
||||
|
||||
```rust
|
||||
impl Point<f32, f32> {
|
||||
fn distance_from_origin(&self) -> f32 {
|
||||
(self.x.powi(2) + self.y.powi(2)).sqrt()
|
||||
}
|
||||
}
|
||||
```
|
||||
|
||||
*清单 10-10:只适用于有着特定具体类型泛型参数 `<T, U>` 的结构体的一个 `impl` 代码块*
|
||||
|
||||
此代码表示类型 `Option<f32, f32>` 将有一个 `distance_from_origin` 方法;其中 `T, U` 不是 `f32` 的其他 `Option<T, U>` 实例,就不会被定义这个方法。该方法度量了咱们的点与坐标 `(0.0, 0.0)` 处点的距离,并使用了只对浮点数类型可行的数学运算。
|
||||
|
||||
结构体定义中的泛型参数,并不总与咱们在同一结构体方法签名中,所使用的那些泛型参数相同。为让示例更明确,下面清单 10-11 对 `Point` 结构体,使用了泛型 `T` 与 `U`,而对 `mixup` 方法签名则使用了 `X` `Y`。
|
||||
这个方法使用来自 `self` `Point` 的 `x` 值(类型为 `T`),与来自传入的那个 `Point` 值的 `y` (类型为 `Y`),创建出一个新的 `Point`。
|
||||
|
||||
文件名:`src/main.rs`
|
||||
|
||||
|
||||
```rust
|
||||
#[derive(Debug)]
|
||||
struct Point<T, U> {
|
||||
x: T,
|
||||
y: U,
|
||||
}
|
||||
|
||||
impl<T, U> Point<T, U> {
|
||||
fn mixup<X, Y>(self, other: Point<X, Y>) -> Point<T, Y> {
|
||||
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);
|
||||
}
|
||||
```
|
||||
|
||||
*清单 10-11:一个使用了与其结构体定义不同泛型的方法*
|
||||
|
||||
在 `main` 函数中,咱们定义了一个有着 `x` 为 `i32` (值为 `5`),及 `y` 为 `f64` (值为 `10.4`)的 `Point`。变量 `p2` 是个有着 `x` 为字符串切片(值为 `Hello`),同时 `y` 为 `char` (值为 `c`)的 `Point` 结构体。以参数 `p2` 调用 `p1` 上的 `mixup`,就给到咱们 `p3`,由于 `p3` 的 `x` 来自于 `p1`,因此将有一个 `i32` 的 `x`。而由于这个变量 `p3` 的 `y` 来自于 `p2`, 因此他将有一个 `char` 的 `y`。那个 `println!` 宏调用,将打印 `p3.x = 5, p3.y = c`。
|
||||
|
||||
此示例的目的,是要对其中有些泛型参数是以 `impl` 来声明,而另一些泛型参数则是以方法定义来声明的情形,加以演示。由于这里的泛型参数 `T` 与 `U` 与结构体定义在一起,因此他们是在 `impl` 后声明的。而其中的泛型参数 `X` 与 `Y`,则由于他们只与方法 `mixup` 有关,所以他们就被声明在了 `fn mixup` 之后。
|
||||
|
||||
|
||||
## 用到泛型代码的性能问题
|
||||
|
||||
**Performance of Code Using Generics**
|
||||
|
||||
|
||||
咱们或许想知道,在运用了泛型参数时,是否有着运行时的开销。好消息就是,相比于使用具体类型,使用泛型不会令到咱们的程序运行得更慢。
|
||||
|
||||
Rust 通过在编译时,完成那些使用了泛型代码的单态化,performing monomorphization of the code using generics,达成这个目的。所谓 *单态化,monomorphization*,是指通过把编译后用到的具体类型,填入到泛型位置,而将通用代码转换为具体代码的过程。在此过程中,编译器会执行与清单 10-5 中,咱们用来创建通用函数相反的步骤:编译器会查看泛型代码被调用到的所有地方,并为那些调用到的泛型代码,生成具体类型代码。
|
||||
|
||||
咱们来通过使用标准库的通用 `Option<T>` 枚举,看看单态化的工作原理:
|
||||
|
||||
```rust
|
||||
let integer = Some(5);
|
||||
let float = Some(5.0);
|
||||
```
|
||||
|
||||
在编译此代码时,Rust 就会执行单态化。在那过程中,编译器会读取这两个 `Option<T>` 实例中用到的值,并识别到两种类型的 `Option<T>`:一个为 `i32`,而另一个为 `f64`。这样一来,编译器就会把 `Option<T>` 的通用定义,展开为两个专门的 `i32` 与 `f64` 定义,由此就用这些特定类型,替换了通用定义。
|
||||
|
||||
单态化的代码版本,看起来与下面的类似(编译器会使用不同于这里为演示目的而使用的名字):
|
||||
|
||||
|
||||
文件名:`src/main.rs`
|
||||
|
||||
```rust
|
||||
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 的泛型在运行时极为高效。
|
||||
|
||||
|
||||
|
574
src/generic_types_traits_and_lifetimes/lifetimes.md
Normal file
574
src/generic_types_traits_and_lifetimes/lifetimes.md
Normal file
@ -0,0 +1,574 @@
|
||||
# 使用生命周期验证引用
|
||||
|
||||
**Validating References with Lifetimes**
|
||||
|
||||
|
||||
生命周期是另一种咱们前面已经用到的泛型。与确保类型有着期望行为的特质不同,生命周期确保的是引用在咱们需要他们有效期间,保持有效,lifetimes ensure that references are valid as long as we need them to be。
|
||||
|
||||
在第 4 章中 [引用与借用](Ch04_Understanding_Ownership.md#引用与借用references-and-borrowing) 小节,咱们未曾讨论的一个细节,即 Rust 中的每个引用,都有着 *生命周期,lifetime*,其便是引用有效的作用范围。多数时候,声明周期是隐式而被推导出来的,这正与多数时候类型是被推导出来的一样。咱们只须在可能有多个类型时注解类型。与此类似,在一些引用的生命周期,可能以几种方式存在关联时,咱们就必须注解出生命周期。为确保在运行时用到的具体类型显著有效,Rust 就会要求咱们使用泛型生命周期参数,注解出这些关系,in a similar way, we must annotate lifetimes when the lifetimes of references could be related in a few different ways. Rust requires us to annotate the relationships using generic lifetime parameters to ensure the actual references used at runtime will definitely be valid。
|
||||
|
||||
绝大多数别的编程语言,甚至都没有注解周期,annotating lifetimes, 这个概念,因此这会让人感到陌生。尽管在这一章中咱们不会涵盖生命周期的全部,咱们仍将讨论咱们可能遇到生命周期语法的一些常见方式,如此咱们就能适应这个概念。
|
||||
|
||||
|
||||
## 使用生命周期,防止悬空引用
|
||||
|
||||
**Preventing Dangling References with Lifetimes**
|
||||
|
||||
|
||||
生命周期的主要目的是防止 *悬空引用,dangling references*,其会导致程序引用并非其打算引用的数据。设想下面清单 10-16 中的程序,其有着一个外层作用范围与一个内层作用范围。
|
||||
|
||||
|
||||
```rust
|
||||
fn main() {
|
||||
let r;
|
||||
|
||||
{
|
||||
let x = 5;
|
||||
r = &x;
|
||||
}
|
||||
|
||||
println! {"r: {}", r};
|
||||
}
|
||||
```
|
||||
|
||||
*清单 10-16:使用了其值已超出作用域引用的尝试*
|
||||
|
||||
> 注意:清单 10-16、10-17 及 10-23 中的示例,均在不带变量初始值下,声明出了一些变量,而变量名存在于外层作用域中。乍一看,这样做似乎与 Rust 的无空值,Rust's having no `null` values,特性相抵触。不过,当咱们尝试于赋予变量值之前,使用某个变量,就会得到一个编译器时报错,这就表示 Rust 实际上是不允许空值的。
|
||||
|
||||
|
||||
那个外层作用域声明了个名为 `r`、不带初始值的变量,而其中的内层作用域声明了个名为 `x`,带有初始值 `5` 的变量。在内层作用域里,咱们尝试将 `r` 的值,设置为到 `x` 的引用。随后那个内层作用域便结束了,同时咱们尝试打印 `r` 中的值。由于其中 `r` 所指向的值,在咱们尝试使用前已超出作用域,因此此代码不会编译。下面是错误消息:
|
||||
|
||||
```console
|
||||
$ cargo run lennyp@vm-manjaro
|
||||
Compiling lifetimes_demo v0.1.0 (/home/lennyp/rust-lang/lifetimes_demo)
|
||||
error[E0597]: `x` does not live long enough
|
||||
--> src/main.rs:6:13
|
||||
|
|
||||
6 | r = &x;
|
||||
| ^^ borrowed value does not live long enough
|
||||
7 | }
|
||||
| - `x` dropped here while still borrowed
|
||||
8 |
|
||||
9 | println! {"r: {}", r};
|
||||
| - borrow later used here
|
||||
|
||||
For more information about this error, try `rustc --explain E0597`.
|
||||
error: could not compile `lifetimes_demo` due to previous error
|
||||
```
|
||||
|
||||
变量 `x` 未 “存活足够长时间。” 原因是当内层作用域在第 7 行结束时,变量 `x` 将超出作用域。然而变量 `r` 对外层作用域仍有效;由于其作用域更大,咱们就说变量其 “存活得更长”。若 Rust 允许此代码工作,变量 `r` 就会引用变量 `x` 超出作用域时,已被解除分配的内存,且咱们尝试对变量 `x` 的任何操作,都将不会正确工作。那么 Rust 是怎样确定出此代码无效的呢?他使用了借用检查器,a borrow checker。
|
||||
|
||||
|
||||
## 借用检查器
|
||||
|
||||
**The Borrow Checker**
|
||||
|
||||
|
||||
Rust 编译器有着对作用域加以比较,而确定出全部借用是否有效的 *借用检查器,a borrow checker*。下面清单 10-17 给出了与清单 10-16 相同,而带有展示变量生命周期注解的代码。
|
||||
|
||||
```rust
|
||||
fn main() {
|
||||
let r; // ---------+-- 'a
|
||||
// |
|
||||
{ // |
|
||||
let x = 5; // -+-- 'b |
|
||||
r = &x; // | |
|
||||
} // -+ |
|
||||
// |
|
||||
println!("r: {}", r); // |
|
||||
} // ---------+
|
||||
```
|
||||
|
||||
*清单 10-17:变量 `r` 与 `x` 生命周期的注解,各自取名为 `'a` 与 `'b`*
|
||||
|
||||
这里,咱们以 `'a` 注解出了 `r` 的声明周期,与 `'b` 注解出 `x` 的生命周期。正如咱们所能看到的,相比外层 `'a` 声明周期代码块,那个内层 `'b` 代码块要小得多。在编译时,Rust 会比较这两个生命周期的大小,而发现变量 `r` 有着 `'a` 的生命周期,但他却指向了个 `'b` 的生命周期。由于生命周期 `'b` 比 `'a` 要短,于是该程序就被拒绝:引用物,the subject of the reference,没有存活到引用那么长时间。
|
||||
|
||||
下面清单 10-18 修复了该代码,从而其就没有了悬空引用,并会不带任何错误地编译。
|
||||
|
||||
|
||||
```rust
|
||||
fn main() {
|
||||
let x = 5; // ----------+-- 'b
|
||||
// |
|
||||
let r = &x; // --+-- 'a |
|
||||
// | |
|
||||
println!("r: {}", r); // | |
|
||||
// --+ |
|
||||
} // ----------+
|
||||
```
|
||||
|
||||
*清单 10-18:由于被数据有着长于引用的生命周期,因此这是一个有效的引用*
|
||||
|
||||
|
||||
这里,`x` 有着生命周期 `'b`,在此示例中其是大于 `'a` 的。由于 Rust 清楚在变量 `r` 中的引用,在变量 `x` 有效期间将始终有效,这就意味着 `r` 可引用 `x`。
|
||||
|
||||
既然咱们清楚了引用的生命周期在何处,以及 Rust 怎样为确保引用始终有效,而分析生命周期,那么下面咱们就要探讨函数上下文中,参数与返回值的泛型生命周期了,generic lifetimes of parameters and return values in the context of functions。
|
||||
|
||||
|
||||
### 函数中的泛型生命周期
|
||||
|
||||
**Generic Lifetimes in Functions**
|
||||
|
||||
|
||||
咱们将编写一个返回两个字符串切片中较长者的函数。该函数将取两个字符串切片,并返回单个字符串切片。当咱们实现了 `longest` 函数后,下面清单 10-19 中的代码应打印 `最长的字符串为 abcd`。
|
||||
|
||||
|
||||
文件名:`src/main.rs`
|
||||
|
||||
|
||||
```rust
|
||||
fn main() {
|
||||
let string1 = String::from("abcd");
|
||||
let string2 = "xyz";
|
||||
|
||||
let result = longest(string1.as_str(), string2);
|
||||
println! ("最长的字符串为 {}", result);
|
||||
}
|
||||
```
|
||||
|
||||
*清单 10-19:调用 `longest` 函数来找出两个字符串切片中较长那个的 `main` 函数*
|
||||
|
||||
|
||||
请注意由于咱们不想要这个 `longest` 函数,取得其参数的所有权,因此咱们是要该函数取两个均为引用的字符串切片,而非字符串。请参考第 4 章中 [作为函数参数的字符串切片](Ch04_Understanding_Ownership.md#字符串切片作为函数参数) 小节,了解更多为何咱们在清单 10-19 中用到的参数,即为咱们所想要参数的讨论。
|
||||
|
||||
当咱们如下面清单 10-20 中所示的那样,尝试实现 `longest` 函数时,其不会编译。
|
||||
|
||||
|
||||
文件名:`src/main.rs`
|
||||
|
||||
```rust
|
||||
fn longest(x: &str, y: &str) -> &str {
|
||||
if x.len() > y.len() {
|
||||
x
|
||||
} else { y }
|
||||
}
|
||||
```
|
||||
|
||||
*清单 10-20:返回两个字符串切片中较长者 `longest` 函数实现,但上不会编译*
|
||||
|
||||
|
||||
咱们而是会得到以下谈及生命周期的错误:
|
||||
|
||||
|
||||
```console
|
||||
$ cargo run lennyp@vm-manjaro
|
||||
Compiling lifetimes_demo v0.1.0 (/home/lennyp/rust-lang/lifetimes_demo)
|
||||
error[E0106]: missing lifetime specifier
|
||||
--> src/main.rs:1:33
|
||||
|
|
||||
1 | fn longest(x: &str, y: &str) -> &str {
|
||||
| ---- ---- ^ expected named lifetime parameter
|
||||
|
|
||||
= help: this function's return type contains a borrowed value, but the signature does not say whether it is borrowed from `x` or `y`
|
||||
help: consider introducing a named lifetime parameter
|
||||
|
|
||||
1 | fn longest<'a>(x: &'a str, y: &'a str) -> &'a str {
|
||||
| ++++ ++ ++ ++
|
||||
|
||||
For more information about this error, try `rustc --explain E0106`.
|
||||
error: could not compile `lifetimes_demo` due to previous error
|
||||
```
|
||||
|
||||
帮助文本揭示了由于 Rust 无法区分出正返回的引用,是指向 `x` 还是 `y`,因此返回值类型就需要其上的一个泛型生命周期参数,a generic lifetime parameter。事实上,由于在该函数的函数体中,`if` 代码块返回的是到参数 `x` 的引用,而 `else` 代码块返回的则是到 `y` 的引用,所以就连咱们也不清楚!
|
||||
|
||||
在咱们定义这个函数时,是不清楚将传入到该函数的那些具体值的,因此就不清楚究竟是`if` 情形,还是 `else` 情形会被执行。咱们也不清楚将传入引用的具体生命周期,进而就无法查看如清单 10-17 及 10-18 中所看到的作用域,以确定出返回的引用是否始终有效。由于借用检查器不清楚 `x` 与 `y` 的生命周期,与返回值的生命周期有怎样的关联,因此借用检查器也无法确定出这一点。要修复这个错误,咱们将添加定义出这些引用变量之间关系的泛型生命周期参数,进而借用检查器就可以完成他的分析。
|
||||
|
||||
|
||||
## 生命周期注解语法
|
||||
|
||||
**Lifetime Annotation Syntax**
|
||||
|
||||
生命周期注解,不会改变任何引用的存活时长。而是,他们在不影响生命周期下,对多个引用变量的生命周期关系加以描述。正如函数签名指定了泛型参数时,函数便可接受任意类型一样,通过指定出泛型生命周期参数,函数就可以接受带有任意生命周期的引用了,just as functions can accept any type when the signatures specifies a generic type parameter, functions can accept with any lifetime by specifying a generic lifetime parameter。
|
||||
|
||||
生命周期注解有着些许不寻常的语法:生命周期参数名字,必须以撇号(单引号,`'`)开头,通常为全部小写字母,且像泛型一样非常短。多数人会用 `'a` 作为首个生命周期注解。咱们会将生命周期注解,放在引用的 `&` 之后,使用一个空格来将这种注解与该引用的类型分隔开。
|
||||
|
||||
下面是一些示例:到某个 `i32` 的不带生命周期参数的引用、到某个 `i32` 的有着名为 `'a` 的生命周期参数,以及到某个 `i32` 的同样有着生命周期 `'a` 的可变引用。
|
||||
|
||||
```rust
|
||||
&i32 // 某个引用
|
||||
&'a i32 // 某个带有显式生命周期的引用
|
||||
&'a mut i32 // 某个有着显式生命周期的可变引用
|
||||
```
|
||||
|
||||
由于注解的目的是告诉 Rust (编译器),多个引用的泛型生命周期参数相互之间如何相互关联,因此生命周期本身并没有什么意义。接下来咱们就要在那个 `largest` 函数上下文中,检视一下生命周期注解如何关联。
|
||||
|
||||
|
||||
### 函数签名中的生命周期注解
|
||||
|
||||
**Lifetime Annotations in Function Signatures**
|
||||
|
||||
|
||||
如同之前对通用 *类型,type* 参数所做的那样,要在函数签名中使用生命周期注解,咱们需在函数名字与参数清单间,于一对尖括号里,声明出通用 *生命周期,lifetime* 参数。
|
||||
|
||||
咱们是要那个函数签名表达出以下约束:返回的引用将与两个参数保持同样长的有效时间。这便是参数与返回值生命周期之间的关系。咱们将把这个生命周期命名为 `'a`,并在随后将其添加到各个引用,如下清单 10-21 中所示。
|
||||
|
||||
文件名:`src/main.rs`
|
||||
|
||||
```rust
|
||||
fn longest<'a>(x: &'a str, y: &'a str) -> &'a str {
|
||||
if x.len() > y.len() {
|
||||
x
|
||||
} else {
|
||||
y
|
||||
}
|
||||
}
|
||||
```
|
||||
|
||||
*清单 10-21:指明签名中全部引用,都必须有着同一生命周期 `'a` 的 `longest` 函数定义*
|
||||
|
||||
|
||||
此代码应会编译,并在清单 10-19 的 `main` 函数中使用他时,产生出咱们想要的结果。
|
||||
|
||||
这个函数签名现在告诉 Rust,针对某个生命周期 `'a`,该函数会取两个参数,他们都是存活时间至少为 `'a` 的字符串切片。该函数签名还告诉 Rust,从该函数返回的字符串切片,将存活至少生命周期 `'a` 那样长时间。实际上,这表示 `longest` 函数所返回引用的生命周期,与该函数参数引用值生命周期中较小的一致。这些关系,就是咱们想要 Rust 在分析此代码时,要用到的关系。
|
||||
|
||||
请记住,当咱们在这个函数签名中,指明那些生命周期进行时,咱们并未改变任何传入或返回值的生命周期。相反,咱们指明的是借用检查器应拒绝没有遵守这些约束的所有值。请注意 `longest` 函数不需要确切地掌握,`x` 与 `y` 将存活多久,而只要有可替代 `'a` 的某个作用域将满足此签名,note that the `longest` function doesn't need to know exactly how long `x` and `y` will live, only that some scope can be substituted for `'a` that will satisfy this signature。
|
||||
|
||||
当于函数中注解生命周期时,这些注解是在函数签名中,而非函数体中。生命周期注解,成为了该函数合约的一部分,这就很像是签名中的类型。令函数签名包含生命周期合约,the lifetime contract,就意味着 Rust 编译器执行的分析,会更简单。若函数被注解方式或被调用方式存在问题,那么编译器报错,就可以更精准地指向所编写代码或约束的某个部分。相反,若没有这些生命周期注解,那么相比于 Rust 编译器会作出更多有关咱们所预期的生命周期关系推断,编译器或许就只能够指出,在问题原因处许多步之外,咱们代码的某个使用,if, instead, the Rust compiler made more inferences about what we intended the relationships of the lifetimes to be, the compiler might only be able to point to a use of our code many steps away from the cause of the problem。
|
||||
|
||||
在咱们把具体引用传递给 `longest` 时,取代 `'a` 的具体生命周期的,便是 `x` 的作用域中,与 `y` 的作用域重叠的部分。也就是说,泛型生命周期 `'a` 将获得,与 `x` 与 `y` 的生命周期中较小者相等的具体生命周期。由于咱们已使用同一生命周期参数 `'a`,注解了返回的引用,因此返回的引用,就会在 `x` 与 `y` 的生命周期中,较小者的存活时长期间有效。
|
||||
|
||||
下面咱们来通过传入具有不同具体生命周期的引用,看一下生命周期注解,如何限制 `longest` 函数。下面清单 10-22 就是一个直观的示例。
|
||||
|
||||
|
||||
文件名:`src/main.rs`
|
||||
|
||||
```rust
|
||||
fn longest<'a>(x: &'a str, y: &'a str) -> &'a str {
|
||||
if x.len() > y.len() {
|
||||
x
|
||||
} else {
|
||||
y
|
||||
}
|
||||
}
|
||||
|
||||
fn main() {
|
||||
let string1 = String::from("长字符串就是长");
|
||||
|
||||
{
|
||||
let string2 = String::from("xyz");
|
||||
let result = longest(string1.as_str(), string2.as_str());
|
||||
println! ("最长的字符串为 {}", result);
|
||||
}
|
||||
}
|
||||
```
|
||||
|
||||
*清单 10-22:以到具有不同具体生命周期的 `String` 类型值的一些引用,使用 `longest` 函数*
|
||||
|
||||
|
||||
在此示例中,`string1` 到外层作用域结束之前都有效,`string2` 到内层作用域结束之前有效,而 `result` 引用了在内层作用域结束之前有效的某个东西。运行此代码,咱们就会看到借用检查器予以了证实;此代码将编译并打印 `最长的字符串为 长字符串就是长`。
|
||||
|
||||
接下来,就要尝试一个展示 `result` 中引用的生命周期,必须为这两个参数生命周期中较小的那个的示例。这里将把那个 `result` 变量的声明,移到内层作用域外面而将到该 `result` 变量的赋值,仍然留在有着 `string2` 变量的作用域里头。随后将把那个用到 `result` 变量的 `println!` 语句,移出到内层作用域外面,在内层作用域结束之后。下面清单 10-23 中的代码将不会编译。
|
||||
|
||||
|
||||
文件名:`src/main.rs`
|
||||
|
||||
|
||||
```rust
|
||||
fn longest<'a>(x: &'a str, y: &'a str) -> &'a str {
|
||||
if x.len() > y.len() {
|
||||
x
|
||||
} else {
|
||||
y
|
||||
}
|
||||
}
|
||||
|
||||
fn main() {
|
||||
let string1 = String::from("长字符串就是长");
|
||||
let result;
|
||||
|
||||
{
|
||||
let string2 = String::from("xyz");
|
||||
result = longest(string1.as_str(), string2.as_str());
|
||||
}
|
||||
println! ("最长的字符串为 {}", result);
|
||||
}
|
||||
```
|
||||
|
||||
*清单 10-23:尝试在 `string2` 已超出作用域后使用 `result`*
|
||||
|
||||
|
||||
在尝试编译此代码时,咱们会得到以下报错:
|
||||
|
||||
|
||||
```console
|
||||
$ cargo run lennyp@vm-manjaro
|
||||
Compiling lifetimes_demo v0.1.0 (/home/lennyp/rust-lang/lifetimes_demo)
|
||||
error[E0597]: `string2` does not live long enough
|
||||
--> src/main.rs:15:44
|
||||
|
|
||||
15 | result = longest(string1.as_str(), string2.as_str());
|
||||
| ^^^^^^^^^^^^^^^^ borrowed value does not live long enough
|
||||
16 | }
|
||||
| - `string2` dropped here while still borrowed
|
||||
17 | println! ("最长的字符串为 {}", result);
|
||||
| ------ borrow later used here
|
||||
|
||||
For more information about this error, try `rustc --explain E0597`.
|
||||
error: could not compile `lifetimes_demo` due to previous error
|
||||
```
|
||||
|
||||
报错显示,要让 `result` 对那个 `println!` 语句有效,`string2` 将需要在外层作用域结束前一直有效。Rust (编译器)之所以清楚这点,是因为咱们使用同一生命周期参数 `'a`,注解了该函数的参数与返回值。
|
||||
|
||||
而咱们而作为人类,则可以看一下这段代码,并发现 `string1` 要长于 `string2`,而由此 `result` 将包含到 `string1` 的引用。由于 `string1` 尚未超出作用域,那么到 `string1` 的某个引用,对于 `println!` 语句仍将有效。然而编译器在此情形下,却无法看出该引用是有效的。咱们已告知 Rust,由 `longest` 函数所返回引用的生命周期,与所传入参数声的明周期中较小者相同。因此,借用检查器就会因代码中可能有着无效的引用,而不容许清单 10-23 中代码。
|
||||
|
||||
|
||||
请尝试设计更多在传入 `longest` 函数的值与引用生命周期,及返回引用使用方式上各不相同的试验。在咱们编译前,要就这些试验是否会通过借用检查器的检查,做出一些假定;随后检查发现,咱们所做出的假定是否正确!
|
||||
|
||||
|
||||
### 从生命周期角度思考
|
||||
|
||||
**Thinking in Terms of Lifetimes**
|
||||
|
||||
|
||||
咱们需要以何种方式,来指明生命周期参数,取决于咱们的函数正在做什么。比如若咱们把 `longest` 函数实现,修改为始终返回第一个参数,而非最长的字符串切片,咱们就不需要在参数 `y` 上指定生命周期。以下代码将会编译:
|
||||
|
||||
文件名:`src/main.rs`
|
||||
|
||||
```rust
|
||||
fn longest<'a>(x: &'a str, y: &str) -> &'a str {
|
||||
x
|
||||
}
|
||||
```
|
||||
|
||||
|
||||
咱们已为参数 `x` 与返回值类型,指定了生命周期参数 `'a`,而由于参数 `y` 的生命周期,与 `x` 或返回值的生命周期并无任何关系,故咱们并未将 `'a` 指定给参数 `y`。
|
||||
|
||||
当从函数返回引用时,返回值类型的生命周期参数,就需要匹配某个参数的生命周期参数。而当返回的引用 *不* 指向某个参数时,其就必定会指向函数内部创建出的某个值。然而,由于该值在函数结束处将超出作用域,因此这就会是个悬空引用。请设想下面这个不会编译的 `longest` 函数尝试实现:
|
||||
|
||||
文件名:`src/main.rs`
|
||||
|
||||
```rust
|
||||
fn longest<'a>(x: &str, y: &str) -> &'a str {
|
||||
let result = String::from("真正长的字符串");
|
||||
result.as_str()
|
||||
}
|
||||
```
|
||||
|
||||
这里,尽管咱们已为返回类型指定了生命周期参数 `'a`,但由于返回值生命周期与参数的生命周期毫无关系,故这个实现将编译失败。下面是咱们会得到的报错:
|
||||
|
||||
```console
|
||||
$ cargo run lennyp@vm-manjaro
|
||||
Compiling lifetimes_demo v0.1.0 (/home/lennyp/rust-lang/lifetimes_demo)
|
||||
error[E0515]: cannot return reference to local variable `result`
|
||||
--> src/main.rs:11:5
|
||||
|
|
||||
11 | result.as_str()
|
||||
| ^^^^^^^^^^^^^^^ returns a reference to data owned by the current function
|
||||
|
||||
For more information about this error, try `rustc --explain E0515`.
|
||||
warning: `lifetimes_demo` (bin "lifetimes_demo") generated 2 warnings
|
||||
error: could not compile `lifetimes_demo` due to previous error; 2 warnings emitted
|
||||
```
|
||||
|
||||
问题在于,那个 `result` 会在 `longest` 函数结束处超出作用域而被清理掉。而咱们还在尝试返回到该函数中 `result` 的引用。咱们没有办法指定出会纠正这个悬空引用的生命周期参数,而 Rust 也不会容许咱们创建出悬空引用。在这种情况下,最佳修复将是返回有着所有权的数据类型,而非某个引用(注:这样看来引用是没有所有权的),从而随后由调用函数,the calling function,负责清理该值。
|
||||
|
||||
最终,生命周期语法是关于把函数的不同参数与返回值的生命周期联系起来的。一旦他们联系起来,那么 Rust 就有了足够信息,来实现涉及内存安全的操作,并拦下会创建出悬空指针或危及内存安全的操作。
|
||||
|
||||
|
||||
### 结构体定义中的生命周期注解
|
||||
|
||||
**Lifetime Annotations in Struct Definitions**
|
||||
|
||||
|
||||
到目前为止,咱们曾定义的结构体,都保存着一些自有类型。咱们可定义出保存引用的结构体,但那样的话,咱们将需要在结构体定义中的每个引用上,添加生命周期注解。下面清单 10-24 有个名为 `ImportedExcerpt`,保存着一个字符串切片的结构体。
|
||||
|
||||
文件名:`src/main.rs`
|
||||
|
||||
```rust
|
||||
struct ImportantExcerpt<'a> {
|
||||
part: &'a str,
|
||||
}
|
||||
|
||||
fn main() {
|
||||
let novel = String::from("请叫我伊萨梅尔。多年以前.....");
|
||||
let first_sentence = novel.split('。').next().expect("找不到一个 '。'");
|
||||
let i = ImportantExcerpt {
|
||||
part: first_sentence,
|
||||
};
|
||||
}
|
||||
```
|
||||
|
||||
*清单 10-24:保存着一个引用的结构体,因此就需要生命周期注解*
|
||||
|
||||
此结构体拥有保存着是个引用的字符串切片的单一字段 `part`。与通用数据类型(泛型),generic data types,下一样,咱们在结构他名字后的尖括号里,声明了通用声明周期参数,进而就可以在结构体定义代码体中,使用那个生命周期参数。这个注解表示,`ImportantExcerpt` 的实例,无法存活超过其在 `part` 字段中所保存的那个引用,this annotation means an instance of `ImportedExcerpt` can't outlive the reference it holds in its `part` field。
|
||||
|
||||
这里的 `main` 函数会创建出 `ImportantExcerpt` 结构体的,保存着到由变量 `novel` 拥有的 `String` 的第一个句子引用的一个示例。`novel` 中的数据在这个 `ImportantExcerpt` 实例被创建之前就存在了。此外,在这个 `ImportantExcerpt` 超出作用域之前,`novel` 不会超出作用域,因此这个 `ImportantExcerpt` 实例中的引用是有效的。
|
||||
|
||||
|
||||
### 生命周期的省略
|
||||
|
||||
**Lifetime Elision**
|
||||
|
||||
|
||||
咱们已经了解到每个引用都有生命周期,以及需要给使用了引用的函数与结构体,指明生命周期参数。不过,在第 4 章中的清单 4-9 中,咱们曾有一个不带生命周期注解也被编译了的函数,在下面清单 10-25 中再次予以展示。
|
||||
|
||||
|
||||
文件名:`src/main.rs`
|
||||
|
||||
```rust
|
||||
fn first_word(s: &str) -> &str {
|
||||
let bytes = s.as_bytes();
|
||||
|
||||
for (i, &item) in bytes.iter().enumerate() {
|
||||
if item == b' ' {
|
||||
return &s[..i];
|
||||
}
|
||||
}
|
||||
|
||||
&s[..]
|
||||
}
|
||||
```
|
||||
|
||||
*清单 10-25:咱们曾在清单 4-9 中定义的一个即使其中的参数与返回值均为引用变量,而不带生命周期注解还仍编译了的函数*
|
||||
|
||||
|
||||
这个函数不带生命周期注解仍会编译的原因,是历史遗留的:在 Rust 早期版本(`pre-1.0`)中,由于每个引用都需要显式生命周期,因此该代码就不会编译。那个时候,该函数签名会被写成下面这样:
|
||||
|
||||
```rust
|
||||
fn first_word<'a>(s: &'a str) -> &'a str {
|
||||
```
|
||||
|
||||
在编写许多 Rust 代码后,Rust 团队发现,Rust 程序员们在某些特定情形下,会一次又一次地敲入许多同样的生命周期注解。而这些特定情形,是可被预测的,并遵循了少数几种确定性模式,a few deterministic patterns。Rust 开发者们便把这些模式,编程进了编译器的代码,于是借用检查器就可以推断出这些情形下的生命周期,而无需显式的注解。
|
||||
|
||||
由于存在合并更多确定性模式,并将他们到编译器的可能,因此讲 Rust 的这段历史是有必要的。今后,或许就只要求更少甚至没有生命周期注解。
|
||||
|
||||
编程到 Rust 引用分析中的那些确定性模式,被称为 *生命周期省略规则,lifetime elision rules*。这些规则并非 Rust 程序员要遵循的;他们是编译器将考虑的一套特殊情形,并在咱们的代码符合这些情形时,咱们就不需要显式地写出生命周期。
|
||||
|
||||
这些省略规则并不提供完全的推断。在 Rust 明确地应用了这些规则,但仍存在引用具有什么样的生命周期方面的模糊性时,编译器将不会就其余引用变量应有什么样的生命周期,加以猜测。相比于猜测,编译器将给到咱们,可通过添加生命周期注解而解决的一个报错。
|
||||
|
||||
函数或方法参数上的生命周期,被称为 *输入生命周期,input lifetimes*,而在返回值上的生命周期,则被称为 *输出生命周期,output lifetimes*。
|
||||
|
||||
在没有显式注解时,编译器会运用三条规则,来计算出引用的生命周期。首条规则适用于输入生命周期,而第二及第三条规则,则都适用于输出生命周期。若编译器到了这三条规则的结束处,仍有其未能计算出生命周期的引用,那么编译器就会以报错而停止。这三条规则适用于 `fn` 定义及 `impl` 代码块都适用。
|
||||
|
||||
首条规则即为,编译器会指派生命周期参数给是引用的各个参数。也就是说,有着一个参数的函数,会获得一个生命周期参数:`fn foo<'a>(x: &'a i32)`;而有着两个参数的函数,就会得到两个单独生命周期参数:`fn foo<'a, 'b>(x: &'a i32, &'b i32)`;如此等等。
|
||||
|
||||
第二条规则,则是当确切地只有一个输入生命周期参数时,那个生命周期,就被指派给全部输出生命周期参数:`fn foo<'a>(x: &'a i32) -> &'a i32`。
|
||||
|
||||
第三条规则,当有多个输入生命周期参数,而由于这是个方法(这条规则是针对结构体上的方法),其中之一为 `&self` 或 `&mut self` 时,那么 `self` 的生命周期,便会被指派给全部输出生命周期参数。由于只有较少必要符号,因此这第三条规则,就会令到方法阅读与编写起来体验更佳。
|
||||
|
||||
下面咱们就来充当编译器。咱们将应用这些规则,来计算出清单 10-25 中,`first_word` 函数签名里各个引用的生命周期。函数签名以不带与其中引用关联的任何生命周期开始:
|
||||
|
||||
```rust
|
||||
fn first_word(s: &str) -> &str {
|
||||
```
|
||||
|
||||
随后编译器便应用首条规则,其指出了各个参数会获取到各自的生命周期。与平常一样,咱们将把该生命周期叫做 `'a`,那么现在函数签名就是这样的:
|
||||
|
||||
```rust
|
||||
fn first_word<'a>(s: &'a str) -> &str {
|
||||
```
|
||||
|
||||
由于这里只有一个输入生命周期,因此第二条规则便会适用。第二条规则指出,一个的输入参数生命周期,会被指派给输出生命周期,那么现在这个函数签名就是这样的:
|
||||
|
||||
```rust
|
||||
fn first_word<'a>(s: &'a str) -> &'a str {
|
||||
```
|
||||
|
||||
现在这个函数签名中的全部引用,都有了生命周期,进而编译器就可以在无需程序员注解函数签名中的生命周期的情况下,继续其分析了。
|
||||
|
||||
接下来就要看看另一个示例,这次要使用清单 10-20 中,一开始编写时没有生命周期参数的那个 `longest` 函数:
|
||||
|
||||
```rust
|
||||
fn longest(x: &str, y: &str) -> &str {
|
||||
```
|
||||
|
||||
首先来应用第一条规则:各个参数都得到自己的生命周期。这次不是一个而是两个参数,那么这里就有两个生命周期:
|
||||
|
||||
```rust
|
||||
fn longest<'a, 'b>(x: &'a str, y: &'b str) -> &str {
|
||||
```
|
||||
|
||||
咱们可以看出,由于有多于一个的输入生命周期,因此第二条规则便不适用。因为 `longest` 是个函数而非方法,参数中没有一个是 `self`,因此第三条规则也不适用。在历经全部三条规则后,咱们仍未计算出返回值类型的生命周期为何。这就是咱们在尝试编译清单 10-20 中代码时,收到错误的原因:编译器历经这些生命周期省略规则,而仍未计算出函数签名中引用的全部生命周期。
|
||||
|
||||
由于第三条规则实际上只适用于方法签名,咱们接下来就要看看在方法上下文中的生命周期,以发现为何第三条规则,就意味着咱们不必经常注解方法签名中的生命周期。
|
||||
|
||||
|
||||
### 方法定义中的生命周期注解
|
||||
|
||||
**Lifetime Annotations in Method Definitions**
|
||||
|
||||
|
||||
当咱们在结构体上实现带有生命周期的方法时,咱们会使用与清单 10-11 中所展示的泛型参数同样语法。其中咱们会根据其是否与结构体字段,或方法参数及返回值相关,而声明出并用到生命周期参数。
|
||||
|
||||
由于结构体字段的生命周期是结构体类型的一部分,因此他们总是需要声明在 `impl` 关键字之后,且随后会在结构体名字之后用到。
|
||||
|
||||
在 `impl` 代码块里的方法签名中,一些引用可能与结构体字段中的引用生命周期相关,也可能他们是独立的。此外,生命周期省略规则通常会发挥作用,从而在方法签名中,生命周期注解就不是必要的。咱们来看看一些使用咱们曾于清单 10-24 中定义的名为 `ImportantExcerpt` 结构体的示例。
|
||||
|
||||
首先,咱们将使用一个名为 `level` 的方法,其唯一参数是个到 `self` 引用,且返回值为非到任何东西引用的 `i32`:
|
||||
|
||||
```rust
|
||||
impl<'a> ImportantExcerpt<'a> {
|
||||
fn level(&self) -> i32 {
|
||||
3
|
||||
}
|
||||
}
|
||||
```
|
||||
|
||||
|
||||
`impl` 后的生命周期参数声明,与类型名字后其使用,都是必须的,但由于第一条省略规则的原因,咱们未被要求注解其中到 `self` 引用的生命周期。
|
||||
|
||||
下面是个其中第三条生命周期省略规则适用的示例:
|
||||
|
||||
```rust
|
||||
impl<'a> ImportantExcerpt<'a> {
|
||||
fn announce_and_return_part(&self, announcement: &str) -> &str {
|
||||
println! ("请注意:{}", announcement);
|
||||
self.part
|
||||
}
|
||||
}
|
||||
```
|
||||
|
||||
这里有两个输入生命周期,那么 Rust 就会适用首条生命周期省略规则,而赋予 `&self` 与 `announcement` 其各自的生命周期。随后,由于其中一个参数是 `&self`,那么返回值类型就会得到 `&self` 的生命周期,进而全部生命周期都得到了计算。
|
||||
|
||||
|
||||
### 静态生命周期
|
||||
|
||||
**The Static Lifetime**
|
||||
|
||||
|
||||
咱们需要讨论的一种特殊生命周期是 `'static`,其表示受其影响的引用,*可以* 在程序整个持续时间内存活。所有字符串字面值,都有着 `'static` 的生命周期,咱们可将其注解为下面这样:
|
||||
|
||||
```rust
|
||||
let s: &'static str = "我有静态的生命周期。";
|
||||
```
|
||||
|
||||
此字符串的文本,被直接存储在该程序二进制数据中,而这是一直可用的。由此,所有字符串字面值的生命周期便是 `'static`。
|
||||
|
||||
在一些错误消息中,咱们或许会看到使用 `'static` 生命周期的建议。不过在给引用指定 `'static` 生命周期之前,请考虑一下手头的这个引用,是否会存活到整个程序的生命周期,以及咱们是否想要他存活到整个程序的生命周期。多数时候,建议 `'static` 生命周期的错误消息,都是由尝试创建悬空引用,或可用生命周期不匹配导致。在这些情况下,解决办法是修复这些问题,而非指定出 `'static` 生命周期。
|
||||
|
||||
|
||||
## 泛型参数、特质边界与生命周期三位一体
|
||||
|
||||
**Generic Type Parameters, Trait Bounds, and Lifetimes Together**
|
||||
|
||||
|
||||
咱们来简要地看看,在一个函数中,一起指定出泛型参数、特质边界与生命周期的语法!
|
||||
|
||||
```rust
|
||||
use std::fmt::Display;
|
||||
|
||||
fn longest_with_an_announcement<'a, T>(
|
||||
x: &'a str,
|
||||
y: &'a str,
|
||||
ann: T,
|
||||
) -> &'a str
|
||||
where
|
||||
T: Display,
|
||||
{
|
||||
println! ("通知!{}", ann);
|
||||
if x.len() > y.len() {
|
||||
x
|
||||
} else {
|
||||
y
|
||||
}
|
||||
}
|
||||
```
|
||||
|
||||
这便是清单 10-21 中,返回两个字符串切片中较长者的 `longest` 函数。不过现在他有了个泛型 `T` 名为 `ann` 的额外参数,泛型 `T` 可以实现了由 `where` 子句所指定的 `Display` 特质的任何类型填入。这个额外参数,将被使用 `{}` 打印出来,这便是为何 `Display` 特质为必要的原因。由于生命周期是泛型的一种,因此其中的生命周期参数 `'a` 与泛型参数 `T`,便处于函数名称后尖括号内的同一清单里。
|
||||
|
||||
|
||||
# 本章小结
|
||||
|
||||
在这一章中,咱们谈到了很多东西!现在咱们清楚了泛型参数、特质与特质边界,与泛型生命周期参数,那么就准备好编写在许多不同情况下工作,不带有重复的代码了。泛型参数实现了将代码应用于不同类型。特质与特质边界确保即使类型是通用的,他们仍将有着代码所需的行为。咱们了解了如何使用生命周期注解,来保证这种灵活代码不会有任何悬空引用。且所有分析,都发生在编译时,其不会影响到运行时性能!
|
||||
|
||||
不论相信与否,关于咱们在本章讨论的这些话题,要掌握的东西远不止这些:第 17 章会讨论特质对象,trait objects,其是运用特质的另一种方式。还有更多咱们只会在极复杂场景下,才需要的涉及到更复杂场景的生命周期注解;要了解那些生命周期注解,咱们应阅读 [Rust 指南](https://doc.rust-lang.org/reference/index.html)。不过接下来,咱们将了解怎样编写 Rust 中的测试,从而就可以确保所咱们的代码,以其应有的方式工作。
|
394
src/generic_types_traits_and_lifetimes/traits.md
Normal file
394
src/generic_types_traits_and_lifetimes/traits.md
Normal file
@ -0,0 +1,394 @@
|
||||
# 特质:定义共用行为
|
||||
|
||||
*特质,a trait*,定义了特定类型所具有,并可与其他类型共用的功能。咱们可使用特质,来以抽象方式定义出共用行为。而运用 *特质边界,trait bounds*,咱们便可以指明带有特定行为的任意类型的泛型,we can use *trait bounds* to specify that a generic type can be any type that has certain behavior。
|
||||
|
||||
|
||||
> 注意:特质与其他语言中名为 *接口,interfaces* 的特性类似,虽然有一些差别。
|
||||
|
||||
|
||||
## 定义特质
|
||||
|
||||
**Defining a Trait**
|
||||
|
||||
|
||||
类型的行为,是由可在该类型上调用的方法,所组成的。若咱们能于不同类型上调用同样方法时,那么这些不同类型就共用了同样行为。特质定义,是为定义出完成某种目的一套必要行为,而把方法签名编组在一起的一种方式,trait definitions are a way to group method signatures together to define a set of behaviors necessary to accomplish some purpose。
|
||||
|
||||
比如说,咱们有着保存了几种类别与数量文本的多个结构体:保存着特定地方新闻报道的 `NewsArticle` 结构体,与最多有 280 个字符、带有表明其是否为一条新推文、retweet 或另一推文回复的 `Tweet` 结构体。
|
||||
|
||||
而咱们则打算构造出一个,可以把可能存储于某个 `NewsArticle` 或 `Tweet` 实例中的数据的摘要信息显式出来的,名为 `aggregator` 的媒体聚合器库代码箱。要实现这个目的,咱们就需要每个类型的摘要,而咱们将通过调用实例上的 `summarize` 方法,请求摘要信息。下面清单 10-12 便给出了表达此行为的一个公开 `Summary` 特质定义。
|
||||
|
||||
|
||||
文件名:`src/lib.rs`
|
||||
|
||||
|
||||
```rust
|
||||
pub trait Summary {
|
||||
fn summarize(&self) -> String;
|
||||
}
|
||||
```
|
||||
|
||||
*清单 10-12:由 `summarize` 方法提供行为,组成的一个 `Summary` 特质*
|
||||
|
||||
这里咱们使用 `trait` 关键字,与随后的特质名字,即此示例中的 `Summary`,而声明出了一个特质。咱们还把该特质声明为了 `pub`,从而依赖于此代码箱的代码箱,也可利用上这个特质,如同咱们将在下面几个示例中所看到的那样。而在花括号里面,咱们要声明出,对实现了这个特质的那些类型行为加以描述的方法签名,在此示例中便是 `fn summarize(&self) -> String`。
|
||||
|
||||
在方法签名之后,咱们没有提供位于花括号里的方法实现,而是使用了一个分号。实现此特质的每种类型,必须为该方法的方法体,提供其自己的定制行为。编译器会强制要求,任何有着 `Summary` 特质的类型,都将要有与此签名完全一致的 `summarize` 方法定义好。
|
||||
|
||||
其代码体中,特质可有多个方法:一行一个地列出方法签名,同时每行都以分号结束。
|
||||
|
||||
|
||||
## 在类型上实现某个特质
|
||||
|
||||
**Implementing a Trait on a Type**
|
||||
|
||||
|
||||
既然咱们已定义出 `Summary` 特质方法所需的签名,咱们便可以在咱们的媒体聚合器中的那些类型上实现他了。下面清单 10-13 给出了在 `NewsArticle` 结构体上,使用标题、作者以及处所字段,来创建出 `summaryize` 方法返回值的一个 `Summary` 实现。而对于 `Tweet` 结构体,咱们则把 `summarize`,定义为假定推文已被限制为 280 字符时,返回用户名加上推文的全部文字。
|
||||
|
||||
文件名:`src/lib.rs`
|
||||
|
||||
```rust
|
||||
pub struct NewsArticle {
|
||||
pub headline: String,
|
||||
pub location: String,
|
||||
pub author: String,
|
||||
pub content: String,
|
||||
}
|
||||
|
||||
impl Summary for NewsArticle {
|
||||
fn summarize(&self) -> String {
|
||||
format! ("{}, by {} ({})", self.headline, self.author, self.location)
|
||||
}
|
||||
}
|
||||
|
||||
pub struct Tweet {
|
||||
pub username: String,
|
||||
pub content: String,
|
||||
pub reply: bool,
|
||||
pub retweet: bool,
|
||||
}
|
||||
|
||||
impl Summary for Tweet {
|
||||
fn summarize(&self) -> String {
|
||||
format! ("{}: {}", self.username, self.content)
|
||||
}
|
||||
}
|
||||
```
|
||||
|
||||
*清单 10-13:在 `NewsArticle` 与 `Tweet` 两个类型上实现 `Summary` 特质*
|
||||
|
||||
|
||||
在类型上实现特质类似于实现常规方法。区别在于,在 `impl` 之后,咱们放置的是咱们打算实现特质的名字,之后要使用 `for` 关键字,后面要指定咱们打算为其实现特质的类型名字。在 `impl` 代码块内,咱们要放入特质定义所定义的方法签名。咱们不再于各个签名之后添加分号,而是要使用花括号,并将咱们想要这个特质对于特定类型而所具有的方法,填充到方法体中。
|
||||
|
||||
既然库已在 `NewsArticle` 与 `Tweet` 上实现了 `Summary` 特质,那么库代码箱的用户,就可以如同调用常规方法的那样,调用 `NewsArticle` 与 `Tweet` 实例上的这些特质方法了。唯一区别就是,用户必须将该特质,以及那些类型,同时带入到作用域中。下面就是某个二进制代码箱,怎样能用到咱们的 `aggregator` 库代码箱的示例:
|
||||
|
||||
|
||||
```rust
|
||||
use aggregator::{Summary, Tweet};
|
||||
|
||||
fn main() {
|
||||
let tweet = Tweet {
|
||||
username: String::from("horse_ebooks"),
|
||||
content: String::from(
|
||||
"当然,跟大家已经清楚的一样了,朋友们",
|
||||
),
|
||||
reply: false,
|
||||
retweet: false,
|
||||
};
|
||||
|
||||
println!("1 条新推文: {}", tweet.summarize());
|
||||
}
|
||||
```
|
||||
|
||||
此代码会打印 `1 条推文:horse_ebooks: 当然,跟大家已经清楚的一样了,朋友们`。
|
||||
|
||||
依赖于 `aggregator` 代码箱的其他代码箱,同样可以将 `Summary` 特质带入其作用域,以在他们自己的类型上实现 `Summary`。有个限制条件要注意,即只有在特质或类型二者至少有一个属于代码箱本地的时,咱们才能在类型上实现特质。比如,由于定制类型 `Tweet` 对于咱们的代码箱 `aggregator` 是本地的,因此咱们可以将比如 `Display` 这样的标准库特质,像 `aggregator` 代码箱功能的一部分那样,实现在 `Tweet` 上。由而于那个特质 `Summary` 属于 `aggregator` 代码箱本地,咱们便还可在咱们的 `aggregator` 代码箱中,将其实现在 `Vec<T>` 上。
|
||||
|
||||
|
||||
不过咱们是无法将外部特质,实现在外部类型上的。比如,由于 `Display` 特质与 `Vec<T>` 类型,都是定义在标准库中,而均不属于咱们的 `aggregator` 代码箱,咱们就不能在 `aggregator` 代码箱里头,将 `Display` 特质实现在 `Vec<T>` 上。这种限制属于名为 *内聚,coherrnce* 的属性的一部分,更具体地说,便是 *孤儿规则,the orphan rule*,之所以这样叫法,是由于父类型缺席了,this restriction is part of a property called *coherence*, and more specifically the *orphan rule*, so named because the parent type is not present。这条规则确保了其他人的代码无法破坏咱们代码,反之亦然。若没有这条规则,两个代码箱就会对同样类型实现同一特质,那么 Rust 就不清楚要使用那个实现了。
|
||||
|
||||
|
||||
## 默认实现
|
||||
|
||||
**Default Implementions**
|
||||
|
||||
|
||||
给特质中某个或全部方法以默认行为,而非在所有类型上都要求实现全部方法,有的时候会是有用的做法。这样做之后,当咱们在某个特定类型上实现特质时,咱们就可以保留或重写,override,各个方法的默认行为。
|
||||
|
||||
下面清单 10-14 就给 `Summary` 特质的 `summarize` 方法,指定了一个默认字符串,而非如同在清单 10-12 中咱们曾做的,只定义出方法签名。
|
||||
|
||||
文件名:`src/lib.rs`
|
||||
|
||||
```rust
|
||||
pub trait Summary {
|
||||
fn summarize(&self) -> String {
|
||||
String::from("了解更多......")
|
||||
}
|
||||
}
|
||||
```
|
||||
|
||||
*清单 10-14:定义有着 `summarize` 方法默认实现的 `Summary` 特质*
|
||||
|
||||
而要使用默认实现来对 `NewsArticle` 的实例进行摘要,咱们就要以 `impl Summary for NewsArticle {}`,指明一个空的 `impl` 代码块。
|
||||
|
||||
尽管不再直接在 `NewsArticle` 类型上定义,那个 `summarize` 方法,但咱们是提供了一个默认实现的,并已指明 `NewsArticle` 类型实现了 `Summary` 特质。由此,咱们就可以在某个 `NewsArticle` 实例上,调用这个 `summarize` 方法,如同下面这样:
|
||||
|
||||
```rust
|
||||
let article = NewsArticle {
|
||||
headline: String::from("企鹅队赢得斯坦利杯锦标赛!"),
|
||||
location: String::from("美国,宾夕法尼亚州,匹兹堡"),
|
||||
author: String::from("Iceburgh"),
|
||||
content: String::from(
|
||||
"匹兹堡企鹅队再度成为美国曲棍球联盟 \
|
||||
NHL 中的最佳球队。"
|
||||
),
|
||||
};
|
||||
|
||||
println! ("有新文章可读!{}", article.summarize());
|
||||
```
|
||||
|
||||
此代码会打印出 `有新文章可读!了解更多......`。
|
||||
|
||||
创建默认实现,不要求咱们对清单 10-13 中,在 `Tweet` 上 `Summary` 的实现,做任何修改。原因是对某个默认实现进行重写的语法,与实现不具有默认实现的特质方法语法相同。
|
||||
|
||||
默认实现可调用同一特质中的其他方法,即使那些别的方法没有默认实现。以这种方式,特质就可以提供到很多有用功能,且只要求特质实现者类型,指明其的一小部分方法。比如,咱们就可以将 `Summary` 特质,定义为有着一个要求予以实现的 `summarize_author` 方法,并在随后定义了有着调用了 `summarize_author` 方法默认实现的 `summarize` 方法:
|
||||
|
||||
```rust
|
||||
pub trait Summary {
|
||||
fn summarize_author(&self) -> String;
|
||||
|
||||
fn summarize(&self) -> String {
|
||||
format! ("(了解更多来自 {} ......)", self.summarize_author())
|
||||
}
|
||||
}
|
||||
```
|
||||
|
||||
而要使用此版本的 `Summary`,咱们只需在某个类型上实现该特质时,定义出 `summarize_author` 方法:
|
||||
|
||||
```rust
|
||||
impl Summary for Tweet {
|
||||
fn summarize_author(&self) -> String {
|
||||
format! ("@{}", self.username)
|
||||
}
|
||||
}
|
||||
```
|
||||
|
||||
定义出 `summarize_author` 后,咱们就可以在 `Tweet` 结构体的实例上,调用 `summarize` 方法了,而 `summarize` 的默认实现,将调用咱们所提供的 `summarize_author` 的定义。由于咱们已实现了 `summarize_author`,在不要求咱们编写任何更多代码下,`Summary` 特质就已给到 `summarize` 方法的行为。
|
||||
|
||||
```rust
|
||||
let tweet = Tweet {
|
||||
username: String::from("horse_ebooks"),
|
||||
content: String::from(
|
||||
"当然,跟大家已经清楚的一样了,朋友们",
|
||||
),
|
||||
reply: false,
|
||||
retweet: false,
|
||||
};
|
||||
|
||||
println!("1 条新推文: {}", tweet.summarize());
|
||||
```
|
||||
|
||||
此代码会打印 `1 条新推文: (了解更多来自 @horse_ebooks ......)`。
|
||||
|
||||
请注意从方法的重写实现,调用同一方法的默认实现是不可行的。
|
||||
|
||||
|
||||
## 作为参数的特质
|
||||
|
||||
**Traits as Parameters**
|
||||
|
||||
|
||||
既然清楚了怎样定义和实现特质,那么咱们就可以探讨一下,怎样运用特质来定义出接收不同类型参数的函数。咱们将使用之前清单 10-13 中,在 `NewsArticle` 与 `Tweet` 上曾实现过的 `Summary` 特质,来定义一个会调用其 `item` 参数上 `summarize` 方法的 `notify` 函数,而该参数便是实现了 `Summary` 特质类型的。要完成这个目的,咱们就要使用 `impl Trait` 语法,如下所示:
|
||||
|
||||
```rust
|
||||
pub fn notify(item: &impl Summary) {
|
||||
println! ("突发新闻!{}", item.summarize());
|
||||
}
|
||||
```
|
||||
|
||||
咱们给那个 `item` 参数指定了 `impl` 关键字和特质名字,而不是具体类型。这个参数会接受实现了指定特质的任何类型。在 `notify` 的函数体中,咱们就可以在 `item` 上,调用来自 `Summary` 特质的任何方法了,比如 `summarize`。咱们可以调用 `notify`,并传入 `NewsArticle` 或 `Tweet` 的任意实例。而以任意其他类型,比如 `String` 或 `i32`,调用该函数的代码,由于那些类型没有实现 `Summary`,就不会编译。
|
||||
|
||||
|
||||
### 特质边界语法
|
||||
|
||||
**Trait Bound Syntax**
|
||||
|
||||
|
||||
这种在简单情形下工作的 `impl Trait` 语法,实际上是被称作 *特质边界,trait bound* 的较长形式的语法糖,syntax sugar;其看起来像下面这样:
|
||||
|
||||
|
||||
```rust
|
||||
pub fn notify<T: Summary>(item: &T) {
|
||||
println! ("突发新闻!{}", item.summarize());
|
||||
}
|
||||
```
|
||||
|
||||
这种较长形式与上一小节中的示例是等价的,但要更冗长一些。咱们把特质边界(`Summary`),在冒号之后,与泛型参数声明放在一起,并在一对尖括号里面。
|
||||
|
||||
在简单情形下,`impl Trait` 这种语法是方便的,且令到代码更为简洁,而在别的情形下,较完整的特质边界语法,则能表达出更高复杂度。比如,咱们可以有两个实现 `Summary` 的参数。以 `impl Trait` 语法实现这种情况,看起来就会像下面这样:
|
||||
|
||||
```rust
|
||||
pub fn notify(item1: &impl Summary, item2: &impl Summary) {
|
||||
```
|
||||
|
||||
当咱们是要此函数允许 `item1` 与 `item2` 有着不同类型时(只要两个类型都实现了 `Summary` ),那么使用 `impl Trait` 语法便是恰当的。而当要的是强制这两个参数有着同一类型时,咱们就必须使用特质边界,像下面这样:
|
||||
|
||||
```rust
|
||||
pub fn notify<T: Summary>(item1: &T, item2: &T) {
|
||||
```
|
||||
|
||||
其中被指定为 `item1` 与 `item2` 两个参数类型的泛型 `T`,会对该函数加以约束,进而作为 `item1` 与 `item2` 的实参所传递值的具体类型必须相同。
|
||||
|
||||
|
||||
### 使用 `+` 语法,指定多个特质边界
|
||||
|
||||
**Specifying Multiple Trait Bounds with the `+` Syntax**
|
||||
|
||||
|
||||
咱们还可以指明多个特质边界。比方说咱们想要 `notify` 使用 `item` 上的 `summarize` 的同时,还要使用显示格式:咱们就要在 `notify` 定义中,指明 `item` 必须实现了 `Disply` 与 `Summary` 两个特质。使用 `+` 语法,咱们便可达到这个目的:
|
||||
|
||||
```rust
|
||||
pub fn notify(item &(impl Summary + Display)) {
|
||||
```
|
||||
|
||||
`+` 语法同样对泛型上的特质边界有效:
|
||||
|
||||
|
||||
```rust
|
||||
pub fn notify<T: Summary + Display>(item: &T) {
|
||||
```
|
||||
|
||||
有了指定的这两个特质,那么 `notify` 的函数体,便可调用 `summarize` 函数,及使用 `{}` 来格式化 `item` 了。
|
||||
|
||||
|
||||
#### 使用 `where` 子句,获得更清楚的特质边界
|
||||
|
||||
**Clearer Trait Bounds with `where` Clauses**
|
||||
|
||||
|
||||
使用过多的特质边界,有着其一些缺点。每个泛型都有自己的特质边界,那么有着多个泛型参数的函数,在其名字与其参数列表之间,就好包含很多特质边界信息,从而令到该函数签名难于阅读。出于这个原因,Rust 有着在函数签名之后的 `where` 子句里,指明特质边界的这种替代语法。从而与其写出下面这个签名:
|
||||
|
||||
```rust
|
||||
fn some_function<T: Display + Clone, U: Clone + Debug>(t: &T, u: &U) -> i32 {
|
||||
```
|
||||
|
||||
咱们便可像下面这样,使用 `where` 子句:
|
||||
|
||||
```rust
|
||||
fn some_function<T, U>(t: &T, u: &U) -> i32
|
||||
where T: Display + Clone,
|
||||
U: Clone + Debug
|
||||
{
|
||||
```
|
||||
|
||||
这个函数的签名,就不那么杂乱无章了:函数名、参数清单与返回值类型紧挨在一起,类似于与不带有很多特质边界的函数。
|
||||
|
||||
|
||||
## 实现了特质的返回值类型
|
||||
|
||||
**Returning Types that Implement Traits**
|
||||
|
||||
|
||||
咱们还也可以在返回值处,使用 `impl Trait` 语法来返回某种实现某个特质类型的值,如下所示:
|
||||
|
||||
|
||||
```rust
|
||||
fn return_summarizable() -> impl Summary {
|
||||
Tweet {
|
||||
username: String::from("horse_ebooks"),
|
||||
content: String::from(
|
||||
"当然,如同你或许已经知道的一样,朋友们"
|
||||
),
|
||||
reply: false,
|
||||
retweet: false,
|
||||
}
|
||||
}
|
||||
```
|
||||
|
||||
通过对返回值类型使用 `impl Summary`,而没有命名具体类型下,咱们便指明了 `returns_summarizable` 函数,会返回实现了 `Summary` 特质的类型。在此示例中,`returns_summarizable` 函数返回的是个 `Tweet`,而调用此函数的代码,则无需知会这一点。
|
||||
|
||||
仅以其实现了的特质,便指明了返回值类型这种能力,在闭包与迭代器语境下尤为有用,咱们在第 13 章就会讲到他们。闭包与迭代器会创建出只有编译器清楚的类型,或指定起来极长的类型。`impl Trait` 语法,就允许咱们简明地、在无需编写出极长类型下指定出,返回实现了 `Iterator` 特质的某种类型的函数。
|
||||
|
||||
然而,只有在返回单个类型时,咱们才能使用 `impl Trait`。比如下面这段在将返回值类型值指定为了 `impl Summary` 下,而要返回 `NewsArticle` 或 `Tweet` 的代码,就不会工作:
|
||||
|
||||
```rust
|
||||
fn returns_summarizable(switch: bool) -> impl Summary {
|
||||
if switch {
|
||||
NewsArticle {
|
||||
headline: String::from("企鹅队赢得斯坦利杯锦标赛!"),
|
||||
location: String::from("美国,宾夕法尼亚州,匹兹堡"),
|
||||
author: String::from("Iceburgh"),
|
||||
content: String::from(
|
||||
"匹兹堡企鹅队再度成为美国曲棍球联盟 \
|
||||
NHL 中的最佳球队。"
|
||||
),
|
||||
}
|
||||
} else {
|
||||
Tweet {
|
||||
username: String::from("horse_ebooks"),
|
||||
content: String::from(
|
||||
"当然,跟大家已经清楚的一样了,朋友们",
|
||||
),
|
||||
reply: false,
|
||||
retweet: false,
|
||||
}
|
||||
}
|
||||
}
|
||||
```
|
||||
|
||||
由于编译器中实现 `impl Trait` 语法方式方面的限制,返回 `NewsArticle` 或 `Tweet` 便是不允许的。在第 17 章的 [运用允许不同类型值的特质对象](Ch17_Object_Oriented_Programming_Features_of_Rust.md#使用允许不同类型值的特质对象) 小节,咱们就会降到如何编写有着这种行为的函数。
|
||||
|
||||
|
||||
## 运用特质边界,有条件地实现方法
|
||||
|
||||
**Using Trait Bounds to Conditionally Implement Methods**
|
||||
|
||||
|
||||
使用带有用到泛型参数 `impl` 代码块的特质边界,咱们便可根据实现了指定特质的类型,而有条件地实现方法,by using a trait bound with an `impl` block that uses generic type parameters, we can implement methods conditionally for types that implement the specified traits。比如下面清单 10-15 中的类型 `Pair<T>`,就会一直将那个 `new` 函数,实现为返回 `Pair<T>` 的新实例(回顾第 5 章的 [定义方法](Ch05_Using_Structs_to_Structure_Related_Data.md#方法的定义) 小节就知道,`Self` 就是那个 `impl` 代码块的类型别名,此示例中即 `Pair<T>`)。但在接下来的 `impl` 代码块中,若 `Pair<T>` 只在其内部类型 `T` 里,实现启用比较的 `PartialOrd` 特质,*与* 启用打印的 `Display` 特质,那么 `Pair<T>` 就只会实现 `cmp_display` 方法。
|
||||
|
||||
|
||||
```rust
|
||||
use std::fmt::Display;
|
||||
|
||||
struct Pair<T> {
|
||||
x: T,
|
||||
y: T,
|
||||
}
|
||||
|
||||
impl<T> Pair<T> {
|
||||
fn new(x: T, y: T) -> Self {
|
||||
Self { x, y }
|
||||
}
|
||||
}
|
||||
|
||||
impl<T: Display + PartialOrd> Pair<T> {
|
||||
fn cmp_display(&self) {
|
||||
if self.x >= self.y {
|
||||
println! ("极大数为 x = {}", self.x);
|
||||
} else {
|
||||
println! ("极大数为 y = {}", self.y);
|
||||
}
|
||||
}
|
||||
}
|
||||
```
|
||||
|
||||
*清单 10-15:根据特质边界,在泛型上有条件地实现方法,conditionally implementing methods on a generic type depending on trait bounds*
|
||||
|
||||
> **注意**:这里的 `new` 是个关联函数,而非方法!只能以 `Pair::new` 形式使用。要作为方法使用,函数就必须要有一个 `self` 参数。
|
||||
|
||||
咱们还可对实现了另一特质的任意类型,有条件地实现某个特质。在满足这些特质边界的类型上的特质实现,被称作 *一揽子实现,blanket implementations*,在 Rust 标准库中广泛使用了一揽子实现。比如,标准库就在实现了 `Display` 特质的全部类型上,实现了 `ToString` 特质。标准库中这个 `impl` 代码块,看起来与下面的类似:
|
||||
|
||||
```rust
|
||||
impl<T: Display> ToString for T {
|
||||
// --跳过代码--
|
||||
}
|
||||
```
|
||||
|
||||
由于标准库有着这个一揽子实现,咱们便可在实现了 `Display` 特质的全部类型上,调用由 `ToString` 特质所定义的 `to_string` 方法。比如,由于整数类型实现了 `Display` 特质,那么咱们就可以像下面这样,把整数转换为他们对应的 `String`:
|
||||
|
||||
```rust
|
||||
let s = 3.to_string();
|
||||
```
|
||||
|
||||
一揽子实现,会出现在特质文档的 “相关实现器,Implementors” 部分。
|
||||
|
||||
|
||||
特质与特质边界这两个特性,允许咱们编写出运用泛型参数来减少代码重复的代码,并还向编译器指出了咱们希望该泛型有着特定行为。随后编译器就能使用特质边界信息,来检查代码用到的全部具体类型,是否提供到正确行为。在一般的动态类型语言,dynamically typed languages,中,若调用某个类型上尚未定义的方法,咱们将在运行时收到报错。但 Rust 将这些错误移到了编译时,这样在代码还不能运行的时候,咱们就被强制要求修复这些问题。此外,由于已在编译时被检查过,因此咱们就不必编写检查运行时行为的代码。这样做在提升了性能的同时,不必放弃泛型灵活性。
|
Loading…
Reference in New Issue
Block a user