Rust 所有权特性详解

Rust 所有权特性详解

Rust 的所有权系统是其内存安全的核心机制之一。通过所有权规则，Rust 在编译时避免了常见的内存错误（如空指针、数据竞争等）。本文将从堆内存与栈内存、所有权规则、变量作用域、String 类型、内存分配、所有权移动、Clone、栈内存的 Copy、所有权与函数、返回值与作用域等角度详细介绍 Rust 的所有权特性，并通过综合示例展示这些知识点的实际应用。

1. 什么是堆内存和栈内存

  • 栈内存：

    • 后进先出（LIFO）的数据结构。
    • 分配和释放速度快。
    • 用于存储固定大小的数据（如基本类型，Rust的基本类型有哪些，他们存在堆内存还是栈内存？）。

  • 堆内存：

    • 动态分配的内存区域。
    • 分配和释放速度较慢。
    • 用于存储大小可变或生命周期不确定的数据（如 String、Vec）。

示例：栈内存与堆内存

fn main() {let x = 5; // x 存储在栈上let s = String::from("你好"); // s 的数据存储在堆上，指针存储在栈上println!("x: {}, s: {}", x, s);
}

输出：

x: 5, s: 你好

分析：

  • x 是基本类型，存储在栈上。
  • s 是 String 类型，数据存储在堆上，指针和长度等信息存储在栈上。

2. Rust 所有权的规则

Rust 的所有权规则如下：

  1. 每个值都有一个所有者。
  2. 同一时间只能有一个所有者。
  3. 当所有者离开作用域时，值会被自动释放。

示例：所有权规则

fn main() {let s1 = String::from("你好");let s2 = s1; // s1 的所有权转移到 s2// println!("{}", s1); // 错误：s1 不再拥有数据println!("s2: {}", s2);
}

输出：

s2: 你好

分析：

  • s1 的所有权在赋值给 s2 后转移，s1 不再有效。

3. 变量的作用域

变量的作用域是从声明开始到当前块结束。

示例：变量作用域

fn main() {let s = String::from("你好"); // s 进入作用域{let inner_s = String::from("内部"); // inner_s 进入作用域println!("内部作用域: {}", inner_s);} // inner_s 离开作用域，内存被释放println!("外部作用域: {}", s);
} // s 离开作用域，内存被释放

输出：

内部作用域: 内部
外部作用域: 你好

分析：

  • inner_s 的作用域仅限于内部块。
  • s 的作用域是整个 main 函数。

4. String 类型

String 是 Rust 中动态分配的字符串类型，存储在堆上。

示例：String 类型

fn main() {let mut s = String::from("你好");s.push_str(", Rust!"); // 修改字符串println!("{}", s);
}

输出：

你好, Rust!

分析：

  • String 类型允许动态修改内容。

5. 内存分配

Rust 通过所有权系统自动管理堆内存的分配和释放。

示例：内存分配

fn main() {let s = String::from("你好"); // 分配堆内存println!("{}", s);
} // s 离开作用域，内存被释放

输出：

你好

分析：

  • String::from 分配堆内存。
  • s 离开作用域时，内存被自动释放。

6. 所有权移动时变量和数据的状态变化

当所有权从一个变量移动到另一个变量时，原始变量将失效。

示例：所有权移动

fn main() {let s1 = String::from("hello");let s2 = s1; // s1 的所有权移动到 s2// println!("{}", s1); // 错误：s1 不再有效println!("s2: {}", s2);
}

输出：

s2: hello

分析：
在这里插入图片描述
-s1的指针存在栈内存，栈内存的value指向堆内存的第一个索引位置。
在这里插入图片描述

  • 当执行s2=s1的时候，仅仅复制了栈内存上的数据，堆内存的内容不不变。如果堆内存上的数据非常大，复制的操作成本会无限增加！
  • Double Free问题：当前s1、s2都指向同一份数据，当这两个变量离开作用域时，他们会同时释放同一块内存，这就会引起Double Free安全问题。为了确保内存安全，当执行到语句let s2=s1时，Rust让s1失效，也称之为将所有权转移给了s2。
  • s1 的所有权转移给 s2 后，s1 失效（如下图所示）。
    在这里插入图片描述

7. 作用域和内存分配

变量的作用域决定了其内存的生命周期。

示例：作用域和内存分配

