学习 Rust 的第六天:所有权问题

大家好,

欢迎来到学习 Rust 的第 6 天,过去 5 天我们学到的内容在几乎每种语言中都是一样的。所有权是 Rust 的一个独特概念。

介绍

所有权是一种独特的内存管理系统,其中每个值都有一个指定的所有者,在所有者超出范围时自动释放内存,消除了常见的与内存相关的 bug。这种所有权模型增强了系统编程中的安全性和性能。

栈和堆

大多数编程语言不要求你去关心数据存储在哪里以及如何存储,但在低级编程语言中,这会产生很大的不同。

是用于函数调用管理和局部变量的内存区域。

是程序运行时用于分配和释放内存的动态内存区域。

工作原理

在运行时,我们的程序可以访问栈和堆。栈是一个固定大小的内存,用于存储每个函数调用和变量的栈帧。堆的大小是动态的,可以存储任意数量的数据。

示例:

rust 复制代码
fn main() {  
  fn a() {  
    let z: String = String::from("Hello World");  
    b();  
  }  
  fn b() {  
    let x: u8 = 5;  
    let y: &str = "hello";  
  }  
  a();  
}

首先调用函数 A,所以我们创建了一个栈帧。String 类型的大小可以是动态的,所以我们在堆中分配一些内存并将值存储在那里。

然后调用函数 b,这里 x 是一个无符号 8 位整数,所以我们可以直接将它存储在栈内存中。现在 y 是一个字符串字面量,它将存储在可执行文件中。

所有权

所有权的规则

  • Rust 中的每个值都有一个唯一的所有者。
  • 同一时间只能有一个所有者,防止程序的多个部分同时修改数据。
  • 所有权可以通过所有权转移和通过引用借用进行转移。
  • 当所有者超出范围时,值将被丢弃。

示例:

rust 复制代码
fn main() {  
  {  // 变量在这里不是有效的,因为它还没有被声明...  
    let var: &str = "Hello"; // 从这里开始变量是有效的  
  
  } // 作用域结束,var 不再有效  
}

内存和分配

在 Rust 中,多个变量可以以不同的方式与相同的数据交互。

示例:

rust 复制代码
fn main() {  
    let x: u8 = 5;  
    let y = x;  
    println!("X = {}, Y = {}", x, y);  
}

这将把 x 的值复制给 y,所以输出是

rust 复制代码
X = 5, Y = 5

但是:

rust 复制代码
fn main() {  
    let str1: String = String::from("Hello, World!");  
    let str2: String = str1;  
}

我们可能会认为这里会发生相同的事情,但为了确保内存安全,str1 被无效化,并且字符串 Hello, World! 被移动到 str2 中。

栈和堆的示意图可能如下所示:

尽管我们有克隆字符串的功能:

rust 复制代码
fn main() {  
    let str1: String = String::from("Hello, World!");  
    let str2: String = str1.clone();  
}

所有权和函数

将变量作为参数传递给函数的效果与将其分配给另一个变量相同。函数获取了变量的所有权。

rust 复制代码
fn main() {  
  let str1: String = String::from("Hello");  
  takes_ownership(str1);  
  println!("{}", str1); // 这会导致错误  
}  
  
fn takes_ownership(some_string: String) {  
  println!("{}", some_string);  
}

这段代码会导致错误,因为我们已经把 str1 的所有权交给了 takes_ownership 函数。因此在我们尝试在第 4 行打印它时,str1 被丢弃了。

这也适用于相反的情况。就像一个函数可以获取变量的所有权一样,它也可以将变量的所有权转移给另一个变量。

示例:

rust 复制代码
fn main() {  
  let str1: String = gives_ownership();  
  println!("String 1 : {}", str1);  
}  
  
fn gives_ownership() -> String {  
  let some_string: String = String::from("Hello World");  
  some_string  
}

这段代码获取变量 some_string 并返回变量,我们将返回值存储在变量 str1 中,有效地使 str1 成为值 Hello World 的所有者。

结论

这是对所有权模型概念的基本介绍。所有权模型有一个非常陡峭的学习曲线,但它有很多优点。

明天我将深入研究引用和借用。

相关推荐
DKPT10 分钟前
Java设计模式之结构型模式(外观模式)介绍与说明
java·开发语言·笔记·学习·设计模式
2401_8812444028 分钟前
Treap树
数据结构·算法
乌萨奇也要立志学C++30 分钟前
二叉树OJ题(单值树、相同树、找子树、构建和遍历)
数据结构·算法
编程小白gogogo32 分钟前
Spring学习笔记
笔记·学习·spring
网安INF32 分钟前
深度学习中的逻辑回归:从原理到Python实现
人工智能·python·深度学习·算法·逻辑回归
qq_5278878738 分钟前
【学习笔记】Python中主函数调用的方式
笔记·学习
wsxqaz44 分钟前
浏览器原生控件上传PDF导致hash值不同
算法·pdf·哈希算法
NAGNIP1 小时前
Transformer注意力机制——MHA&MQA&GQA
人工智能·算法
大卫小东(Sheldon)1 小时前
GIM 1.5发布了! 支持Windows系统了
git·ai·rust
摘星编程1 小时前
多模态AI Agent技术栈解析:视觉-语言-决策融合的算法原理与实践
人工智能·算法·多模态ai·视觉语言融合·ai决策算法