真覆盖检查需enum class配合-wswitch-enum等编译器警告开关，裸int/普通enum无效；漏值报错、default破坏检查、std::visit需手动保障覆盖、第三方enum需适配。
用 [[nodiscard]] 和编译器警告还不够，得靠 switch + enum class 配合
单纯写 switch 不保证覆盖，关键在类型和编译器设置。C++17 起，对 enum class 的 switch，启用 -Wswitch-enum（GCC/Clang）或 /we4062（MSVC）后，漏掉任一枚举值会报错——这才是真覆盖检查。
常见错误：用裸 int 或普通 enum，编译器根本不知道“该有多少种情况”；或者忘了开对应警告开关，switch 里只写几个 case 就跑过了。
-
enum class必须定义完整、不带...或运行时构造的值 - GCC/Clang 加
-Werror=switch-enum把警告当错误，CI 里才不会漏 - MSVC 要显式加
#pragma warning(error : 4062)，否则默认只是警告 - 如果枚举值太多，又想留个兜底
default:，那就失去覆盖检查意义了——别这么干
遇到 default: 就失效？用 __builtin_unreachable() 或 std::unreachable()（C++23）
有些逻辑上不可能走到 default，但加了它编译器就放弃检查。这时不该删 default，而该让它“存在但不可达”。
示例：enum class Color { Red, Green, Blue };，已列全三个 case，还写了 default:，只是为了防未来有人乱赋值——这反而破坏了检查。
- C++23 直接用
std::unreachable()，语义清晰且优化友好 - 旧标准可用 GCC/Clang 的
__builtin_unreachable()，MSVC 用__assume(0) - 不要写
throw std::runtime_error("unreachable")，异常路径会让编译器认为default是可达的 - 确保所有
case分支都以return、throw或unreachable()结束，不能“穿出”到default
模板匹配或 std::variant 怎么办？靠 std::visit + overloaded 辅助结构
std::variant 没有内置覆盖检查，std::visit 本身也不报错。必须手动确保 overloaded lambda 覆盖所有 variant 的备选类型。
错误现象：新增一个类型到 variant，但忘了更新 std::visit 的处理逻辑，运行时崩在 std::bad_variant_access。
- 把
overloaded定义成具名结构体，而非匿名 lambda，方便在头文件中声明所有operator()重载 - 用
static_assert校验std::variant_size_v<myvariant></myvariant>和重载数量是否一致（需 C++17 反射辅助或宏生成） - 更稳妥的做法是：每个
operator()都返回同一类型，再用auto result = std::visit(...);，避免漏分支导致类型推导失败 - Clang 16+ 支持
-Wunreachable-code，可捕获某些明显漏掉的std::visit分支（但不保证全覆盖）
静态分析工具能补位，但别依赖它们代替编译期检查
像 clang-tidy 的 bugprone-switch-missing-default 或 cppcheck 的 missingDefault，只能查语法层面有没有 default，不能判断是否覆盖全部 enum 值。
真正管用的是编译器原生支持：-Wswitch-enum 是唯一稳定、精确、零运行时代价的方案。
- CI 流水线里务必把
-Werror=switch-enum加进 CXXFLAGS，别只本地开 - 如果用了第三方库的
enum，且没定义为enum class，就无法启用该检查——得封装一层适配 - 注意
switch表达式必须是纯枚举类型，不能是static_cast<int>(e)</int>后再 switch，那会直接绕过检查
最易被忽略的一点：枚举值被 #ifdef 条件编译掉时，-Wswitch-enum 仍按原始定义检查，可能误报。此时应改用 constexpr if + if constexpr 分支，让编译器真正“看见”哪些值存在。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
