Rust核心功能之一（所有权）

news2024/12/28 5:57:25

目录

1、什么是所有权？

1.1 所有权规则

 1.2 变量作用域

1.3 String 类型

1.4 内存与分配

变量与数据交互的方式（一）：移动

变量与数据交互的方式（二）：克隆

只在栈上的数据：拷贝

1.5 所有权与函数

1.6 返回值与作用域

1、什么是所有权？

所有权（系统）是 Rust 最为与众不同的特性，对语言的其他部分有着深刻含义。它让 Rust 无需垃圾回收（garbage collector）即可保障内存安全，因此理解 Rust 中所有权如何工作是十分重要的。

所有程序都必须管理其运行时使用计算机内存的方式。一些语言中具有垃圾回收机制，在程序运行时有规律地寻找不再使用的内存；在另一些语言中，程序员必须亲自分配和释放内存。Rust 则选择了第三种方式：通过所有权系统管理内存，编译器在编译时会根据一系列的规则进行检查。如果违反了任何这些规则，程序都不能编译。在运行时，所有权系统的任何功能都不会减慢程序。

因为所有权对很多程序员来说都是一个新概念，需要一些时间来适应。好消息是随着你对 Rust 和所有权系统的规则越来越有经验，你就越能自然地编写出安全和高效的代码。

1.1 所有权规则

首先，让我们看一下所有权的规则。当我们通过举例说明时，请谨记这些规则：

  1. Rust 中的每一个值都有一个 所有者（owner）。
  2. 值在任一时刻有且只有一个所有者。
  3. 当所有者（变量）离开作用域，这个值将被丢弃。

 1.2 变量作用域

在所有权的第一个例子中，我们看看一些变量的 作用域（scope）。作用域是一个项（item）在程序中有效的范围。假设有这样一个变量：

let a = 12345

变量 a绑定到了一个字符串字面值，这个字符串值是硬编码进程序代码中的。这个变量从声明的点开始直到当前 作用域 结束时都是有效的。

fn main() {                // 作用域开始处
   let a = 12345;          // 此时，a才开始分配存储空间  
}                          // 作用域开始处

其实变量是否有效与作用域的关系跟其他编程语言是类似的。

1.3 String 类型

我们已经见过字符串字面值，即被硬编码进程序里的字符串值。字符串字面值是很方便的，不过它们并不适合使用文本的每一种场景。原因之一就是它们是不可变的。另一个原因是并非所有字符串的值都能在编写代码时就知道：例如，要是想获取用户输入并存储该怎么办呢？为此，Rust 有第二个字符串类型，String。这个类型管理被分配到堆上的数据，所以能够存储在编译时未知大小的文本。可以使用 from 函数基于字符串字面值来创建 String，如下：

fn main() {                
    let s = String::from("hello");
    println!("{s}")
}

这两个冒号 :: 是运算符，允许将特定的 from 函数置于 String 类型的命名空间（namespace）下，而不需要使用类似 string_from 这样的名字。

可以修改此类字符串可变：

fn main() {                
    let mut s = String::from("hello ");
    s.push('w');
    s.push_str("orld");
    println!("{s}")
}

那么这里有什么区别呢？为什么 String 可变而字面值却不行呢？区别在于两个类型对内存的处理上。

1.4 内存与分配

就字符串字面值来说，我们在编译时就知道其内容，所以文本被直接硬编码进最终的可执行文件中。这使得字符串字面值快速且高效。不过这些特性都只得益于字符串字面值的不可变性。不幸的是，我们不能为了每一个在编译时大小未知的文本而将一块内存放入二进制文件中，并且它的大小还可能随着程序运行而改变。

对于 String 类型，为了支持一个可变，可增长的文本片段，需要在堆上分配一块在编译时未知大小的内存来存放内容。这意味着：

  • 必须在运行时向内存分配器（memory allocator）请求内存。
  • 需要一个当我们处理完 String 时将内存返回给分配器的方法。

第一部分由我们完成：当调用 String::from 时，它的实现 (implementation) 请求其所需的内存。这在编程语言中是非常通用的。

然而，第二部分实现起来就各有区别了。在有 垃圾回收（garbage collector，GC）的语言中，GC 记录并清除不再使用的内存，而我们并不需要关心它。在大部分没有 GC 的语言中，识别出不再使用的内存并调用代码显式释放就是我们的责任了，跟请求内存的时候一样。从历史的角度上说正确处理内存回收曾经是一个困难的编程问题。如果忘记回收了会浪费内存。如果过早回收了，将会出现无效变量。如果重复回收，这也是个 bug。我们需要精确的为一个 allocate 配对一个 free。

