1. 位运算基础与符号概览
1.1 常见运算符概览
在 C++ 中，&、|、^、~ 都属于按位运算符，用于直接对整数类型的二进制位进行操作。它们的操作对象一般是整型数据，包括 int、unsigned int、long、unsigned long 等。掌握这些运算符的用途，能够实现对单个位、若干位掩码、位模式等进行高效控制。通过位运算，可以替代部分复杂的逻辑判断，从而提升性能与可读性。了解优先级与结合性，有助于避免隐式错误。常用的场景包括位掩码、位清零、位翻转、位集成等。下面结合示例，帮助你快速建立概念。
在处理位运算时，记住每个运算符的作用对象是“位”而非整型变量的全部含义。位掩码（mask）是指用来选取、设置或清除特定位的二进制数字。理解掩码的构造与应用，是学习位运算的基础。此外，应避免对无符号数和带符号数混用，因有符号数在位模式上可能产生符号扩展等副作用。
// 简单演示：&、|、^、~ 的含义
int a = 0b1010; // 10
int b = 0b1100; // 12int and = a & b; // 1000（8）
int orr = a | b; // 1110（14）
int xorv = a ^ b; // 0110（6）
int notv = ~a; // 按位取反，依平台位数而定
1.2 位运算的基本规则
位运算遵循逐位的规则进行，没有跨位的算术进位与借位，只有对应位的 0/1 的组合结果。按位取反 (~) 会把每一位都取反，得到的数值通常与补码体系相关。按位与 (&)、按位或 (|)、按位异或 (^) 则分别在每个位上进行逻辑与、逻辑或、逻辑异或的运算。理解这些基本规则，是后续完成掩码操作、位清零、位翻转等任务的前提。
此外，优先级和结合性对表达式求值顺序有直接影响。在没有使用括号时，通常从左往右结合，且某些操作符（如 ~）具有更高的优先级。因此，在涉及多种位运算时，应显式使用括号确保语义清晰。
2. 按位与运算符 & 的高效用法
2.1 基础用法与场景
按位与常用于<清除某些位、检查某些位是否为 1、以及组合位掩码来获取子集。通过 a & mask，可以保留 mask 指定的位，其它位变为 0。该方法在配置开关、标志位、状态寄存等场景非常高效。仅在需要保留的位是固定的情况下，常用按位与，比使用复杂的逻辑分支更轻量。
下面展示一个基本的“检查某位是否为 1”的模板：如果 (x & (1 << i)) != 0，那么第 i 位为 1。此模式广泛用于状态标志、位向量的访问。记得对 i 的范围进行有效性检查，避免越界。
// 检查第 i 位是否为 1
bool isBitSet(unsigned int x, unsigned int i) {return (x & (1u << i)) != 0;
}
2.2 典型算法实现示例
一个经典技巧是 清零最低有效位：x & (x - 1) 会把最低的 1 位变成 0，同时保留其他位不变。这在统计集合大小、枚举子集等问题中非常有用。时间复杂度通常为 O(number_of_ones)，适用于稀疏位集合。
// 清除最低一位的实现
unsigned int clearLowestOne(unsigned int x) {return x & (x - 1);
}// 判断是否是 2 的幂次方（非 0 时）
bool isPowerOfTwo(unsigned int x) {return x != 0 && (x & (x - 1)) == 0;
}
3. 按位或运算符 | 的高效用法
3.1 掩码与组合
按位或常用于将某些位设置为 1，而不改变其他位的状态。典型用法是将标志位或功能开关开启，如：mask |= (1 << i) 表示“开启第 i 位”。这在需要动态调整状态或配置时特别方便。注意先前位的状态需要保留，以避免意外覆盖。
一个常用模板是将若干位按位组合成一个掩码，再统一应用。通过位或，可以在一次操作中完成多位的开启操作，具有较高的执行效率。
// 打开多位：假设需要同时开启 1、3、5 位
unsigned int mask = 0;
mask |= (1u << 1) | (1u << 3) | (1u << 5);
3.2 位集操作实例
将若干位合并成一个集合，常用于实现简单的位集数据结构。通过 mask |= newBits 可以把新位加入集合；通过 (existing & ~mask) 的组合，可以实现批量清除。在处理大量状态位时，位运算的性能优势尤为明显。
以下示例演示如何将一个位集合合并到另一个集合，并检查某些位是否已经被设置。
// 将 setBits 合并到 target
unsigned int target = 0x0F0F0F0F;
unsigned int setBits = 0x00F00000;
target |= setBits;// 检查一个位集合是否包含另一个集合的全部位
bool containsAll(unsigned int targetSet, unsigned int requiredMask) {return (targetSet & requiredMask) == requiredMask;
}
4. 按位异或运算符 ^ 的实战技巧
4.1 奇偶性判断与置换
异或在统计与算法领域具有独特的意义，两次同一位的异或结果为 0，任意两次异或的结果保持不变，因此常用于奇偶性判断、数据校验以及临时数据置换。对一个数进行偶数次异或，其结果等同于原值，这在快速校对与哈希相关场景很有用。
另外，一个常用技巧是 两数交换不使用临时变量，通过三次异或即可完成交换，但在现代编译器优化下，使用中间变量可能更清晰且性能差异极小，应以可读性为优先。
// 两数交换（不推荐在生产环境过度使用，需权衡可读性）
void swap_xor(int &a, int &b) {if (&a == &b) return;a ^= b;b ^= a;a ^= b;
}
4.2 不可变性与哈希相关应用
在某些哈希函数设计中，^ 可以帮助实现混淆与校验，对不同分组的位进行异或混合，提升分布均匀性。与此同时，使用 ^ 进行对称变换时，应确保不会影响安全性与重复性。对于必须保持不可变性的算法，避免频繁依赖易于被逆推的位变换。
下面是一个简单的哈希混合示例，利用 ^ 与平移实现位的混合扩散效果。
// 简易哈希混合：L bit 轮换混合
unsigned int mixHash(unsigned int x) {x ^= x >> 16;x ^= x << 5;return x;
}
5. 按位取反运算符 ~ 的深度用法
5.1 二进制取反与补码
按位取反会把每一位都取反，结果的正负与平台实现的位宽相关，在无符号数上表现更直观。取反经常用于生成一个全 1 的掩码，再通过与其他掩码结合，完成特定位的控制。理解补码表示法对二进制取反后的效果至关重要。
在 32 位环境中，~x ≈ -(x+1) 的关系常被用来推导某些边界条件，这一性质在位级算法的边界判断中有时会派上用场。
// 32 位无符号数取反
unsigned int x = 0x00FF00FFu;
unsigned int nx = ~x; // 取反，得到 0xFF00FF00u
5.2 结合其他运算符的技巧
结合按位取反，往往可以简化某些掩码的“清零与保留”操作。例如，若要清除除某些位之外的其他位，可以先构造一个保留位掩码，再对其进行按位与运算。组合运算时，务必确保表达式的可读性与稳健性。
以下示例显示了如何反转一个掩码，然后与目标值进行按位与，达到“仅保留被选中位”的效果。
// 反转掩码后保留部分位
unsigned int value = 0xABCD1234u;
unsigned int keepMask = 0x0000FF00u;
unsigned int inverted = ~keepMask;
unsigned int result = value & inverted;
6. 将位运算用于性能优化的实战案例
6.1 快速清零与重置位
快速清零位常用模式是 x &= ~mask，该操作在单次指令中完成对若干位的清零，避免了分支判断带来的分支预测开销，在性能敏感的循环中尤为有效。对于大规模数据处理，位清零具有显著的时间优势。
下面是一个典型模式：对一个状态位集合进行部分清零。
// 清除若干指定位的集合
unsigned int state = 0xFFAA55CCu;
unsigned int clearMask = (1u << 2) | (1u << 5) | (1u << 7);
state &= ~clearMask; // 清除第 2、5、7 位
6.2 位操作在数据结构中的应用
在数据结构层面，位运算可以用于实现高效的布隆过滤、位集、紧凑型状态表等。通过 位集表示状态集合，可以显著减少内存占用并提升查询速度。结合自定义的掩码构造、以及对多位的并行处理，能够在复杂度与内存之间找到最佳平衡。
以下是一个简化的位集演示，展示如何对多块数据进行并行的位运算管理。
// 简化的位集占用 128 位的实现（两组 64 位块）
#include
struct BitSet128 {uint64_t a;uint64_t b;void setAll() { a = ~0ULL; b = ~0ULL; }void clearAll() { a = 0; b = 0; }void setBit(size_t pos) {if (pos < 64) a |= (1ULL << pos);else b |= (1ULL << (pos - 64));}bool testBit(size_t pos) const {return (pos < 64) ? (a & (1ULL << pos)) : (b & (1ULL << (pos - 64)));}
};
