C++ 變數宣告位置優化指南：初始化優於賦值、就近宣告與前置遞增效能優勢

C++ 宣告位置自由化的效能紅利

C 語言強制變數宣告於區塊開頭，C++ 允許就近宣告（在真正需要處）。這不僅提升可讀性，更帶來實質效能優化機會。

四大優化原則

1. 初始化優於賦值

// 低效：預設建構 + 指派
string s;
s = "hello";  // 兩次操作

// 高效：直接初始化
string s("hello");  // 或 string s = "hello";  單次建構

對內建型別差異微小；對類別型別，賦值多一次指派運算子呼叫。std::string、std::vector 等更顯著。

2. 就近宣告：避免不必要的建構

// 低效：提早建構，可能根本不使用
void use() {
    ExpensiveObject obj;  // 建構開銷
    if (!needed()) return;  // 白白付出
    obj.doWork();
}

// 高效：需要時才建構
void use() {
    if (!needed()) return;
    ExpensiveObject obj;  // 僅必要路徑付出代價
    obj.doWork();
}

陣列更顯著：ExpensiveObject arr[1000]; 提早建構 1000 個物件。

3. 建構函數初始化列表

// 低效：預設建構 + 指派
Person(const string& n, int a) {
    name = n;  // operator=
    age = a;
}

// 高效：直接初始化
Person(const string& n, int a) : name(n), age(a) {}  // 複製建構

初始化列表：成員宣告時直接建構，僅一次複製建構。本體賦值：預設建構 + 指派 = 兩次函數呼叫。

注意：初始化順序遵循成員宣告順序，非列表書寫順序。

4. 前置遞增優於後置遞增

for (auto it = vec.begin(); it != vec.end(); ++it)  // 前置：無暫存物件
for (auto it = vec.begin(); it != vec.end(); it++)  // 後置：建立暫存副本

• 內建型別：編譯器優化消除差異
• 迭代器/類別型別：後置需建立暫存物件保存舊值，前置效率更高
• 現代 C++：範圍-based for 完全避免此問題

實務建議清單

1. 變數定義點初始化，勿分離宣告與賦值
2. 就近宣告，縮小作用域，減少不必要建構
3. 建構函數統一使用初始化列表（含內建型別，保持一致）
4. 迴圈迭代器使用前置遞增（++it）
5. 優先使用範圍-based for（C++11）與演算法（std::for_each 等）
6. 大型物件傳遞用const 參考，回傳利用移動語意 (C++11)

編譯器優化現實

• 現代編譯器（GCC、Clang、MSVC）對簡單情況積極優化（RVO、NRVO、內聯、純量替換）
• 但語意層面的優化（初始化vs賦值、前置vs後置）需程式設計師配合
• 良好習慣在釋出模式下通常無額外代價，除錯模式差異明顯

「過早優化是萬惡之源」，但這些是零成本良好習慣：寫法正確、語意清晰、效能不差。養成上述習慣，是專業 C++ 開發者的基本素養。