当前位置: 首页 > news >正文

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;//不可变引用alet a = &A;//其它不可变引用let b = &A;//....//使用不可变引用aprintln!("{}", &a);

3.2 第二条规则

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

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

//可变引用A

//

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

//

//使用可变引用A

------------------------------------
或者

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

//不可变引用A

//

//任何A的可变引用

//

//使用不可变引用A
-------------------------------------

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

第一种情况:

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

第二种情况:

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

3.3 第三条规则

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

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

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

如下:

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

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

四、总结

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

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

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

相关文章:

  • MyBatis持久层框架
  • 开源模型集成接口
  • C# 运行web项目
  • Maven 编译指定模版
  • Aosp13 文件应用点击apk无反应的处理
  • 日常学习开发记录-slider组件
  • Rocky Linux 9.x 基于 kubeadm部署k8s
  • 基于Tesseract与Opencv的电子发票识别[1]
  • Vue 人看 React useRef:它不只是替代 ref
  • cocos 3D自由世界游戏 - 开发
  • GitHub实用手册
  • Java项目之基于ssm的学校小卖部收银系统(源码+文档)
  • 获取 arm-none-eabi-ld 默认使用的链接脚本
  • 【2-10】E1与T1
  • CentOS 下 Zookeeper 常用命令与完整命令列表
  • element-ui colorPicker 组件源码分享
  • 音视频小白系统入门笔记-0
  • 多光谱相机与高光谱相机的区别
  • AI搜索引擎的局限性
  • 代码随想录算法训练营Day30 | 01背包问题(卡码网46. 携带研究材料)、Leetcode416.分割等和子集
  • Meta一季度净利增长三成:上调全年资本支出,受关税影响亚洲出口电商广告支出减少
  • 微软上财季净利增长18%:云业务增速环比提高,业绩指引高于预期
  • 拍摄《我们这一代》的肖全开展“江浙沪叙事”
  • 来论|受美国“保护”,日本民众要付出什么代价?
  • 胸外科专家查出肺多发结节,说了一个可怕的事实……
  • 李铁案二审驳回上诉,维持一审有期徒刑20年的判决