必须用 enum class 配合 uint32_t 显式底层类型定义权限位，避免裸 int 或默认 enum 因底层类型不一致导致跨平台位移错位。
权限位定义必须用 enum class 配合 uint32_t 显式底层类型
直接用裸 int 或默认 enum 定义权限位，容易在跨平台或不同编译器下因底层类型不一致导致位移错位。比如 enum Permission { Read = 1 在某些环境下底层是 <code>char，1 就会溢出未定义。
正确做法是强制指定为无符号 32 位整数，并用作用域枚举避免隐式转换：
enum class Permission : uint32_t {
None = 0,
Read = 1U << 0,
Write = 1U << 1,
Delete = 1U << 2,
Admin = 1U << 31 // 最高位也安全
};
-
1U确保字面量是 unsigned，避免有符号左移未定义行为 - 所有值显式用
U后缀，防止常量表达式被推导为int - 不要跳着定义（如
Read = 1, Write = 4），必须用1U 保证单一位为 1
has_permission 函数不能只用 & 判断非零
常见错误是写成 return (flags & perm) != 0; —— 这只能判断“是否包含任意位”，但无法区分「精确匹配」和「子集包含」。比如用户权限是 Read | Write，传入 Read | Write | Delete 也会返回 true，这显然不是“拥有该权限集”的本意。
真正需要的是：用户权限是否**包含所请求的所有位**。即：(user_flags & requested) == requested：
立即学习“C++免费学习笔记（深入）”；
bool has_permission(uint32_t user_flags, Permission requested) {
return (user_flags & static_cast<uint32_t>(requested)) ==
static_cast<uint32_t>(requested);
}
- 必须做
static_cast，否则编译失败（C++11 起作用域枚举不可隐转） - 如果要支持多权限组合传入（如
Read | Admin），requested参数仍为单个Permission值，调用方应先用|合并再传入 - 别用
std::bitset替代——它带来动态内存和额外函数调用，对高频鉴权是累赘
权限合并与清除必须用 |= 和 &= ~，禁用 + / -
有人习惯用加减法操作权限：flags += Read、flags -= Write。这是危险的：一旦某权限位已置 1，+= 不改变状态，但 -= 会误清其他位（例如 Write=2，flags=3(Read|Write)，3-2=1 是对的；但若 flags=7（含 Delete=4），7-2=5，Delete 位被意外保留，逻辑断裂）。
- 添加权限：用
flags |= static_cast<uint32_t>(perm)</uint32_t> - 移除权限：用
flags &= ~static_cast<uint32_t>(perm)</uint32_t>（注意~优先级低于&，括号不能少） - 全量替换（如重置权限）：直接赋值，不要循环
clear，更不要flags = flags & ~All再|= New
调试时打印权限要避免手写 switch 枚举名
权限值可能组合爆炸（32 位最多 2³² 种），不可能穷举 switch。运行时调试需要快速看出当前 flags 含哪些语义权限，建议写一个轻量字符串拼接函数：
std::string permission_names(uint32_t flags) {
std::string out;
if (flags & static_cast<uint32_t>(Permission::Read)) out += "Read|";
if (flags & static_cast<uint32_t>(Permission::Write)) out += "Write|";
if (flags & static_cast<uint32_t>(Permission::Delete)) out += "Delete|";
if (flags & static_cast<uint32_t>(Permission::Admin)) out += "Admin|";
if (!out.empty()) out.pop_back(); // remove last '|'
return out.empty() ? "None" : out;
}
这个函数不追求通用性，只服务调试。上线可删或用宏控制。重点在于：它只检查位，不依赖枚举值顺序或连续性，也不假设权限数量 —— 每个 if 独立判断，加新权限只需追加一行。
最易被忽略的是：权限掩码本质是“集合”，不是“状态机”。所有操作都应围绕位交、并、补展开，任何试图用算术、顺序或字符串索引去建模权限关系的设计，都会在扩展性和边界 case 上出问题。
