02｜所有权（上）：Rust是如何管理程序中的资源的？

思考题 1: 无法通过编译，可以将第 5 行代码修改为：let tmp_s = s.clone(); 思考题 2: 由于 Point 没有实现 Copy trait，所以在赋值过程中会产生 Move。

看完了刚更新的前2篇，感觉挺适合新手的，虽然长，但看下来一点儿也不枯燥，讲的挺有意思

好奇一个问题： fn main() { let s1 = "hello world".to_string(); let s2 = s1; // s1 不再有效，它的值发生了移动 } 显然上面代码很好理解，如果换一种方式。 fn main() { let arr = ["hello world".to_string()]; let s = arr[0]; // 报错：String 没有实现 Copy trait } 这里报错了，按理说不是应该会将所有权从 arr[0] 转移到 s 上面吗？但是 Rust 却提示 cannot move。我的理解是这样的，因为像数组这样的结构如果有效，那么它内部的每一个成员必须都要有效。如果数组中的某个元素发生了移动，那么会导致整个数组不可用，于是为了避免这种情况，Rust 要求数组里面的元素必须是可 Copy 的。如果需要转移所有权，那么 Rust 编译器就报错。否则会给用户造成一个错觉，好端端的数组为啥就不能用了。 如果用这个理论来解释的话，那么就又产生了一个问题。 fn main() { // 元素 let arr = ("hello world".to_string(), "hello world".to_string()); let s = arr.0; // 此处不报错 // arr.1 可以正常打印 println!("{}", arr.1); // hello world // 但打印 arr.0 和打印 arr 则报错，提示发生了移动 } 所以我很好奇，为啥会产生这种情况。为什么元组（还有结构体）允许局部的元素发生移动，但数组却不可以呢？还请老师帮忙解答一下

1. String类型，实际数据在堆上存储。 let tmp_s = s 循环第一次的时候，会移动所有权，s在栈上的内存虽然还在，但是被编译器视为无效变量或无效状态，所以第二次及以后的循环就不能实验变量s了，编译器会报错。 2. 结构体类型默认没有实现Copy trait, 赋值过程也会移动所有权。 当然从底层看，这个Point结构体的成员都是基本类型（基本类型实现了Copy）, 所以这个结构体的值是保存在栈上的，所以赋值操作，实际上底层是在栈上完整拷贝了一次Point结构体，但是编译器依然会把原来的Point结构体变量视为无效状态或无效变量。

思考题 1：编译报错；两处错误：变量 i 没有使用和 s 的所有权； 修改后如下： fn main() { let s = "I am a superman.".to_string(); for _ in 1..10 { let tmp_s = s.clone(); println!("s is {}", tmp_s); } } 思考题 2：移动；如果结构体中包含实现了 Copy trait，则会进行复制而不是移动

目前看来感觉看着最舒服的rust相关系列文章了，催催更新。这个系列会持续跟进，感谢作者。

老师，关于移动还是复制的那段话，我有个迷惑。。我能不能理解其实都是复制了栈上的数据，比如 a = 10u32 b = a 由于 10u32 是放栈上的，实际上是把 a 的数据复制了一份，然后 b 绑定了这份数据，因为数据是独立的，所以所有权也是独立的，a 和 b 各自拥有各自数据的所有权。 而 String 也是一样，把 a 的数据复制了一份到 b 上，但是这时候 a 的数据实际上是堆上数据的地址，所以复制的数据是这个堆上数据的地址，而不是堆上的数据，所以实际数据只有一份，所有权也是一份，这时候 b = a 就会把这一份所有权同时交给 b

默认做复制所有权的操作： 裸指针类型 裸指针类型也是copy语义吧

问题 1 改成 ``` let tmp_s = &s; ``` 即可

问题1：本来以为坑在s 因为s在第一次遍历时已经转移了，所以第二次遍历肯定会出错，所以编译器会报错，没有问题；但是实际上循环条件中i 会被多次修改，所以声明i时也应该增加mut； 问题2：结构体数据复合结构，所以对其进行赋值是实际上进行了所有权的转移。