要在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前面加了mutlet 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關鍵字和引用之間的細微差別。記住,可變引用和持有引用的可變變量是有區別的。
本文鏈接:http://www.tebozhan.com/showinfo-26-85701-0.htmlRust: 如何區分可變引用還是可變變量?&mut VS mut
聲明:本網頁內容旨在傳播知識,若有侵權等問題請及時與本網聯系,我們將在第一時間刪除處理。郵件:2376512515@qq.com
上一篇: Zustand:讓React狀態管理更簡單、更高效
下一篇: Java的棧幀和動態鏈接是什么?