C 語言移位運算深度解析：邏輯/算術右移、循環移位實現與陷阱避坑

前言

移位運算（<<, >>）看似簡單，實則暗藏符號位擴展、未定義行為、硬體相關性等細節。本文通過三組實例、記憶體檢視代碼、循環移位宏，系統梳理 C 語言移位的完整知識體系。

基礎知識：二進制表示回顧

• 原碼：最高位為符號位，其餘為數值。
• 反碼：負數符號位不變，其餘按位取反。
• 補碼（現代計算機通用）：負數 = 反碼 + 1。優勢：符號位參與運算，無「正負零」歧義。

範例（8-bit）：

+3  = 0000 0011
-3  = 1111 1101 (補碼)
255 = 1111 1111 (無符號) / -1 (有符號)

實戰演練：三組測試案例

核心規則總結

1. 左移（<<）：統一補 0。無符號/有符號行為一致。溢出屬於未定義行為（UB）（有符號溢出），無符號按模 2ⁿ 環繞。
2. 右移（>>）：
   • 無符號類型：邏輯右移，高位補 0。
   • 有符號類型：實現定義。絕大多數編譯器（GCC、MSVC、Clang）採用算術右移（複製符號位），但標準不保證。可移植代碼不可依賴此行為。
3. 移位寬度 ≥ 位寬：未定義行為。如 int x; x >> 32 在 32-bit int 上為 UB。

記憶體檢視工具：查看實際位模式

void print_bits(unsigned char x) {
    for (int i = 7; i >= 0; --i)
        putchar((x & (1 << i)) ? '1' : '0');
    putchar('\n');
}

// 測試
int main() {
    char a = 195; // 1100 0011 (有符號 -61)
    print_bits(a);
    char b = a << 2; // 0000 1100 = 12
    print_bits(b);
    printf("%d\n", b); // 輸出 12
    return 0;
}

循環移位實現（C 無原生指令）

原理：左循環 n 位 = (x << n) | (x >> (WIDTH - n))，右循環同理。WIDTH = 8 * sizeof(x)。

// 通用宏（支援任意整數類型）
#define ROTL(x, n) (((x) << (n)) | ((x) >> ((sizeof(x)*8) - (n))))
#define ROTR(x, n) (((x) >> (n)) | ((x) << ((sizeof(x)*8) - (n))))

// 手動展開版（教學用，以 8-bit 為例）
unsigned char rotl8(unsigned char x, unsigned n) {
    n %= 8;
    return (x << n) | (x >> (8 - n));
}

unsigned char rotr8(unsigned char x, unsigned n) {
    n %= 8;
    return (x >> n) | (x << (8 - n));
}

// 測試：0x45 (0100 0101) 左循環 2 位 → 0x15 (0001 0101)
int main() {
    unsigned char a = 0x45;
    unsigned char b = rotl8(a, 2);
    printf("0x%02X\n", b); // 輸出 0x15
    return 0;
}

常見陷阱與最佳實踐

可移植的算術右移實現

// 假設雙補碼、算術右移（幾乎所有現代平台）
// 若需嚴格標準合規，可檢測編譯器行為或用條件編譯
int arithmetic_right_shift(int x, int n) {
    // 利用無符號右移 + 符號位擴展模擬
    if (x >= 0) return (unsigned)x >> n;
    // 負數：先無符號右移，再將高 n 位置 1
    return -((~(unsigned)x) >> n) - 1; // 較複雜，實際多直接依賴編譯器
}

建議：在明確支援的平台（x86, ARM, RISC-V 等）直接使用 >>，並在文檔註明假設；編寫跨平台庫時，提供配置選項或編譯期檢測。

總結

移位運算是系統級編程的基石。牢記：左移補 0，無符號右移補 0，有符號右移視實現而定（通常算術右移），移位寬度不可超位寬，有符號左移溢出為 UB。循環移位雖無硬體指令，但通過「左右移結合或運算」極易實現。掌握這些細節，能避免 90% 的移位相關 Bug。