fn main() {let s = String::from("你好"); // s 进入作用域，分配内存println!("{}", s);
} // s 离开作用域，内存被释放

输出：

你好

分析：

  • s 的作用域结束后，内存被自动释放。

8. Clone

Clone 允许显式复制堆上的数据。

示例：Clone

fn main() {let s1 = String::from("你好");let s2 = s1.clone(); // 显式复制数据println!("s1: {}, s2: {}", s1, s2);
}

输出：

s1: 你好, s2: 你好

分析：

  • clone 会复制堆上的数据，s1 和 s2 都有效。

9. 栈内存的 Copy

基本类型实现了 Copy trait，赋值时会复制值而不是移动所有权。

示例：栈内存的 Copy

fn main() {let x = 5;let y = x; // x 的值被复制println!("x: {}, y: {}", x, y);
}

输出：

x: 5, y: 5

分析：

  • x 和 y 都有效，因为 i32 实现了 Copy。

那么，哪些类型实现了 Copy 特质呢？你可以查看特定类型的文档来确认，但一般来说，任何由简单标量值组成的类型都可以实现 Copy，而任何需要分配内存或是某种形式的资源的类型则不能实现 Copy。以下是一些实现了 Copy 的类型：

  • 所有的整数类型，例如 u32。
  • 布尔类型 bool，其值为 true 和 false。
  • 所有的浮点数类型，例如 f64。
  • 字符类型 char。
  • 元组，如果它们只包含同样实现了 Copy 的类型。例如，(i32, i32) 实现了 Copy，但 (i32, String) 则没有。

10. 所有权和函数

将值传递给函数会转移所有权。

示例：所有权和函数

fn take_ownership(s: String) {println!("函数内部: {}", s);
} // s 离开作用域，内存被释放fn main() {let s = String::from("你好");take_ownership(s); // s 的所有权转移到函数// println!("{}", s); // 错误：s 不再有效
}

输出：

函数内部: 你好

分析：

  • s 的所有权在传递给函数后转移。

11. 返回值和作用域

函数可以通过返回值转移所有权。

示例：返回值和作用域

fn give_ownership() -> String {let s = String::from("你好");s // 返回 s，所有权转移给调用者
}fn main() {let s = give_ownership(); // s 获得所有权println!("{}", s);
}

输出：

你好

分析：

  • give_ownership 返回 s，所有权转移给 main 函数中的 s。

综合示例

以下是一个综合示例，展示了所有权、作用域、Clone、Copy、函数与返回值的用法：

fn main() {// 栈内存的 Copylet x = 5;let y = x; // x 的值被复制println!("x: {}, y: {}", x, y);// 堆内存的所有权let s1 = String::from("你好");let s2 = s1.clone(); // 显式复制数据println!("s1: {}, s2: {}", s1, s2);// 所有权和函数let s3 = String::from("世界");take_ownership(s3); // s3 的所有权转移到函数// println!("{}", s3); // 错误：s3 不再有效// 返回值和作用域let s4 = give_ownership(); // s4 获得所有权println!("s4: {}", s4);
}fn take_ownership(s: String) {println!("函数内部: {}", s);
} // s 离开作用域，内存被释放fn give_ownership() -> String {let s = String::from("你好，世界");s // 返回 s，所有权转移给调用者
}

输出：

x: 5, y: 5
s1: 你好, s2: 你好
函数内部: 世界
s4: 你好，世界

分析：

  1. x 和 y 是基本类型，赋值时复制值。
  2. s1 和 s2 是 String 类型，使用 clone 显式复制数据。
  3. s3 的所有权在传递给函数后转移。
  4. s4 通过函数返回值获得所有权。

总结

Rust 的所有权系统通过以下特性确保内存安全：

  1. 堆内存与栈内存：区分数据的存储位置。
  2. 所有权规则：确保每个值只有一个所有者。
  3. 作用域：决定变量的生命周期。
  4. String 类型：动态分配的字符串。
  5. 内存分配：自动管理堆内存。
  6. 所有权移动：转移所有权时原始变量失效。
  7. Clone：显式复制堆数据。
  8. 栈内存的 Copy：基本类型赋值时复制值。
  9. 所有权与函数：传递值会转移所有权。
  10. 返回值与作用域：通过返回值转移所有权。

通过合理使用这些特性，可以编写出高效且安全的 Rust 代码。

