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

  • 时间:
  • 来源:互联网
版权声明:本文为博主原创文章,遵循 CC 4.0 BY-SA 版权协议,转载请附上原文出处链接和本声明。
本文链接:https://blog.csdn.net/wangchun511/article/details/103454303

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

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

本文链接http://element-ui.cn/news/show-693.aspx