C 語言函數參數重新聲明局部變量的必要性：可讀性、防誤改、調試友好

結論先行

**對基本類型 (int, float, 指針) 由值傳遞時，重新聲明「無性能差異」，但極大提升可讀性與維護性**。編譯器優化後生成的機器碼幾乎完全一致。

兩種寫法對比

// 寫法 A: 直接使用參數
int add(int a, int b) {
    return a + b;  // 參數 a,b 即是局部變量
}

// 寫法 B: 重新聲明 (教科書風格)
int add(int a, int b) {
    int x = a;
    int y = b;
    return x + y;
}

重新聲明的四大價值

1. 語義隔離：參數代表「輸入契約」，局部變量代表「內部計算狀態」。修改 `x` 不會誤導閱讀者以為修改了調用方變量 (雖然值傳遞本就不會)。
2. 防止「意外修改參數」陷阱**：
   若函數演進為指針/引用傳遞 (`void inc(int *p)`)，內部 `*p++` 會改動外部變量。
   習慣寫 `int val = *p; val++;` 可**強制提醒**開發者：此處操作的是副本，若需改外部請顯式解引用。
3. 調試友好**：Watch 窗口觀察 `x`/`y` 不會干擾參數 `a`/`b` 的原始值，方便對比輸入輸出。
4. 命名清晰化**：參數常用縮寫 (`ptr`, `cnt`)，局部變量可用完整語義名 (`nodeCount`, `currentNode`)。

性能證據 (GCC -O2 / MSVC /O2)

; 寫法 A 與 寫法 B 編譯後彙編幾乎完全相同
add:
    lea eax, [rdi + rsi]  ; 參數在寄存器 rdi, rsi
    ret
// 無額外 mov 指令，編譯器直接使用參數寄存器

**零開銷抽象**：現代編譯器 (SSA 形式) 將參數視為不可變 SSA 值，重新聲明僅創建新 SSA 名稱，不產生額外存儲/搬運指令。

特殊情況：大結構體值傳遞

struct Big { char data[1024]; };
void foo(Big b) {        // 參數在棧上佔 1KB
    Big local = b;       // 額外 1KB 棧拷貝 + memcpy 開銷
    // ...
}

此時**避免重新聲明**，改用 `const Big&` 或 `const Big*` 傳遞。

最佳實踐指南

總結

**重新聲明參數是「好習慣」而非「優化手段」**。對基本類型零成本，對可讀性/防錯/調試極大收益。**代碼寫給人看，順便給機器跑**。