在 Rust 中，變量遮蔽（Variable Shadowing）?是一種在同一作用域內重新聲明同名變量的特性。它允許你創建一個新變量覆蓋之前的同名變量，新變量與舊變量類型可以不同，且舊變量會被完全隱藏。

核心特點

1. 允許同名變量重復聲明

2. 新變量類型可與舊變量不同

3. 舊變量被完全隱藏（不可訪問）

4. 發生在同一作用域內

---

基礎用法示例

fn main() {let x = 5;          // 第一個 x (i32)let x = "hello";     // 遮蔽第一個 x (&str)let x = x.len();     // 遮蔽第二個 x (usize)println!("{}", x);   // 輸出: 5（字符串"hello"的長度）
}

與?mut?的區別

特性	變量遮蔽 (Shadowing)	mut?(可變綁定)
類型變化	? 允許改變類型	? 必須保持相同類型
內存地址	創建新內存位置	使用相同內存位置
本質	創建全新變量	修改現有變量
作用域	同一作用域	同一作用域

// 變量遮蔽示例
let spaces = "   ";
let spaces = spaces.len();  // ? 允許：類型從 &str 變為 usize// mut 示例
let mut spaces = "   ";
spaces = spaces.len();      // ? 錯誤！不能改變類型

典型使用場景

1. 類型轉換

   let input = "42";
   let input: u32 = input.parse().unwrap(); // 字符串 → 整數

   2.變量重用

let data = fetch_data(); // 獲取原始數據
let data = process(data); // 處理后的新數據

? ? ? ? 3. 作用域內臨時覆蓋

let v = vec![1, 2, 3];
{let v = v.into_iter().map(|x| x * 2).collect::<Vec<_>>();println!("Inner: {:?}", v); // [2, 4, 6]
}
println!("Outer: {:?}", v); // 錯誤！v 已在內部作用域被移動

? ? ? ? 4. 保護不可變性

let count = 0;
// ... 若干行代碼 ...
let count = count + 1; // 創建新值而非修改原值

遮蔽規則詳解

1. 作用域繼承

let x = 5;
{// 繼承外部 x 的值let x = x * 2; println!("Inner: {}", x); // 10
}
println!("Outer: {}", x); // 5

? ? ? ? 2. 移動語義

let s = String::from("hello");
let s = s; // ? 遮蔽（不會報錯）
// let s2 = s; // ? 錯誤！s 已被移動到新綁定

? ? ? ? 3. 模式匹配遮蔽

let opt = Some(5);
if let Some(x) = opt { // 創建新變量 xprintln!("{}", x);
}
// 此處 opt 仍可用

最佳實踐建議

1. 謹慎使用遮蔽

   • 過度使用會降低代碼可讀性

   • 僅在類型轉換或明確需要覆蓋時使用

2. 避免深層嵌套遮蔽

// 不推薦：三層遮蔽易混淆
let x = 1;
let x = x + 1;
let x = x * 2;

? ? ? ? 3. 優先考慮作用域隔離

// 更清晰的做法
let result = {let temp = compute_value();transform(temp)
};

? ? ? ? 4.?注釋說明意圖

// 遮蔽用于類型轉換
let raw = "42";
let parsed: i32 = raw.parse().unwrap(); // 明確注釋

編譯器視角

當發生變量遮蔽時：

1. 編譯器會為新變量分配新內存

2. 舊變量名綁定到新內存地址

3. 舊變量仍然存在（直到作用域結束），但無法通過名稱訪問

let a = 1;       // 地址: 0x1000
let a = "hello";  // 地址: 0x2000
// 此時 0x1000 處的整數仍存在但不可訪問

注意：遮蔽不會提前釋放舊變量，它們會在作用域結束時一起被銷毀。

---

總結

變量遮蔽是 Rust 的特色功能，正確使用可以：
? 簡化類型轉換代碼
? 避免創建冗余變量名
? 保持不可變性的同時"更新"值

但需警惕：
?? 過度使用降低可讀性
?? 可能意外隱藏重要變量
?? 與作用域規則結合時的移動語義問題

合理使用遮蔽能使 Rust 代碼更簡潔，但應始終以代碼清晰度為優先考量。