欢迎来到尧图网

客户服务 关于我们

您的位置:首页 > 科技 > 名人名企 > Rust 所有权与引用

Rust 所有权与引用

2025/4/4 1:14:17 来源:https://blog.csdn.net/weixin_45357298/article/details/146724330  浏览:    关键词:Rust 所有权与引用

目录

    • Rust 所有权原则
      • 变量所有权
      • 变量作用范围
      • 深拷贝
    • Rust 的引用
      • 示例
      • 可变引用
      • 不可变引用
      • 可变引用和不可变引用不能同时存在
      • 悬垂引用

Rust 所有权原则

  1. Rust 中每一个值都被一个变量所拥有,该变量被称为值的所有者
  2. 一个值同时只能被一个变量所拥有,或者说一个值只能拥有一个所有者
  3. 当所有者(变量)离开作用域范围时,这个值将被丢弃

变量所有权

在 Rust 中,默认情况下赋值操作会转移所有权,而不是创建副本。例如

fn main() {let s1 = String::from("hello");let s2 = s1; // s1 的所有权转移给 s2// println!("{}", s1); // ❌ 编译错误,s1 不再有效
}
  • s1 原本是 "hello" 的所有者
  • s1 赋值给 s2 后,所有权转移,s1 失效,不能再被使用

对于基本数据类型(如整数、浮点数、布尔值、字符等),Rust 采用 Copy 一个值,不会发生所有权转移

fn main() {let x = 5;let y = x; // x 仍然可用,因为 i32 是 Copy 类型println!("x = {}, y = {}", x, y); // ✅ 允许
}

变量作用范围

fn main() {{let s = "ss";}println!("s 的数值是 {}", s);
}

cargo check报错

error[E0425]: cannot find value `s` in this scope--> src\main.rs:5:27|
5 |     println!("s 的数值是 {}", s);|                               ^|
help: the binding `s` is available in a different scope in the same function--> src\main.rs:3:13|
3 |         let s = "ss";|             ^For more information about this error, try `rustc --explain E0425`.
  • 不能在这个作用域中发现 s

简而言之,s 从创建开始就有效,然后有效期持续到它离开作用域为止

深拷贝

首先,Rust 永远也不会自动创建数据的 深拷贝 因此,任何自动的复制都不是深拷贝,可以被认为对运行时性能影响较小

  • 手动深拷贝
let s1 = String::from("hello");
let s2 = s1.clone();println!("s1 = {}, s2 = {}", s1, s2);

Rust 的引用

Rust 的 引用(Reference) 是一种不拥有数据所有权的方式,它允许在不复制数据的情况下访问数据,同时确保 内存安全 和 数据一致性

引用的本质是指向某个值的地址,但它不会夺取该值的所有权,而只是借用(borrow)它

示例

fn main() {let s1 = String::from("hello");let len = calculate_length(&s1); // 传递 s1 的引用println!("The length of '{}' is {}", s1, len); // ✅ s1 仍然可用
}fn calculate_length(s: &String) -> usize {s.len() // 只读访问 s
}
  • &s1 代表对 s1 的引用,但 s1 仍然是原来的所有者
  • calculate_length 只是借用 s,不会修改它,也不会夺走所有权
  • s1main 里仍然有效

可变引用

如果想修改引用的数据,需要使用可变引用(&mut T

fn main() {let mut s = String::from("hello");change(&mut s); // 可变借用 sprintln!("{}", s); // ✅ "hello, world!"
}fn change(s: &mut String) {s.push_str(", world!"); // 修改 s
}

可变引用的规则

  1. 在同一时间,只能有一个可变引用(&mut T)
  2. 不能同时拥有可变引用和不可变引用(&T)

不可变引用

fn main() {let s = String::from("hello");let r1 = &s; // 允许let r2 = &s; // 允许println!("{} and {}", r1, r2); // ✅ 允许多个不可变引用
}

可变引用和不可变引用不能同时存在

Rust 防止数据竞争,所以:

  • 如果存在可变引用(&mut T),就不能有不可变引用(&T)
  • 如果存在不可变引用(&T),就不能创建可变引用(&mut T)
fn main() {let mut s = String::from("hello");let r1 = &s;let r2 = &s;let r3 = &mut s; // ❌ 编译错误:r1, r2 仍然有效,不能创建可变引用println!("{}, {}", r1, r2);
}

悬垂引用

fn dangle() -> &String { // ❌ 编译错误let s = String::from("hello");&s // ❌ 返回局部变量的引用
} // s 被释放,引用失效
  • 这里引用值会释放掉,从而造成错误
  • Rust 检查器会报错

其中一个很好的解决方法是直接返回 String

fn no_dangle() -> String {let s = String::from("hello");s // ✅ 所有权转移,数据不会被释放
}

版权声明:

本网仅为发布的内容提供存储空间,不对发表、转载的内容提供任何形式的保证。凡本网注明“来源:XXX网络”的作品,均转载自其它媒体,著作权归作者所有,商业转载请联系作者获得授权,非商业转载请注明出处。

我们尊重并感谢每一位作者,均已注明文章来源和作者。如因作品内容、版权或其它问题,请及时与我们联系,联系邮箱:809451989@qq.com,投稿邮箱:809451989@qq.com

热搜词