匯編進位標誌 CF 與溢出標誌 OF 徹底區別：無符號 vs 有符號運算的邊界

CF（Carry Flag）與 OF（Overflow Flag）是 x86 處理器判斷運算結果是否超出範圍的兩大標誌，分別服務於無符號與有符號運算。混淆二者是逆向、編譯器開發、底層調試的常見陷阱。

一、 核心定義對比

二、 數據範圍基礎

• 8 位：無符號 0~255，有符號 -128~+127（補碼）。
• 16 位：無符號 0~65535，有符號 -32768~+32767。
• 處理器內部統一用補碼表示有符號數，ALU 運行邏輯相同，僅標誌解釋不同。

三、 經典案例演示

四、 溢出判斷口訣（有符號加法）

同號相加，結果異號 → 溢出。
異號相加，永不溢出。
減法轉加法：被減數 - 減數 = 被減數 + (-減數)，同理判斷。

五、 程序員的責任

處理器同時計算 CF 和 OF，**由指令語義決定關注哪個**：

• 無符號運算（如地址計算、位操作、網絡協議校驗）→ 看 CF，用 JC/JNC（Jump if Carry/Not Carry）。
• 有符號運算（如數學計算、比較大小）→ 看 OF，用 JO/JNO；條件跳轉 JG/JL/JGE/JLE 綜合使用 SF、ZF、OF。

六、 高級語言映射

• C/C++：unsigned 類型運算依賴 CF 語義，有符號溢出屬於未定義行為（UB），現代編譯器優化假設不發生溢出。
• Java：無無符號類型（JDK 8+ 提供輔助 API），所有整型運算按有符號語義，溢出靜默截斷，不拋異常，需手動檢查（Math.addExact）。

七、 總結

CF = 無符號世界的邊界哨兵，OF = 有符號世界的邊界哨兵。同一組位模式，解釋不同，邊界不同。寫匯編、看反編譯、調試崩潰時，**先確定變量語義（有符號/無符號），再看對應標誌**，切勿混淆。