Rust: 如何区分可变引用还是可变变量?&mut VS mut

开发 前端
在本文中,我们剖析了mut关键字和引用之间的细微差别。记住,可变引用和持有引用的可变变量是有区别的。​

变量

要在Rust中创建不可变变量,只需编写let x = 1337,这是简单的。如果想创建一个以后可以改变的变量,只需在let之后添加mut关键字。添加mut关键字通知其他人该变量将在代码的其他地方被修改。

例如:let mut x = 1337 和 let y = 42,如图:

图片图片

引用

目前,一切都很简单。然而,当使用mut引用时,事情开始变得有点棘手。让我们创建一些。

let mut x = 1337;
let y = 42;

let x_ref = &mut x;
let y_ref = &y;

我们创建了两个引用,其中一个是可变引用,另一个是只读引用。

图片图片

在给定的4个变量中,其中2个是引用,这两个引用变量都是不可变的,在let之后没有mut关键字,这意味着我不能更改它们指向的内容。但是,我仍然可以更改它们引用的值。

*x_ref = 777;

如果你这样写,Rust编译器不会报错,x的值(不是ref本身)会变成777。那么,为什么我可以改变它所指向的值呢?

在没有任何隐式类型推导的形式下,x_ref的变量应该是这样:

let x_ref: &mut i32 = &mut x;

可以将其解释为:创建一个名为x_ref的不可变变量,它将保存对i32的可变引用,并立即将其初始化为x变量中对i32值的可变引用。

这意味着我们可以修改它指向的值,但不能改变引用本身的值(或地址)。换句话说,我不能这样写:

let x_ref: &mut i32 = &mut x;
let mut z = 0;

x_ref = &mut z; // Not allowed!

图片图片

让我们修改代码:

let mut x: i32 = 1337;
let mut x_ref: &mut i32 = &mut x; // 在x_ref前面加了mut
let mut z = 0;

x_ref = &mut z; // Allowed!

x_ref周围有太多的mut,让我们来描述一下:

1,let mut x_ref:我们正在创建一个名为x_ref的可变变量,这意味着可以稍后更改它的值。

2,&mut i32:声明该变量为i32类型的可变引用

3,&mut x:x变量的可变借用

然后,创建了一个名为z的变量,并将其赋值为0。之后,当写x_ref = &mut z时,x_ref是一个可变变量,保存对i32值的可变引用。

图片图片

让我们看一下语句:

let mut x_ref = &mut x;

以等号分割成两个子语句:左边提供关于变量本身的信息,而右边告诉我们关于变量的值。

当使用“ * ”解引用操作符来改变值时

*x_ref = 100;

没有改变x_ref变量的值。相反,改变了x_ref引用的值。

不可变引用

let i = 1;
let j = 2;

let mut k = &i;

能改变这里i的值吗?我们可以改变k的值(在左边看到mut),但是这个值(右边)是对i的不可变引用(这里没有mut)。

因此:

let i = 1;
let j = 2;

let mut k = &i;

k = &j; // 这是允许的
*k = 3; // 这是不允许的

图片图片

总结

在本文中,我们剖析了mut关键字和引用之间的细微差别。记住,可变引用和持有引用的可变变量是有区别的。

责任编辑:武晓燕 来源: coding到灯火阑珊
相关推荐

2010-12-10 14:37:01

PHP可变变量名

2023-10-30 23:38:03

Rust编程基础

2018-07-06 14:44:14

机箱

2009-06-29 15:23:00

2024-02-26 10:47:09

Python数据类型开发

2024-04-08 07:58:11

Python数据类型字符串

2010-01-14 14:30:09

VB.NET匿名类型

2021-06-14 09:34:23

对象存储存储

2023-06-07 19:17:14

UbuntuKDELinux

2022-03-16 08:39:19

StackHeap内存

2011-05-13 17:25:34

C

2017-03-14 10:41:58

VMware VSAN许可变化

2021-08-26 09:01:35

内部Rust可变性

2022-06-28 09:10:32

K8S容器镜像滚动升级

2024-01-15 07:15:05

函数式编程代码

2021-01-06 05:29:04

C语言参数应用

2023-02-18 13:47:04

CoreOS容器操作系统云原生

2022-07-13 16:38:32

Python可变数据类型不可变数据类型

2011-08-01 17:11:43

Objective-C 函数

2022-08-05 12:05:07

JavaGuava集合
点赞
收藏

51CTO技术栈公众号