Rust 是一門強調安全、并發、高效的系統編程語言。無 GC 實現內存安全機制、無數據競爭的并發機制、無運行時開銷的抽象機制，是 Rust 獨特的優越特性。 它聲稱解決了傳統 C 語言和 C++語言幾十年來飽受責難的內存安全問題，同時還保持了很高的運行效率、很深的底層控制、很廣的應用范圍， 在系統編程領域具有強勁的競爭力和廣闊的應用前景。
在 Rust 筆記（三）中，講了復核類型，本文就認識一下 Rust 中的變量。
可變 & 不可變
Rust 默認支持類型推導，在編譯器能夠推導類型的情況下，變量類型一般可以省略，但常量（const）和靜態變量（static）必須聲明類型。
圖片
let a: &str = "一個不可變變量";
const B: &str = "一個常量";
static C: &str = "一個靜態變量";
變量默認是不可變的。如果需要讓變量具有可變性，必須為變量添加 mut 關鍵字。默認變量不可變是一個很重要的特性，它符合最小權限原則（Principle of Least Privilege），有助于我們寫出健壯且正確的代碼。當你使用 mut 卻沒有修改變量，Rust 編譯期會友好地報警，提示你移除不必要的 mut。
let mut x = 10; // 聲明一個可變的整型變量
x = 20; // 可以修改 x 的值
當使用 mut 關鍵字聲明一個引用時，該引用就可以被修改所指向的變量，例如：
let mut s = String::from("hello");
let r = &mut s; // 聲明一個可變的字符串引用
r.push_str(" world!"); // 可以修改 s 的值
在其他大多數語言中，要么只支持申明可變的變量，要么只支持申明不可變的變量，但是 Rust 就不一樣了，兩者我都要，既要靈活性又要安全性。還有一個很大的優點，那就是運行性能上的提升，因為將本身無需改變的變量聲明為不可變在運行期會避免一些多余的 runtime 檢查。
選擇可變還是不可變，更多的還是取決于你的使用場景，
- 不可變: 有安全性，但是喪失了靈活性和性能
- 可變變量：最大的好處就是使用上的靈活性和性能上的提升
使用下劃線開頭忽略未使用的變量
在 Rust 中創建了一個變量卻不在任何地方使用它，Rust 會給你一個警告，因為這可能會是個 BUG。
圖片
但是有時創建一個不會被使用的變量是有用的，比如你正在設計原型或剛剛開始一個項目。這時你希望告訴 Rust 不要警告未使用的變量，為此可以用下劃線作為變量名的開頭：
圖片
變量綁定
在其他語言中，比如 JS，我們使用 var a = "Hello World"。意思是將 "Hello World" 賦值給變量 a。在 Rust 中，let a = "Hello World"，意思和 JS 中一樣，但是這個過程起了有一個名字：變量綁定。
其實本質上是一回事，賦值 === 綁定，但是 Rust 存在“所有權”這一特性，所以綁定的含義更清晰準確。綁定就是把這個對象綁定給一個變量，讓這個變量成為它的主人。
變量解構 & 解構賦值
let 表達式不僅僅用于變量的綁定，還能進行復雜變量的解構：從一個相對復雜的變量中，匹配出該變量的一部分內容：
let (a, mut b): (bool, bool) = (true, false);
// a = true,不可變; b = false，可變
println!("a = {:?}, b = {:?}", a, b);
也可以進行變量的解構賦值：
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 生成了完全不同的新變量，兩個變量只是恰好擁有同樣的名稱，涉及一次內存對象的再分配 ，而 mut 聲明的變量，可以修改同一個內存地址上的值，并不會發生內存對象的再分配，性能要更好。
變量命名
在命名方面，和其它語言沒有區別，不過當給變量命名時，需要遵循 Rust 命名規范。詳情可看RFC 430
- type-level 的構造 Rust 傾向于使用駝峰命名法，value-level 的構造使用蛇形命名法。
- 特殊命名：名稱應該使用動詞，而不是形容詞或者名詞。
- 類型轉換要遵守 as_，to_，into_ 命名慣例(C-CONV)。
- 讀訪問器(Getter)的名稱遵循 Rust 的命名規范(C-GETTER)。
- 一個集合上的方法，如果返回迭代器，需遵循命名規則：iter，iter_mut，into_iter (C-ITER)。
- 迭代器的類型應該與產生它的方法名相匹配(C-ITER-TY)。
- Cargo Feature 的名稱不應該包含占位詞(C-FEATURE)。
- 命名要使用一致性的詞序(C-word-ORDER)
變量和常量之間的差異
有變量就有常量。常量也是綁定到一個常量名且不允許更改的值，但是常量和變量之間存在一些差異：
- 常量不允許使用 mut。常量不僅僅默認不可變，而且自始至終不可變，因為常量在編譯完成后，已經確定它的值。
- 常量使用 const 關鍵字而不是 let 關鍵字來聲明，并且值的類型必須標注。
let a: &str = "一個不可變變量";
const B: &str = "一個常量";
常量可以在任意作用域內聲明（包括全局作用域），在聲明的作用域內，常量在運行的整個過程中都有效。對于需要在多處代碼共享一個不可變的值時非常有用。
參考
- 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
