Rust 是一門強調(diào)安全、并發(fā)、高效的系統(tǒng)編程語言。無 GC 實現(xiàn)內(nèi)存安全機制、無數(shù)據(jù)競爭的并發(fā)機制、無運行時開銷的抽象機制，是 Rust 獨特的優(yōu)越特性。 它聲稱解決了傳統(tǒng) C 語言和 C++語言幾十年來飽受責(zé)難的內(nèi)存安全問題，同時還保持了很高的運行效率、很深的底層控制、很廣的應(yīng)用范圍， 在系統(tǒng)編程領(lǐng)域具有強勁的競爭力和廣闊的應(yīng)用前景。

讓客戶滿意是我們工作的目標，不斷超越客戶的期望值來自于我們對這個行業(yè)的熱愛。我們立志把好的技術(shù)通過有效、簡單的方式提供給客戶，將通過不懈努力成為客戶在信息化領(lǐng)域值得信任、有價值的長期合作伙伴，公司提供的服務(wù)項目有：域名注冊、網(wǎng)絡(luò)空間、營銷軟件、網(wǎng)站建設(shè)、南岸網(wǎng)站維護、網(wǎng)站推廣。

在 Rust 筆記（三）中，講了復(fù)核類型，本文就認識一下 Rust 中的變量。

可變 & 不可變

Rust 默認支持類型推導(dǎo)，在編譯器能夠推導(dǎo)類型的情況下，變量類型一般可以省略，但常量（const）和靜態(tài)變量（static）必須聲明類型。

圖片

let a: &str = "一個不可變變量";
const B: &str = "一個常量";
static C: &str = "一個靜態(tài)變量";

變量默認是不可變的。如果需要讓變量具有可變性，必須為變量添加 mut 關(guān)鍵字。默認變量不可變是一個很重要的特性，它符合最小權(quán)限原則（Principle of Least Privilege），有助于我們寫出健壯且正確的代碼。當(dāng)你使用 mut 卻沒有修改變量，Rust 編譯期會友好地報警，提示你移除不必要的 mut。

let mut x = 10; // 聲明一個可變的整型變量
x = 20; // 可以修改 x 的值

當(dāng)使用 mut 關(guān)鍵字聲明一個引用時，該引用就可以被修改所指向的變量，例如：

let mut s = String::from("hello");
let r = &mut s; // 聲明一個可變的字符串引用
r.push_str(" world!"); // 可以修改 s 的值

在其他大多數(shù)語言中，要么只支持申明可變的變量，要么只支持申明不可變的變量，但是 Rust 就不一樣了，兩者我都要，既要靈活性又要安全性。還有一個很大的優(yōu)點，那就是運行性能上的提升，因為將本身無需改變的變量聲明為不可變在運行期會避免一些多余的 runtime 檢查。

選擇可變還是不可變，更多的還是取決于你的使用場景，

• 不可變: 有安全性，但是喪失了靈活性和性能
• 可變變量：最大的好處就是使用上的靈活性和性能上的提升

使用下劃線開頭忽略未使用的變量

在 Rust 中創(chuàng)建了一個變量卻不在任何地方使用它，Rust 會給你一個警告，因為這可能會是個 BUG。

圖片

但是有時創(chuàng)建一個不會被使用的變量是有用的，比如你正在設(shè)計原型或剛剛開始一個項目。這時你希望告訴 Rust 不要警告未使用的變量，為此可以用下劃線作為變量名的開頭：

圖片

變量綁定

在其他語言中，比如 JS，我們使用 var a = "Hello World"。意思是將 "Hello World" 賦值給變量 a。在 Rust 中，let a = "Hello World"，意思和 JS 中一樣，但是這個過程起了有一個名字：變量綁定。

其實本質(zhì)上是一回事，賦值 === 綁定，但是 Rust 存在“所有權(quán)”這一特性，所以綁定的含義更清晰準確。綁定就是把這個對象綁定給一個變量，讓這個變量成為它的主人。

變量解構(gòu) & 解構(gòu)賦值

let 表達式不僅僅用于變量的綁定，還能進行復(fù)雜變量的解構(gòu)：從一個相對復(fù)雜的變量中，匹配出該變量的一部分內(nèi)容：

let (a, mut b): (bool, bool) = (true, false);
// a = true,不可變; b = false，可變
println!("a = {:?}, b = {:?}", a, b);

也可以進行變量的解構(gòu)賦值：

let (a, b, c, d, e);
(a, b) = (1, 2);

變量遮蔽

Rust 允許對申明的變量再次聲明，也就是允許申明相同的變量，后面的變量就會遮蔽前端的變量。

let x: i32 = 1;
let x: i32 = 2;
let x: i32 = x +1;
println!("x: {}", x);

這和 mut 變量的使用是不同的，第二個 let 生成了完全不同的新變量，兩個變量只是恰好擁有同樣的名稱，涉及一次內(nèi)存對象的再分配 ，而 mut 聲明的變量，可以修改同一個內(nèi)存地址上的值，并不會發(fā)生內(nèi)存對象的再分配，性能要更好。

變量命名

在命名方面，和其它語言沒有區(qū)別，不過當(dāng)給變量命名時，需要遵循 Rust 命名規(guī)范。詳情可看RFC 430

• type-level 的構(gòu)造 Rust 傾向于使用駝峰命名法，value-level 的構(gòu)造使用蛇形命名法。
• 特殊命名：名稱應(yīng)該使用動詞，而不是形容詞或者名詞。
• 類型轉(zhuǎn)換要遵守 as_，to_，into_ 命名慣例(C-CONV)。
• 讀訪問器(Getter)的名稱遵循 Rust 的命名規(guī)范(C-GETTER)。
• 一個集合上的方法，如果返回迭代器，需遵循命名規(guī)則：iter，iter_mut，into_iter (C-ITER)。
• 迭代器的類型應(yīng)該與產(chǎn)生它的方法名相匹配(C-ITER-TY)。
• Cargo Feature 的名稱不應(yīng)該包含占位詞(C-FEATURE)。
• 命名要使用一致性的詞序(C-WORD-ORDER)

變量和常量之間的差異

有變量就有常量。常量也是綁定到一個常量名且不允許更改的值，但是常量和變量之間存在一些差異：

• 常量不允許使用 mut。常量不僅僅默認不可變，而且自始至終不可變，因為常量在編譯完成后，已經(jīng)確定它的值。
• 常量使用 const 關(guān)鍵字而不是 let 關(guān)鍵字來聲明，并且值的類型必須標注。

let a: &str = "一個不可變變量";
const B: &str = "一個常量";

常量可以在任意作用域內(nèi)聲明（包括全局作用域），在聲明的作用域內(nèi)，常量在運行的整個過程中都有效。對于需要在多處代碼共享一個不可變的值時非常有用。

參考

• https://zhuanlan.zhihu.com/p/615270800
• https://time.geekbang.org/column/article/411632
• https://www.runoob.com/rust/rust-function.html
• https://zhuanlan.zhihu.com/p/366756163
• https://course.rs/practice/naming.html

當(dāng)前文章：我們一起聊聊Rust變量，你學(xué)會了嗎？
當(dāng)前網(wǎng)址：http://uogjgqi.cn/article/ccccisj.html