C 語言表達式隱式類型轉換規則與經典陷阱深度解析

前言

C 語言表達式中的隱式類型轉換（Usual Arithmetic Conversions）是許多難以重現 Bug 的溫床。最經典案例來自《C 專家編程》：sizeof 回傳 unsigned 導致有號負數變巨大無號數，條件判斷永假。本文系統梳理 K&R C 與現代標準 (C99+) 的轉換規則、整型提升、有號/無號互動陷阱與防禦性寫法。

經典 Bug 重現

#include <stdio.h>
int array[] = {23,34,12,17,204,99,16};
#define TOTAL_ELEMENTS (sizeof(array)/sizeof(array[0]))  /* unsigned int */

int main(void) {
    int d = -1, x;
    if (d <= TOTAL_ELEMENTS - 2)   /* d 隱式轉 unsigned，-1 → UINT_MAX */
        x = array[d+1];            /* 永不執行 */
    return 0;
}

根因：sizeof 型別為 size_t (無號)，d 為 int (有號)。比較時 d 提升為無號，-1 變 4294967295 (32 位)，條件永假。

傳統 K&R C 轉換規則 (舊版)

1. char/short → int；float → double
2. 若一運算元為 double → 另一轉 double
3. 否則若一運算元為 long → 另一轉 long
4. 否則若一運算元為 unsigned → 另一轉 unsigned

現代標準 (C99/C11) 整型提升與轉換規則

階段 1：整型提升

• char、short、_Bool、位域 → int (若 int 能表示所有值) 或 unsigned int
• int 以上型別不變

階段 2：常見算術轉換 (雙運算元)

依序匹配第一條滿足者：

1. 長雙精度 long double → 另一轉 long double
2. 雙精度 double → 另一轉 double
3. 單精度 float → 另一轉 float (C99 允許保持 float 精度運算，但多數編譯器仍升 double)
4. 整型：雙方經整型提升後，按「等級」與「符號」決定：
   • 同符號：低等級 → 高等級
   • 異符號：無號等級 ≥ 有號等級 → 有號轉無號；否則無號轉有號

有號/無號混合比較決策表 (假設 32 位系統)

浮點數特例：float 不一定升 double

float f1, f2; double d;
f1 = d * f2;  /* C99 允許編譯器以 float 精度計算 d*f2，若結果相同 */

實務上 MSVC/GCC/Clang 預設仍升 double，除非開啟 -ffast-math 或使用 _Float16/_Float32 (C23)。

防禦性程式設計清單

總結

• 隱式轉換遵循「整型提升 → 常見算術轉換」兩階段
• 核心陷阱：有號負數與無號比較/運算 → 負數變巨大無號
• sizeof、陣列大小、標準庫大小函數皆回傳無號
• 統一變數型別、開啟嚴格警告、關鍵處顯式轉換，是工業級代碼基本功