From c5fe20e65edec7d75cce737f2d9938303616a97e Mon Sep 17 00:00:00 2001 From: tsai1993 <7903661+tsai1993@users.noreply.github.com> Date: Tue, 13 Mar 2018 10:22:21 +0000 Subject: [PATCH 1/2] Update ch17-02-trait-objects.md typo --- src/ch17-02-trait-objects.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/ch17-02-trait-objects.md b/src/ch17-02-trait-objects.md index 78d1385..721b405 100644 --- a/src/ch17-02-trait-objects.md +++ b/src/ch17-02-trait-objects.md @@ -280,7 +280,7 @@ a little bit /Carol --> - 返回值类型不为 `Self` - 方法没有任何泛型类型参数 -`Self` 关键字是我们要实现 trait 或方法的类型的别名。对象安全对于 tarit 对象是必须的，因为一旦有了 trait 对象，就不再知晓实现该 trait 的具体类型是什么了。如果 trait 方法返回具体的 `Self` 类型，但是 trait 对象忘记了其真正的类型，那么方法不可能使用已经忘却的原始具体类型。同理对于泛型类型参数来说，当使用 trait 时其会放入具体的类型参数：此具体类型编程了实现改 trait 的类型的一部分。当使用 trait 对象时其具体类型被抹去了，故无从得知放入泛型参数类型的类型是什么。 +`Self` 关键字是我们要实现 trait 或方法的类型的别名。对象安全对于 trait 对象是必须的，因为一旦有了 trait 对象，就不再知晓实现该 trait 的具体类型是什么了。如果 trait 方法返回具体的 `Self` 类型，但是 trait 对象忘记了其真正的类型，那么方法不可能使用已经忘却的原始具体类型。同理对于泛型类型参数来说，当使用 trait 时其会放入具体的类型参数：此具体类型编程了实现改 trait 的类型的一部分。当使用 trait 对象时其具体类型被抹去了，故无从得知放入泛型参数类型的类型是什么。 一个 trait 的方法不是对象安全的例子是标准库中的 `Clone` trait。`Clone` trait 的 `clone` 方法的参数签名看起来像这样： From 50710be715b7522cb1e45b61a52a733bb074096a Mon Sep 17 00:00:00 2001 From: tsai1993 <7903661+tsai1993@users.noreply.github.com> Date: Tue, 13 Mar 2018 13:24:22 +0000 Subject: [PATCH 2/2] Update ch19-01-unsafe-rust.md typo --- src/ch19-01-unsafe-rust.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/ch19-01-unsafe-rust.md b/src/ch19-01-unsafe-rust.md index 9ef0079..c893d31 100644 --- a/src/ch19-01-unsafe-rust.md +++ b/src/ch19-01-unsafe-rust.md @@ -16,7 +16,7 @@ 1. 解引用裸指针 2. 调用不安全的函数或方法 -3. 访问胡哦修改可变静态变量 +3. 访问或修改可变静态变量 4. 实现不安全 trait 有一点很重要，`unsafe` 并不会关闭借用检查器或禁用任何其他 Rust 安全检查：如果在不安全代码中使用引用，其仍会被检查。`unsafe` 关键字只是提供了那四个不会被编译器检查内存安全的功能。你仍然能在不安全块中获得某种程度的安全！