C/C++ 整數提升與型別轉換陷阱：負號運算子在 signed/unsigned char 上的行為差異

C/C++ 整數提升規則與編譯器選項交互作用，導致看似簡單的 -dt 運算在不同環境產生截然不同結果。本文深入剖析標準規定、編譯器實作差異與避坑指南。

現象重現

char dt = '\1';  // 值為 1
long tdt = -dt;  // 預期 -1，實際可能為 4294967295

核心機制三階段

1. 整數提升

標準規定：char、short 等「窄整數型別」參與運算前，必須提升為 int 或 unsigned int。

• signed char → int（值保留）
• unsigned char → int（若 int 能表示所有值）或 unsigned int
• plain char 有無號性由實作定義（ARM 通常 unsigned，x86 通常 signed）

2. 單目負號運算

標準：The result of the unary - operator is the negative of its (promoted) operand.

• 運算於**提升後型別**執行
• 結果型別 = 提升後型別
• unsigned 型別負號運算遵循模組 2^N 規則（繞回）

3. 指派轉換

結果指派給 long tdt，發生**整數轉換**：

• 同號：值保留
• 異號：模組轉換（unsigned → signed 重新解讀位元模式）

編譯器選項影響矩陣

XL C 特有選項：-qupconv / -qlanglvl=extended

控制整數提升時是否保留 unsigned 屬性：

• -qupconv：unsigned char → unsigned int（保留無號）
• -qnoupconv：unsigned char → int（傳統行為）
• -qlanglvl=extended 隱含 -qupconv

避坑最佳實踐

1. 明確指定有號性：永不使用 plain char 儲存數值，改用 int8_t/uint8_t (<cstdint>)。
2. 避免窄型別直接參與算術：提前轉換 int val = dt; result = -val;。
3. 統一編譯器選項：專案強制 -fsigned-char 或 -funsigned-char，消除平台差異。
4. 啟用警告：-Wsign-conversion -Wsign-compare -Wconversion (GCC/Clang)。
5. 使用 static_assert 驗證假設：

   static_assert(std::is_signed_v<char>, "平台假設 char 為 signed");
   

標準條文參考

• C++17 [conv.prom] 整數提升
• C++17 [expr.unary.op] 單目運算子
• C++17 [conv.integral] 整數轉換
• C11 6.3.1.1 / 6.5.3.3 / 6.3.1.3 對應條文