C++ switch语句仅支持整型或可隐式转为整型的类型，case值须为编译期常量且不重复，default建议添加，break需显式书写以防fall-through；case内定义变量必须用花括号限定作用域。
switch 语句的基本写法和必须遵守的规则
C++ 的 switch 不是万能的分支替代品，它只接受整型（int、char、enum、short 等）或可隐式转为整型的类型（C++17 起支持 constexpr 枚举类），不能直接用于 std::string、float 或自定义类。
每个 case 标签后必须是编译期常量表达式，且值不能重复；default 不强制出现，但强烈建议加上，否则遇到未覆盖的值时行为不可控。
-
break必须显式写，漏掉就会「贯穿（fall-through）」——这是最常见 bug 来源之一 -
case和default只是标签，不构成作用域；想在某个case中定义变量，得用花括号包起来 -
switch表达式本身不产生返回值，不能像 Python 的 match 那样赋值或参与表达式链
case 中定义变量的正确姿势
直接在 case 标签下写 int x = 42; 会报错：「jump to case label bypasses initialization」。因为跳转可能绕过初始化，违反 C++ 对象生命周期规则。
解决办法只有一个：用作用域块隔离。
立即学习“C++免费学习笔记（深入）”；
switch (val) {
case 1: {
int x = 42; // ✅ 合法：x 的作用域仅限于此块
std::cout << x;
break;
}
case 2: {
std::string s = "hello"; // ✅ 同理
std::cout << s;
break;
}
}
注意：{} 不是可选的装饰，而是必需的语法结构；没有它，编译器会拒绝任何带初始化的局部变量声明。
替代 switch 的现代写法（C++17+）
当需要匹配字符串、多条件组合或运行时类型时，switch 失效，得换方案：
- 匹配
std::string：用if-else if链，或封装成std::map<:string std::function>></:string>查表（适合固定键集） - 类型分支（如
std::variant）：必须用std::visit+ lambda，switch完全无能为力 - 枚举类（
enum class）：可以正常使用switch，但需确保所有枚举值都被case覆盖，或靠default捕获意外值
例如处理 std::variant<int double std::string></int>，你只能写：
std::visit([](auto&& arg) {
using T = std::decay_t<decltype(arg)>;
if constexpr (std::is_same_v<T, int>) {
std::cout << "int: " << arg;
} else if constexpr (std::is_same_v<T, double>) {
std::cout << "double: " << arg;
} else if constexpr (std::is_same_v<T, std::string>) {
std::cout << "string: " << arg;
}
}, v);
容易被忽略的性能与兼容性细节
编译器对 switch 的优化高度依赖 case 数量和分布：少量离散值（如 3–5 个）通常编译为条件跳转；大量连续值（如 0–100）可能生成跳转表（jump table），极快；但若 case 值稀疏（如只有 1、1000、1000000），反而可能退化为二分查找或 if 链。
- 嵌套
switch是合法的，但可读性差，建议提取函数 - GCC/Clang 支持
[[fallthrough]]属性标记有意贯穿，避免警告；MSVC 用[[msvc::fallthrough]] - 不要在
case中 return 或 throw 后还写代码——控制流已中断，后续语句永远不可达，编译器可能警告甚至报错
真正麻烦的从来不是语法怎么写，而是忘记 break、误以为能切字符串、或者在没加作用域的情况下初始化变量——这三个点卡住的人最多。
