|
|
|
@ -75,8 +75,10 @@ int* foo() {
|
|
|
|
|
|
|
|
|
|
理解了堆栈,接下来看一下*关于所有权的规则*,首先请谨记以下规则:
|
|
|
|
|
|
|
|
|
|
> 1. Rust 中每一个值都 `有且只有` 一个所有者(变量)
|
|
|
|
|
> 2. 当所有者(变量)离开作用域范围时,这个值将被丢弃(drop)
|
|
|
|
|
> 1. Rust 中每一个值都被一个变量所拥有,该变量被称之为值的所有者
|
|
|
|
|
> 2. 一个值同时只能被一个变量所拥有,或者说一个值只能拥有一个所有者
|
|
|
|
|
> 3. 当所有者(变量)离开作用域范围时,这个值将被丢弃(drop)
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
#### 变量作用域
|
|
|
|
|
|
|
|
|
@ -194,8 +196,9 @@ error[E0382]: use of moved value: `s1`
|
|
|
|
|
|
|
|
|
|
现在再回头看看之前的规则,相信大家已经有了更深刻的理解:
|
|
|
|
|
|
|
|
|
|
> 1. Rust 中每一个值都 `有且只有` 一个所有者(变量)
|
|
|
|
|
> 2. 当所有者(变量)离开作用域范围时,这个值将被丢弃(drop)
|
|
|
|
|
> 1. Rust 中每一个值都被一个变量所拥有,该变量被称之为值的所有者
|
|
|
|
|
> 2. 一个值同时只能被一个变量所拥有,或者说一个值只能拥有一个所有者
|
|
|
|
|
> 3. 当所有者(变量)离开作用域范围时,这个值将被丢弃(drop)
|
|
|
|
|
|
|
|
|
|
如果你在其他语言中听说过术语 **浅拷贝(shallow copy)** 和 **深拷贝(deep copy)**,那么拷贝指针、长度和容量而不拷贝数据听起来就像浅拷贝,但是又因为 Rust 同时使第一个变量 `s1` 无效了,因此这个操作被称为 **移动(move)**,而不是浅拷贝。上面的例子可以解读为 `s1` 被**移动**到了 `s2` 中。那么具体发生了什么,用一张图简单说明:
|
|
|
|
|
|
|
|
|
|