本文来自互联网用户投稿，该文观点仅代表作者本人，不代表本站立场。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如若转载，请注明出处：http://www.mzph.cn/news/894464.shtml

如若内容造成侵权/违法违规/事实不符，请联系多彩编程网进行投诉反馈email:809451989@qq.com，一经查实，立即删除！

相关文章

MVS pythonSamples 运行环境配置

MVS pythonSamples 运行环境配置

1.首先计算机：操作系统Win10_X64 22H2； 2.MVS V4.4.0 3.python3.8.8_64; 安装时勾选添加path； 最后安装依赖包：（所有必须安装） 图像处理： mvtec-halcon23050（可选） p…
阅读更多...
java练习（5）

java练习（5）

ps:题目来自力扣 给你两个 非空 的链表，表示两个非负的整数。它们每位数字都是按照 逆序 的方式存储的，并且每个节点只能存储 一位 数字。 请你将两个数相加，并以相同形式返回一个表示和的链表。 你可以假设除了数字 0 之外，这…
阅读更多...
[EAI-023] FAST，机器人动作专用的Tokenizer，提高VLA模型的能力和训练效率

[EAI-023] FAST，机器人动作专用的Tokenizer，提高VLA模型的能力和训练效率

Paper Card 论文标题：FAST: Efficient Action Tokenization for Vision-Language-Action Models 论文作者：Karl Pertsch, Kyle Stachowicz, Brian Ichter, Danny Driess, Suraj Nair, Quan Vuong, Oier Mees, Chelsea Finn, Sergey Levine 论文链接&…
阅读更多...
PHP Composer：高效依赖管理工具详解

PHP Composer：高效依赖管理工具详解

PHP Composer：高效依赖管理工具详解 引言 在PHP开发领域，依赖管理是项目构建过程中的重要环节。Composer的出现，极大地简化了PHP项目的依赖管理，使得开发者可以更加高效地构建和维护PHP应用程序。本文将深入探讨PHP Composer的使用方法、功能特点以及它在项目开发中的应用…
阅读更多...
CodeGPT使用本地部署DeepSeek Coder

CodeGPT使用本地部署DeepSeek Coder

目前NV和github都托管了DeepSeek，生成Key后可以很方便的用CodeGPT接入。CodeGPT有三种方式使用AI，分别时Agents，Local LLMs（本地部署AI大模型），LLMs Cloud Model（云端大模型，从你自己…
阅读更多...
黑盒/白盒运维监控

黑盒/白盒运维监控

运维监控分为黑盒和白盒 黑盒：不深入代码，在系统角度看TPS，延迟等指标 白盒：深入代码分析，通过日志捕捉，以及主动上报告警等来进行监控 黑盒监控： 1. 页面功能：域名是否可访问&…
阅读更多...
Rust 中的注释使用指南

Rust 中的注释使用指南

Rust 中的注释使用指南 注释是代码中不可或缺的一部分，它帮助开发者理解代码的逻辑和意图。Rust 提供了多种注释方式，包括行注释、块注释和文档注释。本文将详细介绍这些注释的使用方法，并通过一个示例展示如何在实际代码中应用注释。 1. 行…
阅读更多...
可被electron等调用的Qt截图-录屏工具【源码开放】

可被electron等调用的Qt截图-录屏工具【源码开放】

1. 工具功能简介： (1)、QT5.15.2截图工具（exe）可单独使用或嵌入IM（嵌入方法参照：https://gitee.com/lykiao/yfscreenshot_release） (2)、支持通过Windows消息通知截图成功或取消 (3)、支持圆形、矩形、线条…
阅读更多...
ubuntu系统入门流程

ubuntu系统入门流程

学习流程 安装双系统（win11ubuntu随便啥版本，博客里面下的时候自己选） ->了解一下常见的操作系统类-> 了解ubuntu系统常见文件目录是做什么的- > 了解一些ubuntu常用指令 ->安装常用的软件（qq、vx，学习的…
阅读更多...
STM32单片机学习记录（2.2）

STM32单片机学习记录（2.2）

一、STM32 13.1 - PWR简介 1. PWR（Power Control）电源控制 （1）PWR负责管理STM32内部的电源供电部分，可以实现可编程电压监测器和低功耗模式的功能； （2）可编程电压监测器（…
阅读更多...
韩语字符分析

韩语字符分析

