位运算交换字节的本质是“错位提取 + 拼接”，即用掩码提取两字节、移位重定位、再或运算拼接，无需临时变量；模板函数需校验索引并动态生成掩码与移位量。
位运算交换字节的本质是“错位提取 + 拼接”
直接用 std::swap 或临时变量当然能换，但若目标是「不借助额外存储、纯位操作交换两个特定字节（比如第 0 和第 1 字节）」，核心思路不是“交换”，而是把原值中这两个字节各自提取出来，再放到对方位置上重新组合。C++ 中没有原子级的“字节交换指令”，所以必须靠掩码、移位、或运算三步走。
如何提取并重定位单个字节（以交换低两字节为例）
假设你有一个 uint16_t x = 0xABCD（内存中为小端：低位字节 0xCD 在前），想把第 0 字节（0xCD）和第 1 字节（0xAB）互换，得到 0xCDAB。关键在于：
- 用掩码
0xFF提取第 0 字节：x & 0xFF→0xCD - 用掩码
0xFF00提取第 1 字节：x & 0xFF00→0xAB00 - 把第 0 字节左移 8 位放到高位：
(x & 0xFF) - 把第 1 字节右移 8 位放到低位：
(x & 0xFF00) >> 8 - 用或运算拼起来：
((x & 0xFF) > 8)
结果就是 0xCDAB —— 没有临时变量，也没改原始值以外的内存。
通用宏或函数怎么写才安全
硬编码移位数容易出错，尤其当操作对象是 uint32_t 或 uint64_t 时。推荐封装成模板函数，并明确字节索引（从 0 开始）：
立即学习“C++免费学习笔记（深入）”；
template<typename T>
T swap_bytes(T val, int i, int j) {
static_assert(std::is_integral_v<T> && std::is_unsigned_v<T>, "T must be unsigned integral");
const int byte_size = sizeof(T);
if (i < 0 || j < 0 || i >= byte_size || j >= byte_size) return val;
const T mask_i = (T)0xFF << (i * 8);
const T mask_j = (T)0xFF << (j * 8);
const T byte_i = (val & mask_i) >> (i * 8);
const T byte_j = (val & mask_j) >> (j * 8);
return val & ~(mask_i | mask_j) | (byte_j << (i * 8)) | (byte_i << (j * 8));
}
注意点：
-
mask_i和mask_j必须用(T)强转，否则0xFF 在 <code>int上可能溢出或符号扩展 -
val & ~(mask_i | mask_j)先清掉两个目标字节，再填入新值，避免残留位干扰 - 如果
i == j，函数直接返回原值，无副作用
为什么不能用异或交换（XOR swap）来换字节
经典异或三行：a ^= b; b ^= a; a ^= b; 看似无临时变量，但它要求操作的是**可寻址的独立变量**。而字节是寄存器/内存中的位域片段，无法取地址，也不能单独对某个字节做 ^= —— C++ 不支持对位字段或掩码结果直接赋值。试图写成：
uint16_t x = 0xABCD; x ^= ((x & 0xFF) << 8) ^ ((x & 0xFF00) >> 8); // 错！这不是交换，是乱 XOR
这种写法会破坏其他位，且逻辑不可逆。异或交换只适用于两个完整、独立、同类型的整数变量。
真正容易被忽略的是：字节位置索引是否越界、类型宽度是否匹配移位量、以及小端/大端在跨类型操作时的隐含影响——比如对 uint32_t 做字节交换后存入 char[4] 数组，顺序才真正体现出来。
