diff --git a/book/contents/basic/ownership/ownership.md b/book/contents/basic/ownership/ownership.md index dc338043..f3950052 100644 --- a/book/contents/basic/ownership/ownership.md +++ b/book/contents/basic/ownership/ownership.md @@ -157,7 +157,7 @@ let s2 = s1; 好吧,就假定一个值可以拥有两个所有者,会发生什么呢? -当变量离开作用域后,Rust 会自动调用 `drop` 函数并清理变量的堆内存。不过由于两个 `String` 变量指向了同一位置。这就有了一个问题:当 `s1` 和 `s2` 离开作用域,它们都会尝试释放相同的内存。这是一个叫做**二次释放(double free)**的错误,也是之前提到过的内存安全性 BUG 之一。两次释放(相同)内存会导致内存污染,它可能会导致潜在的安全漏洞。 +当变量离开作用域后,Rust 会自动调用 `drop` 函数并清理变量的堆内存。不过由于两个 `String` 变量指向了同一位置。这就有了一个问题:当 `s1` 和 `s2` 离开作用域,它们都会尝试释放相同的内存。这是一个叫做 **二次释放(double free)** 的错误,也是之前提到过的内存安全性 BUG 之一。两次释放(相同)内存会导致内存污染,它可能会导致潜在的安全漏洞。 因此,Rust 这样解决问题:**当 `s1` 赋予 `s2` 后,Rust 认为 `s1` 不再有效,因此也无需在 `s1` 离开作用域后 `drop` 任何东西,这就是把所有权从 `s1` 转移给了 `s2`,`s1` 在被赋予 `s2` 后就马上失效了**。