補碼本質探究：為什麼計算機用補碼表示負數？

前言：從「符號位」到「模運算」的思維躍遷

早期計算機嘗試用「符號位 + 絕對值」表示負數（原碼），但加減法需分正負、比較大小、處理 ±0 等邊界，電路極其複雜。補碼的出現，將減法轉為加法，讓單一加法器搞定所有整數運算。本文從數學本質推導補碼，證明其運算正確性，並解釋硬體實現優勢。

一、補碼的直觀起源：模運算視角

假設 4 位元系統，能表示 0~15（2^4）。若我們規定：

正數照常；負數 -x 用 16 - x 表示。

則：

• -1 → 15 (1111)
• -2 → 14 (1110)
• -7 → 9 (1001)

這就是 模 16 的同餘類。任意 x + (-x) ≡ 0 (mod 16)，溢出位自然丟棄，硬體只需一個 4 位加法器。

二、補碼編碼規則（以 8 位為例）

1. 正數與零：0 ~ 127（0x00 ~ 0x7F），最高位 0，與無符號數相同。
2. 負數：-1 ~ -128 對應 128 ~ 255（0x80 ~ 0xFF），最高位 1。
   編碼公式：[-x]補 = (2^8 - x)，等價於 原碼取反 + 1。

為什麼「取反加 1」等價於 2^n - x？

對任意 n 位數 x，按位取反得到 (2^n - 1) - x，再加 1 即 2^n - x。
唯一性證明：若 x + y ≡ 0 (mod 2^n) 且 0 ≤ y < 2^n，則 y 唯一，故補碼表示唯一，且 -0 = 0，無 ±0 問題。

三、補碼加減運算正確性數學證明

設 x, y > 0，結果不溢出。用 [z] 表示 z 的補碼。

1. 正 + 正：[x] + [y] = x + y 顯然正確。

2. 正 + 負：[x] + [-y]

• Case x ≥ y：
  x = y + (x - y) ⇒ [x] + [-y] = [y + (x-y)] + [-y] = [y] + [x-y] + [-y] = [x-y] ✓
• Case x < y：
  x = y - (y - x) ⇒ [x] = [y] + [-(y-x)] ⇒ [x] + [-y] = [-(y-x)] ✓

3. 負 + 負：[-x] + [-y]

[-x] = [y] + [-(x+y)] ⇒ [-x] + [-y] = [-(x+y)] ✓

結論：同一加法器，無條件正確處理所有符號組合。

四、硬體層面的額外紅利

五、常見誤區釐清

1. 「最高位是符號位」 → 不精確。補碼中最高位權值為 -2^{n-1}，負數最高位為 1 是權值使然，非單純標記。
2. 「補碼只能表示 -128~127」 → 8 位無符號可表示 0~255，補碼只是賦予不同語義；同一位模式可按需解釋。
3. 「取反加 1 是定義」 → 是推導結果。本質定義是 [x] ≡ x (mod 2^n)。

總結

補碼是 模 2^n 同餘系統 在計算機工程中的完美落地：以犧牲一個正數編碼（-128 無對應正數）為代價，換取統一加法器、唯一零值、簡單溢出判斷、符號擴展免費。這是計算機體系結構中「數學抽象指導工程實現」的教科書級範例。