学习 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 的所有者。

结论

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

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

相关推荐
黑色的山岗在沉睡9 分钟前
LeetCode 189. 轮转数组
java·算法·leetcode
墨染点香10 分钟前
LeetCode 刷题【65. 有效数字】
算法·leetcode·职场和发展
源代码•宸38 分钟前
Leetcode—2749. 得到整数零需要执行的最少操作数【中等】(__builtin_popcountl)
c++·经验分享·算法·leetcode·位运算
用户48221371677538 分钟前
深度学习——AlexNet网络结构
算法
练习时长两年半的Java练习生(升级中)1 小时前
从0开始学习Java+AI知识点总结-30.前端web开发(JS+Vue+Ajax)
前端·javascript·vue.js·学习·web
张子夜 iiii1 小时前
传统神经网络实现-----手写数字识别(MNIST)项目
人工智能·pytorch·python·深度学习·算法
Rhys..2 小时前
python + Flask模块学习 1 基础用法
python·学习·前端框架·flask
lingggggaaaa2 小时前
小迪安全v2023学习笔记(七十八讲)—— 数据库安全&Redis&CouchDB&H2database&未授权&CVE
redis·笔记·学习·算法·安全·网络安全·couchdb
Source.Liu2 小时前
【Python基础】 13 Rust 与 Python 注释对比笔记
开发语言·笔记·python·rust