位旋转是对数组内存中二进制位序列整体做的循环移位,非元素级重排;需用std::memcpy+位运算实现,禁用reinterpret_cast;仅支持total_bits≤64的小POD数组,大数组须分块处理。

什么是位旋转(bitwise rotation)而不是循环移位
位旋转不是 std::rotate 那种元素级的数组重排,而是对数组所占内存的**二进制位序列整体做循环移位**。比如一个 uint32_t arr[2] 共 64 位,向左旋转 3 位,就是把全部 64 位当做一个环,高位溢出部分补到低位。C++ 标准库不提供这种操作,必须手动按字节/字处理。
用 std::memcpy + 位运算拼接最可靠
直接 reinterpret_cast 容易触发未定义行为(尤其跨类型、非 trivial 类型),安全做法是:先复制原始字节 → 按位旋转 → 再写回。适用于任意 POD 数组:
#include <cstring>
#include <cstdint>
<p>template<typename T, size_t N>
void bitwise_rotate_left(T (&arr)[N], unsigned int bits) {
constexpr size_t total_bits = N <em> sizeof(T) </em> 8;
bits %= total_bits;
if (bits == 0) return;</p><pre class='brush:php;toolbar:false;'>uint8_t bytes[N * sizeof(T)];
std::memcpy(bytes, arr, sizeof(bytes));
// 转成大整数(需确保 total_bits ≤ 128,否则分段处理)
uint64_t lo = 0, hi = 0;
for (size_t i = 0; i < sizeof(bytes) && i < 8; ++i)
lo |= static_cast<uint64_t>(bytes[i]) << (i * 8);
if (sizeof(bytes) > 8) {
for (size_t i = 8; i < sizeof(bytes) && i < 16; ++i)
hi |= static_cast<uint64_t>(bytes[i]) << ((i - 8) * 8);
}
const uint64_t mask = (total_bits <= 64) ? (0xffffffffffffffffULL >> (64 - total_bits)) : ~0ULL;
if (total_bits <= 64) {
uint64_t val = lo & mask;
val = (val << bits) | (val >> (total_bits - bits));
for (size_t i = 0; i < sizeof(bytes); ++i)
bytes[i] = (val >> (i * 8)) & 0xff;
} else {
// total_bits > 64:需用 __int128 或分块旋转(见下节)
}
std::memcpy(arr, bytes, sizeof(bytes));}
- 只支持
total_bits ≤ 64的常见小数组(如uint16_t[4]、uint8_t[8]) -
bits必须先对总位数取模,否则右移行为未定义 - 数组必须是 POD 类型,且无 padding(可加
static_assert(std::is_standard_layout_v<T>))
大数组或非 2 的幂长度要用分块旋转
当数组太大(如 uint8_t[1024])、或总位数不是 2 的幂时,硬转大整数不现实。此时应模拟“位级 std::rotate”:
立即学习“C++免费学习笔记(深入)”;
- 把整个字节数组看作一个位流,索引从
0到N*8-1 - 旋转
k位等价于:原位置i的位移到(i + k) % (N*8) - 用两个临时缓冲区避免覆盖:先读出前
k位 → 移动中间块 → 补回前k位 - 实际中建议用
std::vector<uint8_t>管理位索引,逐字节+位掩码操作((byte >> shift) & 1)
注意:这种实现性能差,仅用于调试或极低频场景;生产环境若真需要高频位旋转,应换用专用硬件指令(如 x86 的 rol/ror)或 SIMD 库(Intel IPP 的 ippsRotLeftBit_*)。
别把 std::rotate 当成位旋转用
这是最常见的误用:
-
std::rotate(arr, arr+1, arr+N)是移动元素,不是移动位 - 对
int[3]调用它,只是把三个int值顺序调换,每个int内部的二进制位完全不变 - 如果目标是加密或 CRC 计算中的位混淆,用错会导致结果全错
- 编译器不会报错,但运行结果和预期位模式对不上——建议在单元测试里用已知输入/输出校验位流
真正做位旋转时,内存布局、端序、padding 都得显式考虑,没有银弹。小数组用整数拼接,大数组要么接受性能损耗,要么引入外部库。


















