ToB企服应用市场:ToB评测及商务社交产业平台

标题: Rust所有权和借用规则示例 [打印本页]

作者: 玛卡巴卡的卡巴卡玛 时间: 2022-8-20 17:39
标题: Rust所有权和借用规则示例
众所周知，所有权是Rust区别于其他语言的一大特色，只要代码满足了所有权规则，我们就不用担心内存的泄露的问题。
让代码在编译阶段就解决内存的问题，而不是在运行崩溃后再调试。
Rust中，所有权和借用的规则其实并不复杂，所有权有3条规则，借用只有2条规则。
所有权的规则

1. Rust中的每一个值都有一个对应的变量作为它的所有者

这个规则很好理解，比如下面的2个值 5 和 hello分别属于变量 x和 y

fn main() {
let x = 5;
let y = String::from("hello");
println!("x = {}, and y = {}", x, y);
}

复制代码

2. 在同一时间内，值有且仅有一个所有者

比如下面的示例，当 x的值给了 y之后，x就不能再用了，值hello只能有一个所有者。

fn main() {
let x = String::from("hello");
let y = x;
println!("x = {}, y = {}", x, y); // 这里会报错
}

复制代码

3. 当所有者离开自己的作用域时，它持有的值就会被释放掉

fn main() {
let x = String::from("hello");
{
let y = String::from("world");
println!("{} {}", x, y);
}
println!("{} {}", x, y); // 这里会报错，获取不到 y，y已经释放了。
}

复制代码

借用（引用）的规则

Rust中，引用和借用是一个意思，用借用能更准确的表达变量传递的含义。
1. 在任何一段给定的时间里，你要么只能拥有一个可变引用，要么只能拥有任意数量的不可变引用

y 和z 都拥有x的不可变借用。

fn main() {
let x = 5;
let y = &x;
let z = &x;
println!("y = {}, z = {}", y, z);
}

复制代码

如果 y拥有可变借用，而 z拥有不可变借用，是不行的。

fn main() {
let mut x = 5;
let y = &mut x;
let z = &x; // 这里会报错，因为同一段时间内，既有x的不可变借用，又有可变借用
println!("y = {}, z = {}", y, z);
}

复制代码

2. 借用总是有效的

只要借用能编译，就说明借用是有效的，编译器会帮助我们确保借用都是有效的。

fn main() {
let x = vec![1, 2, 3];
lost(x);
let y = &x; // 这里编译会报错，因为 x 已经转移到 lost 函数中，在 main 中失效了
println!("y = {:?}", y);
}
fn lost(x: Vec<i32>) {
println!("lost: {:?}", x);
}

复制代码

下面这样借用就不会报错，因为x只是借用给 no_lost函数。

fn main() {
let x = vec![1, 2, 3];
not_lost(&x);
let y = &x;
println!("y = {:?}", y);
}
fn not_lost(x: &Vec<i32>) {
println!("lost: {:?}", x);
}

复制代码

总结

所有权和借用是Rust确保内存安全使用的重要手段，上面的示例用最简单的方式展示了这些规则。
实际项目中，刚开始其实很难保证所有权和借用的规则，会经常遇到编译不了的情况。
但是，一旦养成了习惯，写代码时，脑中自然浮现变量在内存中的情况，自然就写出了内存安全的代码。

免责声明：如果侵犯了您的权益，请联系站长，我们会及时删除侵权内容，谢谢合作！

欢迎光临 ToB企服应用市场:ToB评测及商务社交产业平台 (https://dis.qidao123.com/)