Rust 勸退之變量
大家好，我是站長 polarisxu。
這是 Rust 勸退系列的第 3 個教程，探討 Rust 中的變量。
01 變量和綁定
變量指定了某存儲單元(Memory Location)的名稱，該存儲單元會存儲特定類型的值。
Rust 是靜態類型語言，不能在運行期改變變量類型。
和你熟悉的大部分編程語言不一樣，Rust 中變量一般不叫聲明，而叫做綁定(這是從函數式語言中借鑒的，使用關鍵字 let 綁定)，那有什么區別呢?
在 Go 語言中一般有下面幾種聲明變量的方式：
- var age = 10
- var age int
- var age int = 10
- age := 10 // 只能在函數內部使用
- // 可以分組
- var (
- age = 10
- birthday = "01-01"
- )
Go 中聲明變量，可以不指定類型(會進行類型推導)，也可以不給初始值(會有默認初始值)。
而 Rust 中，形式比較少，主要有兩種：
- let age = 10;
- let age: i32 = 10;
和 Go 一樣，大部分時候，Rust 也能夠推導出類型。在顯示指定類型時，需要加上 :。關于類型，后續講解。
那為什么 Rust 中變量創建一般叫做綁定呢?
1)Rust 和 C 一樣，變量創建后必須初始化后才能使用(未使用的變量會警告)。以下代碼編譯報錯：
- fn main() {
- let age: i32;
- println!("age is {}", age);
- }
- // error[E0381]: borrow of possibly-uninitialized variable: `age`
2)Rust 中，通過 let 關鍵字，在標識符(如變量 age)與值(如 10)之間建立起一種關聯關系。表明所有權關系。也就是說這塊內存現在屬于 age 了。
熟悉 JS 的朋友，應該對 var 和 let 很親切，不過兩者的區別和 Go 中的 var 與 Rust 的 let 區別不一樣。
02 可變性
第一次看到下面的代碼報錯，你肯定特別的驚訝：
- fn main() {
- let age = 10;
- println!("age is {}", age);
- age = 11;
- println!("age is {}", age);
- }
- // error[E0384]: cannot assign twice to immutable variable `age`
沒錯，Rust 中的變量默認是不可變的(好吧，變量不可變。。。但又不是常量)。這也是 Rust 中內存管理很重要的一個特性。
如果我想變量可變，怎么辦?Rust 提供了關鍵字 mut，這叫做可變綁定：
- fn main() {
- let mut age = 10;
- println!("age is {}", age);
- age = 11;
- println!("age is {}", age);
- }
通常，我們應該優先創建不可變變量，只有真的需要時，才使用可變變量。
03 隱藏(shadow)
因為變量默認不可變，Rust 中還存在這樣「詭異」的情況。下面代碼一切正常：
- fn main() {
- let age = 10;
- println!("age is {}", age);
- let age = 11;
- println!("age is {}", age);
- }
在 Go 中，肯定報重復聲明。
這種「重復」創建同名變量的語法，Rust 中叫做隱藏(Shadow)。也就是說上次創建的被這次創建的隱藏了。具體有什么用呢?
比如類似這樣的代碼，在 Go 中還是比較常見的：
- ageStr := req.FormValue("age")
- age, err := strconv.Atoi(ageStr)
也就是說，同樣的數值，因為類型不同，需要用兩個不同名稱的變量表示。但 Rust 中可以這樣：
- fn main() {
- let age = "10";
- let age = age.parse::<i32>().unwrap();
- println!("age is {}", age);
- }
不過這種語法有好處也有弊端。當涉及到作用域時，要特別注意隱藏的問題。這和 Go 中的簡短聲明(:=)的「坑」很像。類似下面這樣的代碼，最后的 age 依然是 10：(實際中的代碼一般不會這么明顯)
- fn main() {
- let age = 10;
- {
- let age = "abc";
- println!("age is {}", age);
- }
- println!("age is {}", age);
- }
- // age is abc
- // age is 10
可見，隱藏只會其所屬作用域內生效。
04 小結
Rust 是靜態類型語言，運行期間不能改變變量類型。
通過 let 創建變量，Rust 中一般叫做變量綁定;
默認變量不可變，創建可變綁定，可以在變量名前加上 mut 關鍵字;
重復定義重名變量會隱藏(shadow)之前的變量，但要注意作用域問題;
本節內容還是比較簡單的，但要注意和你所學語言不同的點以及可能的坑。沒被勸退吧~
本文轉載自微信公眾號「polarisxu」，可以通過以下二維碼關注。轉載本文請聯系polarisxu公眾號。