查看unicode文档，发现韩语字符有11172个，这是192128，其实就是19212868个符号的排列组合。分析如下： 第一部分： 가까나다따라마바빠사싸아자짜차카타파하 去掉右边的那个“卜”，共19个符号。 第二部分&#…
阅读更多...
基于SpringBoot的智慧康老疗养院管理系统的设计与实现(源码+SQL脚本+LW+部署讲解等)

基于SpringBoot的智慧康老疗养院管理系统的设计与实现(源码+SQL脚本+LW+部署讲解等)

专注于大学生项目实战开发,讲解,毕业答疑辅导，欢迎高校老师/同行前辈交流合作✌。 技术范围：SpringBoot、Vue、SSM、HLMT、小程序、Jsp、PHP、Nodejs、Python、爬虫、数据可视化、安卓app、大数据、物联网、机器学习等设计与开发。 主要内容：…
阅读更多...
goframe 博客分类文章模型文档 主要解决关联

goframe 博客分类文章模型文档 主要解决关联

goframe 博客文章模型文档 模型结构 (BlogArticleInfoRes) BlogArticleInfoRes 结构体代表系统中的一篇博客文章，包含完整的元数据和内容管理功能。 type BlogArticleInfoRes struct {Id uint orm:"id,primary" json:"id" …
阅读更多...
MQTT知识

MQTT知识

MQTT协议 MQTT 是一种基于发布/订阅模式的轻量级消息传输协议，专门针对低带宽和不稳定网络环境的物联网应用而设计，可以用极少的代码为联网设备提供实时可靠的消息服务。MQTT 协议广泛应用于物联网、移动互联网、智能硬件、车联网、智慧城市、远程医疗、…
阅读更多...
Python(Pandas)数据分析学习

Python(Pandas)数据分析学习

1.Pandas基本构成 引入Pandas import pandas as pd 1.Series 行 对应Excel中的一行数据，一维数据 定义Series # 第一个参数是具体数据 # 第二个参数的对应的索引下标 # 第三个参数的行名称 data pd.Series([1,2,3,4,5], index[a,b,c,d,e], namedata) print(d…
阅读更多...
我用Ai学Android Jetpack Compose之Card

我用Ai学Android Jetpack Compose之Card

这篇学习一下Card。回答来自 通义千问。 我想学习Card，麻烦你介绍一下 当然可以！在 Jetpack Compose 中，Card 是一个非常常用的组件，用于创建带有阴影和圆角的卡片式布局。它可以帮助你轻松实现美观且一致的 UI 设计&#xff0c…
阅读更多...
图漾相机——C++语言属性设置

图漾相机——C++语言属性设置

文章目录 前言1.SDK API功能介绍1.1 Device组件下的API测试1.1.1 相机工作模式设置（TY_TRIGGER_PARAM_EX）1.1.2 TY_INT_FRAME_PER_TRIGGER1.1.3 TY_INT_PACKET_DELAY1.1.4 TY_INT_PACKET_SIZE1.1.5 TY_BOOL_GVSP_RESEND1.1.6 TY_BOOL_TRIGGER_OUT_IO1.1.…
阅读更多...
STM32 TIM定时器配置

STM32 TIM定时器配置

TIM简介 TIM（Timer）定时器 定时器可以对输入的时钟进行计数，并在计数值达到设定值时触发中断 16位计数器、预分频器、自动重装寄存器的时基单元，在72MHz计数时钟下可以实现最大59.65s的定时 不仅具备基本的定时中断功能&#xff…
阅读更多...
pytorch实现基于Word2Vec的词嵌入

pytorch实现基于Word2Vec的词嵌入

PyTorch 实现 Word2Vec（Skip-gram 模型） 的完整代码，使用 中文语料 进行训练，包括数据预处理、模型定义、训练和测试。 1. 主要特点 支持中文数据，基于 jieba 进行分词 使用 Skip-gram 进行训练，适用于小数…
阅读更多...
【数据结构】_链表经典算法OJ（力扣/牛客第二弹）

【数据结构】_链表经典算法OJ（力扣/牛客第二弹）

目录 1. 题目1：返回倒数第k个节点 1.1 题目链接及描述 1.2 解题思路 1.3 程序 2. 题目2：链表的回文结构 2.1 题目链接及描述 2.2 解题思路 2.3 程序 1. 题目1：返回倒数第k个节点 1.1 题目链接及描述 题目链接： 面试题 …
阅读更多...
最新文章

Copyright @ 2022~2023