您现在的位置：程式碼之家 >> 編程語言 > >> C語言 >> 關於C語言

C語言位運算實現循環移位：原理、代碼與通用公式

編輯：關於C語言

什麼是循環移位？

循環移位 與邏輯/算術移位的本質區別在於：**移出的位不丟失，而是環回填充另一端**。

循環左移 (ROL)：高位移出 → 填充低位
循環右移 (ROR)：低位移出 → 填充高位

廣泛應用於：加密算法、壓縮編碼、硬件寄存器操作、網絡協議校驗和、位圖處理等系統級編程場景。

核心原理：分解組合法

以 8 位無符號數 a = 0b01111011 (0x7B) 為例，**循環左移 2 位** 期望結果 0b11101101 (0xED)。

步驟拆解

提取將被移出的高位：
b = a >> (8 - 2) → a >> 6 → 0b00000001 (高 2 位 01 移至最低位)
執行普通左移 (低位補 0)：
a = a << 2 → 0b11101100 (高 2 位 01 丟失，低位補 0)
合併 (按位或)：
a = a | b → 0b11101100 | 0b00000001 = 0b11101101 ✅

無臨時變量寫法

a = (a >> (8 - 2)) | (a << 2);

通用公式 (任意位寬 N，移位 n)

操作	公式	說明
循環左移 n 位	`(x >> (N - n)) \| (x << n)`	高 n 位移至低位，低位左移 n 位
循環右移 n 位	`(x << (N - n)) \| (x >> n)`	低 n 位移至高位，高位右移 n 位

常見位寬 N：8 (uint8_t)、16 (uint16_t)、32 (uint32_t)、64 (uint64_t)。

C語言完整實現 (含類型安全、邊界處理)

#include <stdint.h>
#include <limits.h>  // CHAR_BIT

// 靜態斷言確保無符號類型
#define ROL(x, n, bits) (((x) << (n)) | ((x) >> ((bits) - (n))))
#define ROR(x, n, bits) (((x) >> (n)) | ((x) << ((bits) - (n))))

// 類型安全封裝：僅支持標準無符號整型
static inline uint8_t  rotl8 (uint8_t  x, unsigned n) { return ROL(x, n, 8);  }
static inline uint8_t  rotr8 (uint8_t  x, unsigned n) { return ROR(x, n, 8);  }
static inline uint16_t rotl16(uint16_t x, unsigned n) { return ROL(x, n, 16); }
static inline uint16_t rotr16(uint16_t x, unsigned n) { return ROR(x, n, 16); }
static inline uint32_t rotl32(uint32_t x, unsigned n) { return ROL(x, n, 32); }
static inline uint32_t rotr32(uint32_t x, unsigned n) { return ROR(x, n, 32); }
static inline uint64_t rotl64(uint64_t x, unsigned n) { return ROL(x, n, 64); }
static inline uint64_t rotr64(uint64_t x, unsigned n) { return ROR(x, n, 64); }

// 使用示例
#include <stdio.h>
int main() {
    uint8_t a = 0x7B;  // 01111011
    printf("ROL2: 0x%02X\n", rotl8(a, 2));   // 0xED (11101101)
    printf("ROR3: 0x%02X\n", rotr8(a, 3));   // 0xBB (10111011)
    return 0;
}

關鍵注意事項 (避坑指南)

移位量合法性：C標準規定移位量 n 必須 0 <= n < N。n >= N 或 n < 0 導致未定義行為。實際工程中建議加 n %= N 或斷言。
僅用於無符號類型：有符號數右移實現定義 (算術/邏輯移位不定)，循環移位語義在有符號數下模糊。**堅決使用 uintN_t**。
編譯器內建優化：現代編譯器 (GCC/Clang/MSVC) 識別 (x << n) | (x >> (N-n)) 模式，會直接生成單條 CPU 指令 (ROL/ROR)。無需手寫彙編。
C++20 標準庫：<bit> 提供 std::rotl/std::rotr，C 開發者可參考實現或期待 C23 標準化。