C++ 效能剖析 (一)：臨時物件與隱式轉換的效能陷阱

C++ 效能剖析 (一)：臨時物件與隱式轉換的效能陷阱

C++ 效能優化不僅關乎演算法，更關乎對語言機制的深度理解。本文透過一個簡單的 intPair 結構與三個 Sum 函數的對比實驗，揭示臨時物件建構、複製建構、隱式轉換對效能的實際影響，並分析編譯器優化行為。

實驗代碼結構

struct intPair {
    int ip1, ip2;
    intPair(int i1, int i2) : ip1(i1), ip2(i2) {}
    intPair(int i1) : ip1(i1), ip2(i1) {} // 單參數建構子 → 隱式轉換來源
};

// 1. 值傳遞 (by value)
int Sum1(intPair p) { return p.ip1 + p.ip2; }

// 2. 參考傳遞 (by reference)
int Sum2(intPair &p) { return p.ip1 + p.ip2; }

// 3. 常數參考傳遞 (by const reference)
int Sum3(const intPair &p) { return p.ip1 + p.ip2; }

五種測試情境

double Sum(int testCase, int loop) {
    clock_t begin = clock();
    int x = 0;
    switch (testCase) {
        case 1: // 每次建構臨時物件傳給 Sum1 (值傳遞)
            for (int i=0; i<loop; ++i) x += Sum1(intPair(1,2));
            break;
        case 2: // 重複使用同一物件傳給 Sum1 (值傳遞)
            intPair p1(1,2);
            for (int i=0; i<loop; ++i) x += Sum1(p1);
            break;
        case 3: // 重複使用同一物件傳給 Sum2 (參考傳遞)
            intPair p2(1,2);
            for (int i=0; i<loop; ++i) x += Sum2(p2);
            break;
        case 4: // 重複使用同一物件傳給 Sum3 (常數參考傳遞)
            intPair p3(1,2);
            for (int i=0; i<loop; ++i) x += Sum3(p3);
            break;
        case 5: // 整數隱式轉換為 intPair 傳給 Sum3
            for (int i=0; i<loop; ++i) x += Sum3(10); // int → intPair(10,10)
            break;
    }
    clock_t end = clock();
    return double(end - begin) / CLOCKS_PER_SEC;
}

測試結果 (Visual Studio 2010, 100,000 次迴圈)

深度分析

1. 情境 1 最慢：臨時物件建構開銷

• 每次迴圈呼叫 intPair(1,2) 建構臨時物件
• 值傳遞觸發複製建構子 (雖然編譯器可能優化為 RVO/NRVO)
• 對策：避免迴圈中重複建構、改用參考傳遞、將建構子標記 explicit 防隱式轉換

2. 情境 2：複製建構子開銷

• 物件 p1 建構一次，但每次呼叫 Sum1(p1) 仍需複製建構
• 小型物件 (兩個 int) 複製成本極低，現代 CPU 快取可有效吸收

3. 情境 3/4：參考傳遞消除複製

• Sum2 (非 const 參考) 與 Sum3 (const 參考) 生成機器碼幾乎相同
• const 僅影響編譯期檢查，不影響執行期代碼生成
• 參考傳遞僅傳遞位址 (通常 8 字節)，避免複製整個物件

4. 情境 5：隱式轉換陷阱

• Sum3(10) 觸發 intPair(int) 單參數建構子，隱式建立 intPair(10,10) 臨時物件
• 效能介於「每次建構」與「重複使用」之間
• 鐵律：單參數建構子**必須**加 explicit 關鍵字，除非確定需要隱式轉換

C++ 兩大效能隱患總結

1. 臨時物件：不必要的建構/複製/解構，特別在迴圈、高頻呼叫路徑
2. 隱式轉換：編譯器自動插入建構子呼叫，隱藏效能成本，破壞型別安全

最佳實踐建議

1. 函數參數預設使用 const T&，除非需要修改引數或類型極小 (int, pointer)
2. 所有單參數建構子加 explicit
3. 回傳值優化 (RVO/NRVO) 信任編譯器，但避免阻礙優化的寫法
4. 大型物件嚴禁值傳遞，小型物件 (≤ 2-3 字長) 值傳遞可接受
5. 使用 -O2/-O3 啟用優化，並檢視組合語言輸出驗證

效能優化的核心在於「可見化隱藏成本」。理解建構子、複製、轉換、參考的機制，才能寫出既符合直覺又高效率的 C++ 代碼。下一篇將探討記憶體佈局、快取友善設計與演算法層面優化。