学习 Rust 的第七天:如何理解引用

大家好,

今天是我学 Rust 的第7天,今天我要来看一下引用和借用。昨天我学习了 Rust 的所有权模型,如果你对 Rust 一无所知的话,那篇文章是必读的。

引用

昨天我们看到,将参数传递给函数与将值赋给另一个变量产生了相同的效果,实际上导致了所有权的丧失。不过,有一个解决方法。

如果你了解 C 语言,指针 是 C 语言的一个重要概念。而引用与之类似。

让我们看一下代码并理解它:

rust 复制代码
fn main(){  
  let s1: String = String::from("Hello World");  
  let length: usize = calculate_length(&s1); // & 用于传递字符串的引用  
  println!("`{}` 的长度为 {}" ,s1,length);  
}  
  
fn calculate_length(s: &String) -> usize {  
  s.len()  
 }

Rust 中的引用是指针,允许借用和访问数据而不转移所有权,有助于内存安全,防止数据竞争。

解释:

  • fn main(): 程序的入口点。
  • let s1: String = String::from("Hello World");: 声明一个 String 变量 s1,值为 "Hello World"。
  • let length: usize = calculate_length(&s1);: 调用 calculate_length 函数,传递对字符串 s1 的引用。
  • fn calculate_length(s: &String) -> usize: 函数以对 String 的引用 (&String) 作为参数,并返回它的长度作为 usize 类型。
  • s.len(): 获取引用 s 所指向的 String 的长度。
  • println!("{} 的长度为 {}" ,s1, length);: 打印原始字符串 s1 及其长度。

关键概念:

  • & 用于传递对字符串的引用 (&s1),而不是转移所有权,防止字符串被移动或克隆。
  • 这种借用允许 calculate_length 函数在不获取所有权的情况下操作字符串。
  • 引用默认为不可变。

感谢 Let's Get Rusty 在他的 YouTube 频道上提供这么棒的解释。

可变引用

我们上面看到的是不可变引用,我们无法真正改变值,但我们可以从中读取。让我们来看看 可变引用

rust 复制代码
fn main() {  
    let mut s1 = String::from("Hello");  
  
    // 传递可变引用给 modify_string 函数  
    modify_string(&mut s1);  
  
    // 原始字符串现在被修改了  
    println!("修改后的字符串: {}", s1);  
}  
  
fn modify_string(s: &mut String) {  
    s.push_str(", World!"); // 通过追加来修改字符串  
}

解释:

  • fn main(): 程序的入口点。
  • let mut s1 = String::from("Hello");: 声明一个可变的 String 变量 s1
  • modify_string(&mut s1);: 调用 modify_string 函数,传递对 s1 的可变引用。
  • fn modify_string(s: &mut String): 函数以对 String 的可变引用 (&mut String) 作为参数。
  • s.push_str(", World!");: 通过追加将 ", World!" 添加到 s 所指向的字符串。
  • println!("修改后的字符串: {}", s1);: 打印修改后的字符串。

关键概念:

  • 可变引用可以通过 &mut 变量名 进行传递。

可变引用的规则

  • 对于特定数据片段,只允许一个可变引用或多个不可变引用。
  • 在可变引用有效时,不允许对相同数据进行其他引用。
  • 可变引用受其作用域的约束,防止悬空引用。
  • 在特定作用域内只能存在一个可变引用,以确保协调的修改。

简单来说,一个特定作用域内只能存在一个对变量的可变引用。

虽然不可变引用的数量可以是无限的。

但是,不可变和可变引用可以同时存在于相同的作用域内。

示例:

rust 复制代码
fn main(){  
  let mut string1: String = String::from("Hello World");  
  
  let reference1: &String = &string1;  
  let reference2: &String = &string1;  
    
  takes_ownership(reference1);  
  takes_ownership(reference2);  
    
  let _mut_ref: &mut String = &mut string1;  
}  
  
fn takes_ownership(_r1: &String){  
}

这个例子完全没问题,因为在我们创建 _mut_ref 时,reference1reference2 已经超出了作用域。

rust 复制代码
// 这段代码会导致错误  
fn main(){  
  let mut string1: String = String::from("Hello World");  
  
  let reference1: &String = &string1;  
  let reference2: &String = &string1;  
  
  // 因为这一行  
  let _mut_ref: &mut String = &mut string1;  
  takes_ownership(reference1);  
  takes_ownership(reference2);  
    
}  
  
fn takes_ownership(_r1: &String){  
}

结论

在学习 Rust 的旅程中,第7天探讨了引用和借用,这是内存安全的基本概念。不可变引用允许在不转移所有权的情况下读取数据,而可变引用则允许修改,但必须遵守规则以确保独占访问和防止数据

相关推荐
该用户已不存在2 天前
Mojo vs Python vs Rust: 2025年搞AI,该学哪个?
后端·python·rust
大卫小东(Sheldon)3 天前
写了一个BBP算法的实现库,欢迎讨论
数学·rust
侃侃_天下3 天前
最终的信号类
开发语言·c++·算法
echoarts3 天前
Rayon Rust中的数据并行库入门教程
开发语言·其他·算法·rust
2303_Alpha3 天前
SpringBoot
笔记·学习
Aomnitrix3 天前
知识管理新范式——cpolar+Wiki.js打造企业级分布式知识库
开发语言·javascript·分布式
萘柰奈3 天前
Unity学习----【进阶】TextMeshPro学习(三)--进阶知识点(TMP基础设置,材质球相关,两个辅助工具类)
学习·unity
沐矢羽3 天前
Tomcat PUT方法任意写文件漏洞学习
学习·tomcat
好奇龙猫3 天前
日语学习-日语知识点小记-进阶-JLPT-N1阶段蓝宝书,共120语法(10):91-100语法+考え方13
学习
每天回答3个问题3 天前
UE5C++编译遇到MSB3073
开发语言·c++·ue5