Rust 采取了一个不同的策略：内存在拥有它的变量离开作用域后就被自动释放。

这是一个将 String 需要的内存返回给分配器的很自然的位置：当变量离开作用域，Rust 为我们调用一个特殊的函数。这个函数叫做 drop，在这里 String 的作者可以放置释放内存的代码。Rust 在结尾的 } 处自动调用 drop。

注意：在 C++ 中，这种 item 在生命周期结束时释放资源的模式有时被称作 资源获取即初始化（Resource Acquisition Is Initialization (RAII)）。如果你使用过 RAII 模式的话应该对 Rust 的 drop 函数并不陌生。

变量与数据交互的方式（一）：移动

fn main() {
    let x = 5;
    let y = x;
}

定义的2个简单变量，会直接存储在栈中，因为它们的长度都是固定的。

fn main() {
    let s1 = String::from("hello");
    let s2 = s1;
}

当s1、s2存储的时候，会在堆中开辟一片区域用来存储，s1和s2 则通过指针的方式，来指向堆中存储值得位置，这样可以避免在堆中多次开辟存储空间，如果你在其他语言中听说过术语 浅拷贝（shallow copy）和 深拷贝（deep copy），那么拷贝指针、长度和容量而不拷贝数据可能听起来像浅拷贝。不过因为 Rust 同时使第一个变量无效了，这个操作被称为 移动（move），而不是叫做浅拷贝。上面的例子可以解读为 s1 被 移动 到了 s2 中。如果打印s1会出现以下错误：

​

变量与数据交互的方式（二）：克隆

 如果我们 确实 需要深度复制 String 中堆上的数据，而不仅仅是栈上的数据，可以使用一个叫做 clone 的通用函数。

以下是一个示例：

fn main() {                
    let s1 = String::from("hello ");
    let s2 = s1.clone();
    println!("{s1} {s2}")
}

打印以下看下结果：

只在栈上的数据：拷贝

fn main() {
    let x = 5;
    let y = x;

    println!("x = {}, y = {}", x, y);
}

 Rust 有一个叫做 Copy trait 的特殊注解，可以用在类似整型这样的存储在栈上的类型上。如果一个类型实现了 Copy trait，那么一个旧的变量在将其赋值给其他变量后仍然可用。

那么哪些类型实现了Copy Trait呢，有以下类型：

  • 所有整数类型，比如 u32。
  • 布尔类型，bool，它的值是 true 和 false。
  • 所有浮点数类型，比如 f64。
  • 字符类型，char。
  • 元组，当且仅当其包含的类型也都实现 Copy 的时候。比如，(i32, i32) 实现了 Copy，但 (i32, String) 就没有。

1.5 所有权与函数

将值传递给函数与给变量赋值的原理相似。向函数传递值可能会移动或者复制，就像赋值语句一样。

一个示例：

fn main() {
    let s = String::from("hello");  // s 进入作用域

    takes_ownership(s);             // s 的值移动到函数里 ...
                                    // ... 所以到这里不再有效

    let x = 5;                      // x 进入作用域

    makes_copy(x);                  // x 应该移动函数里，
                                    // 但 i32 是 Copy 的，
                                    // 所以在后面可继续使用 x

} // 这里，x 先移出了作用域，然后是 s。但因为 s 的值已被移走，
  // 没有特殊之处

fn takes_ownership(some_string: String) { // some_string 进入作用域
    println!("{}", some_string);
} // 这里，some_string 移出作用域并调用 `drop` 方法。
  // 占用的内存被释放

fn makes_copy(some_integer: i32) { // some_integer 进入作用域
    println!("{}", some_integer);
} // 这里，some_integer 移出作用域。没有特殊之处

可以发现在值传递给函数的时候，堆里的数据会移除当前作用域，例如，s传递takes_ownership方法里，在当前作用域s的值被释放，栈里的值，传递给函数，它对应的操作是复制，例如，x=5传递给函数之后，在当前作用域还是可以访问的。

1.6 返回值与作用域

返回值也可以转移所有权。以下是一个示例：

fn main() {
    let s1 = gives_ownership();         // gives_ownership 将返回值
                                        // 转移给 s1

    let s2 = String::from("hello");     // s2 进入作用域

    let s3 = takes_and_gives_back(s2);  // s2 被移动到
                                        // takes_and_gives_back 中，
                                        // 它也将返回值移给 s3
} // 这里，s3 移出作用域并被丢弃。s2 也移出作用域，但已被移走，
  // 所以什么也不会发生。s1 离开作用域并被丢弃

fn gives_ownership() -> String {             // gives_ownership 会将
                                             // 返回值移动给
                                             // 调用它的函数

    let some_string = String::from("yours"); // some_string 进入作用域。

    some_string                              // 返回 some_string 
                                             // 并移出给调用的函数
                                             // 
}

