C 語言整數除法截斷向零：語言規範定義與浮點數對比

現象

5 / 3  // 結果 1 (非 1.666...)
2 / 3  // 結果 0 (非 0.666...)

語言規範定義 (C99/C11 §6.5.5)

整數除法運算符 `/` 的結果是**代數商向零截斷**后的整數部分 (truncation toward zero)。即丟棄小數部分，保留整數部分。

• `5 / 3` → `1.666...` → 截斷 → `1`
• `-5 / 3` → `-1.666...` → 截斷 → `-1` (非 `-2`，非向下取整)
• `5 % 3` → `2` (滿足 `(a/b)*b + a%b == a`)

設計原因

1. 硬件指令直接映射：x86 `IDIV`、ARM `SDIV` 均為向零截斷，無需額外指令調整，效率最高。
2. 類型封閉性：整數運算結果仍為整數，符合類型系統封閉性，避免隱式轉換驚喜。
3. 歷史兼容：K&R C 即如此定義，龐大存量代碼依賴此行為。

對比：其他語言

獲取浮點結果

double result = 5.0 / 3;     // 至少一個操作數為浮點
double result = (double)5 / 3; // 強制轉換

最佳實踐

• **明確意圖**：需要小數用浮點類型；需要整數商用整數除法。
• **避免混合**：表達式中混用整數與浮點常量易導致隱式轉換 Bug (如 `5/3*1.0` 先算 `5/3=1` 再乘 `1.0`)。
• **取模配合**：`a % b` 與向零截斷除法配合滿足恒等式，用於循環、哈希、分頁等場景。

整數除法向零截斷是 C 語言貼近硬件、追求效率的體現，理解並善用此特性是寫出高性能數值代碼的基礎。