變量

要在Rust中創(chuàng)建不可變變量，只需編寫let x = 1337，這是簡(jiǎn)單的。如果想創(chuàng)建一個(gè)以后可以改變的變量，只需在let之后添加mut關(guān)鍵字。添加mut關(guān)鍵字通知其他人該變量將在代碼的其他地方被修改。

例如：let mut x = 1337 和 let y = 42，如圖：

圖片

引用

目前，一切都很簡(jiǎn)單。然而，當(dāng)使用mut引用時(shí)，事情開始變得有點(diǎn)棘手。讓我們創(chuàng)建一些。

let mut x = 1337;
let y = 42;

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

我們創(chuàng)建了兩個(gè)引用，其中一個(gè)是可變引用，另一個(gè)是只讀引用。

圖片

在給定的4個(gè)變量中，其中2個(gè)是引用，這兩個(gè)引用變量都是不可變的，在let之后沒有mut關(guān)鍵字，這意味著我不能更改它們指向的內(nèi)容。但是，我仍然可以更改它們引用的值。

*x_ref = 777;

如果你這樣寫，Rust編譯器不會(huì)報(bào)錯(cuò)，x的值(不是ref本身)會(huì)變成777。那么，為什么我可以改變它所指向的值呢？

在沒有任何隱式類型推導(dǎo)的形式下，x_ref的變量應(yīng)該是這樣：

let x_ref: &mut i32 = &mut x;

可以將其解釋為：創(chuàng)建一個(gè)名為x_ref的不可變變量，它將保存對(duì)i32的可變引用，并立即將其初始化為x變量中對(duì)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：我們正在創(chuàng)建一個(gè)名為x_ref的可變變量，這意味著可以稍后更改它的值。

2，&mut i32：聲明該變量為i32類型的可變引用

3，&mut x：x變量的可變借用

然后，創(chuàng)建了一個(gè)名為z的變量，并將其賦值為0。之后，當(dāng)寫x_ref = &mut z時(shí)，x_ref是一個(gè)可變變量，保存對(duì)i32值的可變引用。

圖片

讓我們看一下語(yǔ)句：

let mut x_ref = &mut x;

以等號(hào)分割成兩個(gè)子語(yǔ)句：左邊提供關(guān)于變量本身的信息，而右邊告訴我們關(guān)于變量的值。

當(dāng)使用“ * ”解引用操作符來改變值時(shí)

*x_ref = 100;

沒有改變x_ref變量的值。相反，改變了x_ref引用的值。

不可變引用

let i = 1;
let j = 2;

let mut k = &i;

能改變這里i的值嗎？我們可以改變k的值(在左邊看到mut)，但是這個(gè)值(右邊)是對(duì)i的不可變引用(這里沒有mut)。

因此：

let i = 1;
let j = 2;

let mut k = &i;

k = &j; // 這是允許的
*k = 3; // 這是不允許的

圖片

總結(jié)

在本文中，我們剖析了mut關(guān)鍵字和引用之間的細(xì)微差別。記住，可變引用和持有引用的可變變量是有區(qū)別的。