Update Ch10

This commit is contained in:
Unisko PENG 2023-04-13 11:41:51 +08:00
parent d9789a24cb
commit 83cd6e5552

View File

@ -454,7 +454,7 @@ let integer = Some(5);
let float = Some(5.0);
```
在 Rust 编译此代码时,他会执行单态化。在那个过程中,编译器会读取已在这两个 `Option<T>` 实例中用到的值,而识别到两种类型的 `Option<T>`:一个为 `i32`,同时另一个为 `f64`。这样一来,编译器就会把 `Option<T>` 的通用定义,展开为两个专门的 `i32``f64` 定义,由此就用这些特定类型,替换了通用定义。
在 Rust 编译此代码时,他会执行单态化。在那个过程中,编译器会读取这两个 `Option<T>` 实例中用到的值,并识别到两种类型的 `Option<T>`:一个为 `i32`,而另一个为 `f64`。这样一来,编译器就会把 `Option<T>` 的通用定义,展开为两个专门的 `i32``f64` 定义,由此就用这些特定类型,替换了通用定义。
单态化的代码版本,看起来与下面的类似(编译器会使用不同于这里为演示目的而使用的名字):
@ -478,7 +478,7 @@ fn main() {
}
```
个通用的 `Option<T>`,就被以编译器创建的具体定义给替换掉了。由于 Rust 将通用代码,编译为指明了各个实例中类型的代码,那么就不会为运用泛型,而付出运行时代价。在运行的时候,代码就只是会与原本早先手写的各个重复定义一样执行。单态化的过程,令到 Rust 的泛型特性,在运行时极为高效。
个通用的 `Option<T>`,就被以编译器创建的具体定义给替换掉了。由于 Rust 会把通用代码,编译到指明了各个实例中类型的代码,因此咱们就不会为运用泛型而付出运行时代价。在代码运行时,其会如同原本咱们曾重复了那些定义的代码一样执行。单态化的过程,令到 Rust 的泛型在运行时极为高效。
## 特质:定义共用行为