课程名称:领略Rust之美,挑战双高语言
课程章节: 第3章 Rust进阶
主讲老师:叶枭
课程内容:
今天学习的内容是 Rust 中的所有权的唯一性。
上篇文章介绍了一些所有权的概念,包括:
-
每个值都有一个对应的变量作为它的所有者,该变量拥有对这个值的所有权。
-
当变量离开自己的作用域时,它的值就会被回收和释放掉。
关于所有权还有另一个特性,就是同一时间一个值只能有一个所有者。比如这段代码:
fn main() {
let s1 = String::from("hello");
let s2 = s1;
println!("{}", s1);
}
如果是有 JS 开发经验的朋友,第一反应是能打印出 s1 的值,是 hello。这段代码的逻辑在 JS 中确实是这样的。但是在 Rust 中运行却出乎意料:
报错信息 borrow of moved value: s1
的意思是变量 s1 的值已经被移动了,导致 s1 现在没有值,所以打印不出来。
正如示例中的 let s2 = s1
,它的意思是将变量 s1 绑定的值,从 s1 的身上转移到了 变量 s2 的身上,所以 s1 现在没有值了,编译器就会报错。
这就体现了所有权的一个特性:同一时间一个值只能有一个所有者。
课程收获
这节课学习了所有权的一个特性,即同一时刻一个值只能有一个所有者。所有权的规则保证了谁拥有对数据的绝对控制权,从而提高了 Rust 的内存安全性。这是 Rust 不同于其他编程语言的重要特色之一。