C/C++ 有符號與無符號整數比較陷阱：隱式轉換規則與實戰案例

前言

有符號（`signed`）與無符號（`unsigned`）整數混合運算是 C/C++ 最隱蔽的 Bug 來源之一。編譯器會**靜默**將有符號運算元轉為無符號，導致負數變成巨大正數，比較/運算結果違背直覺。本文系統梳理轉換規則、經典陷阱、編譯器警告與防禦性編碼習慣。

核心規則：整數提升與常規算術轉換

1. 若無符號類型**位寬 ≥ 有符號類型**，有符號轉為無符號。
2. 若有符號類型**位寬 > 無符號類型**且能表示無符號所有值，無符號轉為有符號。
3. 否則雙雙轉為有符號類型的無符號對應型（罕見）。

**實務口訣**：「見 `unsigned` 皆轉 `unsigned`」，32/64 位平台上 `int`/`long`/`long long` 與對應 `unsigned` 混合時，有符號**總是**轉無符號。

經典陷阱案例

1. 比較陷阱

unsigned int a = 20;
int b = -130;

if (a > b)   // b 隱式轉為 unsigned → 4294967166
    puts("a > b");   // ✅ 執行這裡！但邏輯錯誤
else
    puts("b >= a");  // 直覺以為會進這裡

2. 循環邊界陷阱

for (unsigned int i = 10; i >= 0; --i)  // ❌ 無限循環！
    process(i);
// i 為 unsigned，i >= 0 永真；i-- 到 0 後變 UINT_MAX

修正：`for (int i = 10; i >= 0; --i)` 或 `for (size_t i = 10; i-- > 0; )`

3. 函數返回值混淆

int findIndex(const vector<int>& v, int val) {
    for (size_t i = 0; i < v.size(); ++i)  // v.size() 返回 size_t (unsigned)
        if (v[i] == val) return i;
    return -1;  // 調用端若用 unsigned 接收 → 巨大正數
}

4. 字面量後綴陷阱

cout << (1u > -2) << endl;   // 1 (true)  -2 → unsigned
cout << (1 > -2) << endl;    // 1 (true)  皆 signed
cout << (1u > -2.0) << endl; // 1 (true)  float 無 unsigned，有符號比較

編譯器警告與靜態分析

防禦性編碼習慣

1. 統一使用有符號型別：業務邏輯變量默認用 `int`/`long`/`int64_t`，除非確需位操作/模運算/標準庫介面（`size_t`）。
2. 邊界檢查顯式轉型：

   
   if (static_cast<long>(unsignedVal) > signedVal)  // 明確意圖
   if (signedVal >= 0 && static_cast<unsigned>(signedVal) < unsignedVal)

3. 避免 `unsigned` 循環計數器：除非確定不需反向遍歷。
4. 標準庫介面轉換**：

   
   for (int i = 0, n = static_cast<int>(vec.size()); i < n; ++i)  // 確保 n 非負
   for (auto it = vec.begin(); it != vec.end(); ++it)               // 迭代器最安全

5. 啟用 `-Wsign-conversion` 並視為錯誤**：`-Werror=sign-conversion`。

浮點數特殊說明

`float`/`double` **無無符號版本**，混合整數時整數轉浮點，比較語義符合數學直覺（`-2.0 < 1u` 為真）。但浮點精度問題另當別論。

總結口訣

「混合即轉無符號，負數變巨正；循環勿用無符號，轉型要顯式；警告全開啟，靜態查不漏。」