C 語言整數除法陷阱：-1/2 為什麼等於 0 而不是 -0.5？

現象重現

#include 

int main() {
    float a = -1 / 2;
    printf("%f\n", a);  // 輸出：0.000000
    return 0;
}

預期 -0.5，實得 0.0。為什麼？

根本原因：整數除法截斷向零

1. -1 和 2 均為 int 字面常量**
2. -1 / 2 進行整數除法，結果為 int 類型
3. C 標準規定：整數除法**向零截斷**
4. -1 / 2 = 0（數學值 -0.5，截斷向零得 0）
5. 隨後 0 隱式轉換為 float 賦給 a

C99 標準明確規定

When integers are divided, the result of the / operator is the algebraic quotient with any fractional part discarded (truncation toward zero).

即：**丟棄小數部分，向零截斷**。

• 5 / 2 = 2
• -5 / 2 = -2
• 5 / -2 = -2
• -5 / -2 = 2
• -1 / 2 = 0

正確寫法：強制浮點運算

// 方法 1：至少一個運算元為浮點數
float a = -1.0f / 2;        // -0.5
float b = -1 / 2.0;         // -0.5
float c = (float)-1 / 2;    // -0.5
float d = -1 / (float)2;    // -0.5

// 方法 2：用浮點字面量
float e = -1.0 / 2.0;       // double 運算再轉 float

延伸：取模運算配合除法

C 保證：(a / b) * b + a % b == a
故 -1 % 2 = -1（因 0 * 2 + (-1) = -1）。

其他語言對比

工程避坑指南

1. 混合運算時顯式轉型：(float)x / y 或 x / (float)y
2. 常量用浮點後綴：1.0f、2.0
3. 嵌入式定點運算：用 Q 格式或分子分母分離，避免除法
4. 啟用編譯器警告：-Wconversion 可檢測隱式整數到浮點轉換

總結

-1/2=0 不是 Bug，是 C 語言整數除法向零截斷語義的必然結果。理解「字面量類型決定運算類型、整數除法截斷規則、隱式轉換時機」三個環節，即可徹底避開此坑。

1. 上一篇文章： Windows DLL 注入技術實現：遠程線程注入法完整代碼詳解
2. 下一篇文章： Windows 靜態庫分析：使用 lib.exe 列出 LIBC.LIB 包含的 OBJ 模塊

關於C語言

WPF/Silverlight 遊戲開發教程 (二十一-1)：主位式地圖移動模式 — 從牽引式到主位式的華麗轉身

主位式地圖移動模式：主角永居視窗中心 (除 8 角落)，其移

C 語言實現 2048 遊戲：核心邏輯與代碼解析

專案簡介 利用業餘時間用 C 語言復刻經典 2048 遊戲。

Head First C#中文版學習筆記（Page 13）：配置PictureBox屬性與導入圖片資源

步驟詳解 設置縮放模式：點擊PictureBox右上

C語言實作：計算兩陣列元素差值的最小絕對值（最短距離）

兩陣列最短距離計算 給定兩個陣列 num[] 與 cou[]