// takes_and_gives_back 将传入字符串并返回该值
fn takes_and_gives_back(a_string: String) -> String { // a_string 进入作用域
                                                      // 

    a_string  // 返回 a_string 并移出给调用的函数
}

这里跟上面移动规则一样，将值赋给另一个变量时移动它。当持有堆中数据值的变量离开作用域时，其值将通过 drop 被清理掉，除非数据被移动为另一个变量所有。

以上我们都是通过一个变量来获取所有，这样来回赋值就会有些啰嗦，这样的话，我们可以使用元组来返回多个值。

fn main() {
    let s1 = String::from("hello");

    let (s2, len) = calculate_length(s1);

    println!("The length of '{}' is {}.", s2, len);
}

fn calculate_length(s: String) -> (String, usize) {
    let length = s.len(); // len() 返回字符串的长度

    (s, length)
}

但是这未免有些形式主义，而且这种场景应该很常见。幸运的是，Rust 对此提供了一个不用获取所有权就可以使用值的功能，叫做 引用（references），后面我们再来看看引用是什么？

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

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

相关文章

【C++20】模块

【C++20】模块

模块 C语言从一开始便继承了C语言的include头文件机制，通过包含头文件的方式来引用其他组件的代码，这些头文件通常包含了该组件相关的接口声明。但使用头文件通常伴有如下问题： 不够清晰不够清晰同名符号覆盖问题 C20提供了模块特性&#…
阅读更多...
本地生活新赛道-视频号团购怎么做？

本地生活新赛道-视频号团购怎么做？

目前有在做实体行业的商家一定要看完，只要你进入了这个本地生活新的赛道，那你的生意自然会源源不断，那这个赛道又是什么呢？ 这就是十月份刚刚上线的视频号团购项目，开通团购之后，就可以通过发短视频&#…
阅读更多...
排序：堆排序（未完待续）

排序：堆排序（未完待续）

文章目录 排序一、 排序的概念1.排序：2.稳定性：3.内部排序：4.外部排序： 二、插入排序1.直接插入排序 二、插入排序堆排序 排序 一、 排序的概念 1.排序： 一组数据按递增/递减排序 2.稳定性： 待排序的序列…
阅读更多...
postman中文乱码

postman中文乱码

在header中添加这两个： Content-Type application/json;charsetUTF-8 Accept application/json;charsetUTF-8
阅读更多...
『昆仑天工』4款AI产品开源！提供API对接！

『昆仑天工』4款AI产品开源！提供API对接！

在文章开篇，小圈先介绍下 昆仑万维 公司旗下的AI大模型**『天工』**，它是由昆仑万维自研的双千亿级大语言模型， 也是国内首个对标ChatGPT的双千亿级大语言模型，可满足文案创作、知识问答、代码编程、逻辑推演、数理推算等需求。 …
阅读更多...
自制宏正（ATEN）KVM CS1708i固件升级线

自制宏正（ATEN）KVM CS1708i固件升级线

因为宏正 CS1708i KVM年代相对久远，最近通过Web进行远程管理时发现页面不支持最新的EDGE浏览器，官方有较新的固件，但是需要专用的RJ11接头的升级串口线才能进行升级。网上目前无法买到，在网上找到对应的资料，用RJ11 4P…
阅读更多...
ansible第一天

ansible第一天

ansible 第一天 以上主机使用rhel-8.2-x86_64-dvd.iso镜像，配置ip、yum源，关闭防火墙和selinux规则 安装中文包，重启生效 [rootcontrol ~]# yum -y install langpacks-zh_CN.noarch && reboot 配置名称解析 [rootcontrol ~]# echo…
阅读更多...
拓展企业客户群：如何使用企业联系方式查询API帮助在社交媒体上寻找潜在客户

拓展企业客户群：如何使用企业联系方式查询API帮助在社交媒体上寻找潜在客户

前言 在当今竞争激烈的商业环境中，拓展企业客户群已经成为许多企业的首要任务之一。在这种情况下，使用企业联系方式查询API可以帮助企业在社交媒体上寻找潜在客户。本文将探讨如何使用企业联系方式查询API拓展企业客户群。 企业联系方式查询API简介 首…
阅读更多...
linux rsyslog介绍

linux rsyslog介绍

Rsyslog网址：https://www.rsyslog.com/ Rsyslog is the rocket-fast system for log processing. It offers high-performance, great security features and a modular design. While it started as a regular syslogd, rsyslog has evolved into a kind of swis…
阅读更多...
【物联网】继续深入探索ADC模拟转数字的原理——Flash ADC流水线ADC逐次逼近型SAR ADC

