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

rust引用

一、引用是什么

引用,又叫做借用。是一个指针类型。
引用是指向数据的指针,它允许我们以只读或可变的方式访问数据,而不获取数据的所有权。
编译器静态地保证了引用总是指向有效的对象。也就是说,当存在引用指向一个对象时,该对象不能被销毁

二、定义引用

在Rust中,使用&符号来创建引用。
(一)不可变引用
不可变引用,又叫共享引用。
不可变引用允许我们以只读方式访问数据,不允许修改数据。

语法格式

& type

示例:

fn main() {let mut x = 5;let y = &x;println!("x: {}", x);println!("y: {}", y);
}

可变变量x和不可变引用y,指向变量x的值。

(二)可变引用
可变引用允许我们以读写方式访问和修改数据。
语法格式

&mut type

示例:

let mut x = 5;
let y = &mut x;
*y += 1;
println!("x: {}", x);
println!("y: {}", y);

可变变量x和可变引用y,通过可变引用y修改了变量x的值。

引用的变量如果要变更,必须符合满足三个要求:
变量本身是可变的,也就是定义时必须添加 mut 关键字。
函数的参数也必须定义为可变的,也就是必须添加 &mut 关键字。
传递引用也必须是可变的,也就是传递参数时必须添加 &mut 关键字。
以上三个条件,任意一个不满足,都会报错。

三、使用引用

使用解引用操作符*来获取引用所指向的值

fn add_one(e: &mut i32) {*e+= 1;
}
fn main() {let mut i = 3;println!("before {}",i);add_one(&mut i);println!("after {}", i);
}
编译运行结果如下
before 3
after 4
let x = 5;
let y = &x;
assert_eq!(5, x);
assert_eq!(5, *y);
如果使用assert_eq!(5, y);,则会得到编译错误,不允许比较数字的引用与数字,因为它们是不同的类型。

四、悬垂引用

在具有指针的语言中,很容易通过释放内存时保留指向它的指针而错误地生成一个悬垂指针,悬垂指针也叫野指针,是其指向的内存可能已经被分配给其它人。它们就像失去悬挂物体的绳子,所以叫"悬垂指针"。
"悬垂引用"是一种悬垂指针。
在Rust语言里不允许出现悬垂引用
比如

fn main() {let reference_to_nothing = dangle();
}
fn dangle() -> &String {let s = String::from("hello");&s
}

编译错误。
因为 s 是在 dangle 函数内创建的,当 dangle 的代码执行完毕后,s 将被释放。返回的引用会指向一个无效的 String,这可不对!Rust不会允许我们这么做。
这里的解决方法是直接返回 String:

fn no_dangle() -> String {let s = String::from("hello");s
}

这样就没有任何错误了。所有权被移动出去,所以没有值被释放。

五、引用的规则

1.在同一时间点,要么 只能有一个可变引用,要么 只能有多个不可变引用。
2.引用必须总是有效的

一个引用的作用域从声明的地方开始一直持续到最后一次使用为止。
例如,

let mut s = String::from("hello");
let r1 = &s; // 没问题
let r2 = &s; // 没问题
println!("{} and {}", r1, r2); // 此位置之后r1和r2不再使用
let r3 = &mut s; // 没问题
println!("{}", r3);

不可变引用 r1 和 r2 的作用域在 println! 之后结束,这也是创建可变引用 r3 的地方。它们的作用域没有重叠,所以代码是可以编译的。

比如,下面例子是错误的,因为同一时间存在多个可变引用。

let mut s = String::from("hello");
let r1 = &mut s;
let r2 = &mut s;
println!("{}, {}", r1, r2);

下面例子也是错误的,因为同一时间既存在可变引用,又存在不可变引用

let mut s = String::from("hello");
let r1 = &s; // 没问题
let r2 = &s; // 没问题
let r3 = &mut s; // 大问题
println!("{}, {}, and {}", r1, r2, r3);
http://www.lryc.cn/news/177363.html

相关文章:

  • Android AMS——Activity Pause(八)
  • 【数据结构】冒泡排序,快速排序的学习知识总结
  • ubuntu终端 中文显示 改为 英文显示
  • ChatGPT Prompting开发实战(十二)
  • springboot整合eureka
  • 记录一个 GUI 库的对比测试结果
  • 解决 MyBatis-Plus 中增加修改时,对应时间的更新问题
  • 【力扣2057】值相等的最小索引
  • 计算机图像处理:图像轮廓
  • 解决java.io.FileNotFoundException: HADOOP_HOME and hadoop.home.dir are unset.的错误
  • 软件设计中常见的设计模式
  • 为什么我的remix没有injected web3
  • 第1章 数据结构绪论
  • 现代 GPU 容易受到新 GPU.zip 侧通道攻击
  • 8+单基因+细胞凋亡+WGCNA+单细胞+实验验证
  • BM4 合并两个排序的链表
  • 【lesson12】理解进程地址空间
  • 计算机里的神灵(SCIP)
  • 基于微信小程序的公交信息在线查询系统小程序设计与实现(源码+lw+部署文档+讲解等)
  • 【STM32】IAP升级01 bootloader实现以及APP配置(主要)
  • ruoyi(若依)接口拦截路径配置,接口访问要授权,放开授权直接访问
  • Ctfshow web入门 XSS篇 web316-web333 详细题解 全
  • watch()监听vue2项目角色权限变化更新挂载
  • 轻量化设计、佩戴更舒适——轻律 Umelody U1头戴式蓝牙耳机
  • 嵌入式Linux应用开发-基础知识-第三章 LED原理图-GPIO及操作
  • 外贸人员如何选择适合的邮箱服务
  • pt29django教程
  • 【操作系统笔记七】进程和线程
  • Kakfa高效读写数据
  • C++ 类和对象(4)构造函数