深入理解 C 語言移位運算：邏輯/算術右移、移位量溢出、優先級陷阱與跨語言差異

編輯：關於C語言

移位運算基礎

運算符	名稱	行為	數學等價
`<<`	左移	低位補 0，高位丟棄	`x * 2^k` (無符號/無溢出時)
`>>`	右移	見下文	`x / 2^k` (向下取整/向零取整視類型)

右移的核心歧義：邏輯 vs 算術

數值: 1001 0101 (有符號 -107 / 無符號 149)

邏輯右移 4 (無符號/正數):
  0000 1001  = 9  (補 0)

算術右移 4 (有符號負數):
  1111 1001  = -7 (複製符號位 1)

無符號類型：C 標準**強制**邏輯右移 (補 0)。
有符號類型：C 標準**實現定義** (Implementation-defined)。絕大多數編譯器 (GCC, Clang, MSVC) 選擇算術右移 (複製符號位)，但標準不保證。
Java：>> 算術右移，>>> 邏輯右移，**語言級保證**。

移位量 ≥ 位寬的未定義行為

C 標準 (C99 6.5.7/3)：**移位量 ≥ 左操作數位寬 → 未定義行為 (UB)**。

int x = 1;
x << 32;  // UB! 32 位 int 移位量 32 ≥ 32
x >> 36;  // UB!

x86 指令 SHL/SHR 只取移位量低 5 位 (mod 32)，導致 1 << 32 == 1，但**不可依賴**。
Java 強制 shift & 0x1F (int) / shift & 0x3F (long)，行為確定。
防禦性編程：assert(shift < width); 或 shift %= width; (但注意負數模)。

優先級陷阱：移位 vs 加減

C 優先級：**加減 > 移位**。

1 << 2 + 3 << 4
// 實際解析: 1 << (2+3) << 4 = 1 << 5 << 4 = 32 << 4 = 512
// 直覺期望: (1<<2) + (3<<4) = 4 + 48 = 52

鐵律：移位表達式混合其他運算符時，括號括起來！

負數移位量與負數左移

移位量為負 → UB。
有符號負數左移 → UB (溢出風險)。-1 << 1 未定義。
無符號左移：定義為模 2^N 環上乘法，安全。

實戰防禦性宏/函數

// 安全左移 (有符號)
int safe_shl(int x, int k) {
    if (k < 0 || k >= (int)sizeof(int)*8) return 0; // 或 assert
    if (x < 0) return 0; // 禁止負數左移
    return x << k;
}

// 安全算術右移 (保證算術語義)
int safe_asr(int x, int k) {
    if (k < 0 || k >= (int)sizeof(int)*8) return x >> 31; // 全符號位
    return x >> k; // 依賴編譯器實現算術右移 (主流皆如此)
}

// 強制邏輯右移 (有符號視為無符號)
int forced_lsr(int x, int k) {
    if (k < 0 || k >= (int)sizeof(int)*8) return 0;
    return (unsigned)x >> k; // 轉無符號保證邏輯右移
}

編譯器優化與移位

x * 2 → x << 1 (無符號/無溢出有符號)
x / 2 → x >> 1 **僅限無符號或非負有符號**。負數除法向零取整，算術右移向負無窮取整，不等價。編譯器會插入修正代碼：(x + (x>>31)) >> 1。
現代編譯器 (-O2) 自動選擇最優指令序列，**手寫移位優化通常無益且增大 UB 風險**。