【物联网】继续深入探索ADC模拟转数字的原理——Flash ADC流水线ADC逐次逼近型SAR ADC

这篇文章主要弥补上一篇关于ADC的不足，更加深入了解ADC数模转换器的工作原理，举例常见的三种ADC，分别为Flash ADC&流水线ADC&逐次逼近型SAR ADC。 【物联网】深入了解AD/DA转换技术：模数转换和数模转换 文章目录 一、模拟…
阅读更多...
休眠和睡眠有哪些区别？如何让电脑一键休眠？

休眠和睡眠有哪些区别？如何让电脑一键休眠？

电脑中有休眠和睡眠，那么它们有什么区别呢？下面我们就通过本文来了解一下。 休眠和睡眠的区别 电脑在睡眠状态时，会切断内存之外的设备电源，电脑会进入睡眠状态，当再次唤醒电脑后，不会影响睡眠前保存好的工…
阅读更多...
Git中的 fork, clone,branch

Git中的 fork, clone,branch

一、是什么 fork fork，英语翻译过来就是叉子，动词形式则是分叉，如下图，从左到右，一条直线变成多条直线 转到git仓库中，fork则可以代表分叉、克隆 出一个（仓库的）新拷贝 包含了原来…
阅读更多...
Swing 程序设计

Swing 程序设计

概述 String包的层次结构和继承关系如下 常用的Swing组件如下表 Swing常用窗体 JFrame 窗体 JFrame 类的常用构造方法包括以下两种形式： public JFrame（）：创建一个初始不可见、没有标题的窗体。public JFrame(String title)…
阅读更多...
Java并发编程第11讲——AQS设计思想及核心源码分析

Java并发编程第11讲——AQS设计思想及核心源码分析

Java并发包（JUC）中提供了很多并发工具，比如前面介绍过的ReentrantLock、ReentrantReadWriteLock、CountDownLatch、Semaphore、FutureTask等锁或者同步部件，它们的实现都用到了一个共同的基类——AbstractQueuedSynchronizer&…
阅读更多...
element分页

element分页

获取数据信息&#xff0c;这是表格和分页内容 <el-col :span"24"><div class"grid-content bg-purple-dark"><el-table :data"tableData" stripe style"width: 100%"><el-table-column prop"xuhao" l…
阅读更多...
WorkPlus：企业数字化底座，统一数字化办公入口

WorkPlus：企业数字化底座，统一数字化办公入口

在企业数字化转型的潮流下&#xff0c;统一入口的移动数字化底座成为了企业提高工作效率和迈向数字化时代的关键要素。在这个领域&#xff0c;WorkPlus凭借其独特的定位和功能&#xff0c;成为了企业微信、钉钉、飞书等类似产品中的完美选择&#xff0c;为企业提供了统一入口的…
阅读更多...
旋转矩阵-数学理论

旋转矩阵-数学理论

目录 概述 一、固定旋转&#xff08;Fix Angles&#xff09; 二、欧拉旋转&#xff08;Euler Angle&#xff09; 三、旋转矩阵小结 四、参考 概述 旋转矩阵是姿态的一种数学表达方式&#xff0c;或者笼统说变换矩阵是一种抽象的数学变量。其抽象在于当你看到…
阅读更多...
【深度学习】卷积层填充和步幅以及其大小关系

【深度学习】卷积层填充和步幅以及其大小关系

参考链接 【深度学习】&#xff1a;《PyTorch入门到项目实战》卷积神经网络2-2&#xff1a;填充(padding)和步幅(stride) 一、卷积 卷积是在深度学习中的一种重要操作&#xff0c;但实际上它是一种互相关操作&#xff0c;&#xff0c;首先我们来了解一下二维互相关&#xff…
阅读更多...
Redis主从配置和哨兵模式

Redis主从配置和哨兵模式

主从简介 1、主从 – 用法 像MySQL一样&#xff0c;redis是支持主从同步的&#xff0c;而且也支持一主多从以及多级从结构。 主从结构&#xff0c;一是为了纯粹的冗余备份&#xff0c;二是为了提升读性能&#xff0c;比如很消耗性能的SORT就可以由从服务器来承担。 redis的主…
阅读更多...
oracle-sql语句解析类型

oracle-sql语句解析类型

语句执行过程&#xff1a;1. 解析(将sql解析成执行计划) 2.执行 3.获取数据(fetch) 1. shared pool的组成。 share pool是一块内存池。 主要分成3块空间。free&#xff0c; library(库缓存&#xff0c;缓存sql以及执行计划)&#xff0c;row cache(字典缓存) select * from v…
阅读更多...
推荐文章
最新文章

Copyright @ 2022~2023