RUST学习系列(四)--初识所有权系统

初识所有权，可以把它简单理解为一套生命周期控制法则。
由这些法则，衍生出一整套语言层面的概念和行为守则：

1. 移动语义

除非实现了 copy trait, RUST 默认执行移动语义，对应于 c++ 的 std::move，move后原变量即失效。
函数传值也是移动语义。

2. 借用

RUST借用 = c++引用 + 不可竞争规则
借用的本质是引用，是为了不产生所有权的变更，也不产生额外的资源分配，这一点和c++引用，本质一样。
但 RUST 为了保证在编译器排除隐藏 bug，在引用基础上增加了一定规则。

3. 不可竞争

引用分为常引用和可变引用，对同一变量在同一“作用域”，二者不可共存，如

let mut s: String = String::from("hello");
let s1 = &s;
let s2 = &mut s;
println!("s = {}", s1);
println!("s = {}", s2);

将编译错误，而以下可以正常运行：

let mut s: String = String::from("hello");
let s1 = &s;
println!("s = {}", s1);

let s2 = &mut s;
println!("s = {}", s2);

这里可以吐槽一下编译器的“智能”。

4. slice

slice 的出现是为了解决宿主已面目全非，而寄生者毫不知情的问题。
依赖的原理正式上述不可竞争规则，
因为 slice 的本质是常引用。

5. 小结

由此可以看出， RUST 编译器为将难查的数据冲撞问题扼杀在编译期，实施了较周全的考量，实乃煞费苦心。