重载位运算符需以整型成员为底层载体,不可重载&& ||(会破坏短路与语义),须配套实现|=等复合赋值,推荐用enum class+constexpr定义类型安全掩码。
重载 & | ^ ~ 前必须定义底层存储
位运算符重载本身不难,但关键在于:你得让自定义类型有“可位操作的二进制语义”。常见错误是直接对类对象做 & 却没指定哪部分参与运算。比如用 std::bitset 或一个整型成员(如 uint32_t flags)作为底层掩码载体——否则编译器不知道该拿什么去与、或、异或。
推荐做法是把掩码逻辑封装进一个私有整型字段,再通过 public 成员函数暴露操作接口;重载运算符时只对该字段运算,并返回同类型新实例(保持不可变性更安全):
struct Permission {
uint16_t bits;
explicit Permission(uint16_t b = 0) : bits(b) {}
Permission operator|(const Permission& rhs) const { return Permission(bits | rhs.bits); }
Permission operator&(const Permission& rhs) const { return Permission(bits & rhs.bits); }
Permission operator^(const Permission& rhs) const { return Permission(bits ^ rhs.bits); }
Permission operator~() const { return Permission(~bits); }
};
为什么不能重载 && 和 || 来做掩码判断?
这是初学者高频误区:&& 和 || 是逻辑运算符,C++ 不允许重载它们来实现位级行为。重载后会失去短路求值特性,且语义严重混淆——别人看到 a && b 会默认它是布尔逻辑,不是位与。
- 想判断是否含某标志,用
(perm & READ) == READ或封装成has(READ) - 想组合多个权限,用
READ | WRITE | EXEC,而非READ || WRITE - 若强行重载
operator&&,会导致表达式行为异常,且无法被编译器优化为单条位指令
operator|= 等复合赋值运算符要配套实现
只重载 | 而不重载 |=,会导致 perm |= READ; 编译失败。用户写掩码控制代码时,习惯用复合赋值,尤其在循环或状态更新中。
立即学习“C++免费学习笔记(深入)”;