Rust-引用借用规则

简介: Rust为确保程序在运行时不会出现数据竞争和其他内存安全,在使用引用时有很多规则,我在第一眼看到这些规则时也是有些头大,看了一段时间后才有了一些自己的一些理解。在这里对一些官方的术语和借用规则进行解释和记录。

 目录

一、概述

二、借用规则

三、详细解释

3.1 第一条规则

3.2 第二条规则

3.3 第三条规则

四、总结


Welcome to Code Block's blog

本篇文章主要介绍了

[Rust-引用借用规则]

❤博主广交技术好友,喜欢文章的可以关注一下❤

一、概述

       Rust为确保程序在运行时不会出现数据竞争和其他内存安全,在使用引用时有很多规则,我在第一眼看到这些规则时也是有些头大,看了一段时间后才有了一些自己的一些理解。在这里对一些官方的术语和借用规则进行解释和记录。

二、借用规则

  • 同一时间可以有多个不可变引用(&T)。
  • 同一时间只能有一个可变引用(&mut T)。
  • 不可变引用和可变引用不能同时存在。

上面为官方的解释,难理解的问题出现在这个同一时间,怎么才算同一时间。其实这里说的同一时间时指同一生命周期内。

三、详细解释

3.1 第一条规则

       同一时间内可以有多个不可变引用(&T)。即在同一个范围的生命周期内,可以包含多个不可变的引用。

-------------------------------

|不可变引用A

|

|其它不可变引用

|

|使用不可变引用A

--------------------------------

如上图, 在不可变引用A的作用生命周期内,可以创建和使用多个不可变引用。实例代码:

let A = 1;
    //不可变引用a
    let a = &A;
    //其它不可变引用
    let b = &A;
    //....
    //使用不可变引用a
    println!("{}", &a);

image.gif

3.2 第二条规则

       同一时间只能有一个可变引用(&mut T)。即在同一个生命周期内只能有一个可变引用。

-------------------------------------

//可变引用A

//

//周期内不能包含A的不可变引用

//

//使用可变引用A

------------------------------------

或者

------------------------------------

//不可变引用A

//

//任何A的可变引用

//

//使用不可变引用A

-------------------------------------

       如上图,在可变引用A的生命周期内,不能包含A的任何不可变引用。或者在不可变引用A的生命周期内不能包含任何可变A的可变引用

第一种情况:

let mut A = 1;
    //可变引用a
    let a = &mut A;
    //其它不可变引用
    let b = &A;
    //....
    //使用可变引用a
    println!("{}", &a);

image.gif

第二种情况:

let mut A = 1;
    //不可变引用a
    let a = &A;
    //其它可变引用
    let b = &mut A;
    //....
    //使用不可变引用a
    println!("{}", &a);

image.gif

3.3 第三条规则

      不可变引用和可变引用不能同时存在。

       其实可以理解为对第二条规则的总结,不能同时存在即在同一个生命周期内不能同时存在对A的不可变引用和可变引用。

:对引用解引用即获取该引用的数据对象,如果再次引用即为借引用。这里需要注意对任何解引用的借引用都为不可变引用。

如下:

let mut A = 1;
    //可变引用a
    let a = &mut A;
    //引用b为不可变引用
    let b = & *a; //借引用a

image.gif

这里a为可变引用,b借引用a,但是b为不可变引用。生命周期内同样需要满足上述借用规则

四、总结

       Rust的借用规则虽然初看起来复杂,但通过合理组织代码结构和生命周期,可以有效地防止数据竞争和内存错误。理解“同一生命周期”的概念,以及如何在该生命周期内管理不可变和可变引用的使用,是掌握Rust借用系统的关键。这不仅提升了代码的安全性,也为编写高效的并发程序奠定了基础。随着对Rust的深入学习和实践,这些规则将逐渐成为编写稳健代码的自然习惯。

如果你对区块链内容感兴趣可以查看我的专栏:小试牛刀-区块链

感谢您的关注和收藏!!!!!!

image.gif 编辑

目录
相关文章
|
7月前
|
人工智能 数据挖掘 Linux
Centos安装Python3.7(亲测可用)
本指南详细介绍了在基于Linux(以CentOS系统为例,使用yum包管理器)的系统上安装Python 3.7版本的完整流程。Python是一种广泛使用的高级编程语言,在各种领域如软件开发、数据分析、人工智能和区块链开发等都有着重要的应用。
654 2
|
传感器 Rust 安全
为什么物联网领域使用Rust的项目越来越多?
2021年2月8日,Rust基金会成立,Rust商标及所有权移交给基金会。
为什么物联网领域使用Rust的项目越来越多?
|
7月前
|
Linux 开发者 Windows
告别手动上传!开源FTP批量同步工具(免费跨平台)​​
自己开发的一个简单实用的 FTP 文件夹同步工具,支持定时自动同步和系统托盘运行,免去繁琐的配置。
202 0
|
7月前
|
存储 JavaScript 区块链
小试牛刀-SOL链创建Token
最近需要编写SOL合约进行SPL Token的转移,因为在测试网上需要自己部署测试Token,同时为了更加美观,Token需携带metadata数据(对名称、头像等)进行定义.在此对创建过程进行记录,希望帮助到有需要实现相关功能的朋友.
135 0
|
7月前
|
存储 索引
rbpf虚拟机-opcode码
该篇文章是rbpf虚拟机opcode码作用和使用的整理。(学习该虚拟机的目的是为了搞懂solana合约的执行方式,solana使用的rbpf是在该虚拟机上进行扩展。)
188 1
|
7月前
|
算法 区块链 数据安全/隐私保护
加密算法:深度解析Ed25519原理
在 Solana 开发过程中,我一直对 Ed25519 加密算法 如何生成公钥、签名以及验证签名的机制感到困惑。为了弄清这一点,我查阅了大量相关资料,终于对其流程有了更清晰的理解。在此记录实现过程,方便日后查阅。
933 1
|
7月前
|
安全 算法 区块链
openssl生成证书
本文章是记录openssl命令生成私钥、证书签名请求、CA证书的命令和相关参数的解释。其中包含了各参数的名称、作用、技术细节和安全建议。
178 1
|
7月前
|
NoSQL Java 区块链
Springboot应用开发:配置类整理
在使用SpringBoot进行应用开发中,通常需要编写很多的配置类,这些配置类在很大程度上提高了应用的开发速度.其中就包括线程池、数据库连接池、缓存的相关配置类。在这里我将经常用到的配置类进行整理和总结。
323 0
|
7月前
|
JSON API PHP
全球天气预报5天(经纬度版)免费API接口教程
本文介绍接口盒子提供的全球天气预报API,支持通过经纬度获取任意地区未来5天的详细天气数据,包含温度、气压、湿度、风速等12项气象要素。提供每3小时的精细化预报,个人开发者可免费调用(需注册获取KEY)。附请求参数、返回数据说明及PHP、Python调用示例,适用于气象平台、出行类APP、物联网监测等场景。
886 0
|
7月前
|
存储 人工智能 物联网
RFID技术成为现代资产管理重要桥梁
RFID技术助力资产管理智能化升级,通过非接触式识别、批量读取、高安全性等优势,实现资产全生命周期追踪与自动化管理。广泛应用于资产定位、库存盘点、防伪溯源、维护提醒等场景,显著提升管理效率、准确性与决策水平,降低运营成本。结合AI与大数据,推动企业数字化转型。