当前位置: 代码迷 >> 综合 >> RUST学习系列(四)--初识所有权系统
  详细解决方案

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

热度:43   发布时间:2023-09-05 20:12:05.0

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

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 编译器为将难查的数据冲撞问题扼杀在编译期,实施了较周全的考量,实乃煞费苦心。