17370845950

C++中switch仅支持整型、枚举或可隐式转换为整型的常量表达式，不支持字符串；case值必须是编译期常量且互异；default建议置于末尾并兜底；fall-through需显式处理。

switch case 必须用整型或枚举，不能直接比较字符串

在 C++ 中，switch 的控制表达式只能是整型（int、char、long 等）、枚举类型，或能隐式转换为这些类型的常量表达式。C++ 标准不支持 std::string 或 const char* 作为 switch 条件——编译器会直接报错，例如：error: switch quantity not an integer。

常见误用场景：想根据命令名分发逻辑，比如 switch (cmd)，其中 cmd 是 std::string。这时必须改用 if-else if 链，或预处理成哈希值（需确保无冲突）或枚举映射：

enum class Command { START, STOP, RESTART };
Command parse_command(const std::string& s) {
    if (s == "start") return Command::START;
    if (s == "stop")  return Command::STOP;
    if (s == "restart") return Command::RESTART;
    return Command::STOP;
}
// 后续可用 switch (parse_command(s)) { ... }

case 标签后必须是常量表达式，且不能重复

case 后的值必须在编译期可确定，不能是变量、函数调用或非常量表达式。例如 int x = 5; case x: 是非法的；case 3 + 4: 合法（因为是常量表达式）；case sizeof(int): 也合法（sizeof 是编译期运算）。

重复的 case 值会导致编译错误，如：

switch (n) {
    case 1: ... break;
    case 1: ... // error: duplicate case value
}

• 枚举成员名若未显式赋值，会从 0 开始自动递增，但多个枚举值可能意外相等（尤其用了 = 显式赋值后），务必检查
• default 标签不是必需的，但强烈建议加上，避免遗漏分支导致未定义行为
• 所有 case 和 default 标签都属于同一作用域，不能在不同 case 中重复定义同名变量（除非加花括号引入新作用域）

忘记 break 会导致 fall-through，这是有意设计而非 bug

C++ 的 switch 默认“穿透”（fall-through）：匹配到某个 case 后，若没遇到 break，会继续执行后续所有 case 语句，直到 switch 结束或遇到 break/return/throw。这和某些语言（如 Go）不同，是 C/C++ 的明确行为。

容易踩的坑：

• 本意只处理 case 2，却漏写 break，结果 case 3 和 default 也被执行
• 现代编译器（如 GCC/Clang）通常对无 break 的 case 发出 -Wimplicit-fallthrough 警告，但默认不启用，建议在编译选项中加上 -Wimplicit-fallthrough=2
• 若 fall-through 是故意的，应显式标注注释，如 // fall through，部分编译器能识别该注释并抑制警告

default 位置不影响执行逻辑，但影响可读性和维护性

default 可以放在任意位置（开头、中间、结尾），只要在 switch 代码块内即可。它只在没有任何 case 匹配时触发，与书写顺序无关。

不过实际工程中建议：

• 始终把 default 放在最后，符合阅读直觉，也方便静态分析工具识别“是否覆盖所有枚举值”
• 若 default 在中间，后续 case 仍可能被 fall-through 执行，容易引发逻辑混乱
• 对枚举类型使用 switch 时，即使你认为已列出全部值，也应保留 default 并至少加个 assert(false) 或日志，防止未来新增枚举值后漏处理

分支结构真正难的不是语法，而是状态覆盖是否完整、fall-through 是否可控、以及类型安全边界是否被无意突破。写完 switch 后，值得花 30 秒检查：所有 case 值是否互异？有没有漏 break？default 是否真能兜住异常输入？