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

rust 引用/mut 的所有权

在任意给定时间,要么 只能有一个可变引用,要么 只能有多个不可变引用。

  • 不可变引用(shared reference)实现了Copy trait,不会发生所有权转移
  • 可变引用(mutable reference)未实现,会发生所有权转移
    let a: &i32 = &1; let b: &i32 = a; // Copyprintln!("{}", a) // a对应的值所有权未发生转移,继续能用let c: &mut i32 = &mut 1; let d: &mut i32 = c; // 未实现Copy, 此处发生move//println!("{}", c); // 报错,所有权发生转移


[选看] 一些有的没的自言自语

  • 引用本质就是指针,多个指针可以同时指向同一个地址,单个指针的的销毁也不会影响到指向的地址;

(p.s 不要和非引用类型的变量搞混,我们知道有些类型的数据本质也是指针(比如String),对于非引用类型的变量(除开全局的静态变量)在离开其所在的作用域时,其指向的数据也会自动销毁,为了避免二次释放(double free)问题的出现,是不可以多个指针指向同一地址的,这也是rust设计所有权机制的缘由。
一个最简单的例子:

{let a = "".to_string(); // 字符串类型的数据a指向堆上分配一片空间let b = a; // 字符串类型的数据b指向 同a相同的空间
}
// 离开作用域时,变量a,b销毁,其指向的堆内存空间自动回收。如果没有rust的所有权机制,这里就会产生二次释放的问题
  • 又为了规避可能存在的数据竞争,所以rust只允许同时存在一个可变的指针。
http://www.lryc.cn/news/289696.html

相关文章:

  • 油烟净化器科技改革,清新用餐生活
  • [足式机器人]Part3 机构运动学与动力学分析与建模 Ch01-1 刚体系统的运动学约束
  • 51单片机智能小车
  • 9. 嵌入式系统开发:安全性与可靠性设计模式---引言
  • 内网安全:Exchange服务
  • Flask介绍和优势
  • 喜报|「云原生数据库PolarDB」、「阿里云瑶池一站式数据管理平台」揽获“2023技术卓越奖”
  • 【动态规划】【字符串】【行程码】1531. 压缩字符串
  • 检测头篇 | 原创自研 | YOLOv8 更换 SEResNeXtBottleneck 头 | 附详细结构图
  • PHP语法
  • MySQL:三大日志(binlog、redolog、undolog)
  • 【QT+QGIS跨平台编译】之十二:【libpng+Qt跨平台编译】(一套代码、一套框架,跨平台编译)
  • Windows 和 Anolis 通过 Docker 安装 Milvus 2.3.4
  • JUC并发编程与源码分析学习笔记(三)
  • 力扣日记1.28-【回溯算法篇】93. 复原 IP 地址
  • Java 的反射学习总结
  • 图论第二天|695. 岛屿的最大面积 1020. 飞地的数量 130. 被围绕的区域 417. 太平洋大西洋水流问题 827.最大人工岛
  • 【JavaScript 基础入门】02 JavaScrip 详细介绍
  • 鸿蒙(HarmonyOS)项目方舟框架(ArkUI)之CheckboxGroup组件
  • 【极数系列】Flink配置参数如何获取?(06)
  • 【docker】linux系统docker的安装及使用
  • 【C++】一题掌握空指针
  • 初识HarmonyOS
  • 备战蓝桥杯---二分(入门)
  • 开发 Chrome 浏览器插件时进行 Vue3+Vite 多页面多入口配置
  • MacOS X 中 OpenGL 环境搭建 Makefile的方式
  • 前端工程化之:webpack1-6(编译过程)
  • javaweb学习问题集
  • java—AWT
  • SQL注入-sqli-labs-master第一关