为何Dart中这两个switch代码块不具备等价性？

先给出枚举定义：

enum Foo {
  bar,
  baz,
}

我原本以为运行以下代码会依次输出 bar, baz 和 barr, bazz：

void main() {
  final f = Foo.bar;
  switch (f) {
    case Foo.bar:
    case Foo.baz:
      print("bar, baz");
  }

  switch (f) {
    case Foo.bar:
      if (false) {
        return;
      }
    case Foo.baz:
      print("barr, bazz");
  }
}

我认为 if (false) 不会执行return，代码会贯穿到下一个case，但实际只输出了 bar, baz。为何这两个代码块不等价？背后的设计选择是什么？与其他语言对比情况如何？还是这是Dart的bug？

更新：我在JS中测试了类似逻辑，结果符合我的预期，但Dart不符合：

let day;
switch (0) {
  case 0:
  if (false) {
    break;
  }
  
  case 1:
    
  case 2:
    day = "Tuesday"; // 会执行这行
    break;
  case 3:
    day = "Wednesday";
    break;
}

核心原因：Dart的Switch语句默认禁止贯穿 #

这不是Dart的bug，而是语言设计层面的规则：Dart要求每个case分支必须以break、return、continue（带标签）或者throw结尾，除非是多个case合并的“空分支”（像第一个switch里case Foo.bar:后面直接接case Foo.baz:这种）。

你的第二个switch里，case Foo.bar:分支包含了if (false) { return; }这段代码，哪怕这个if永远不会执行，Dart编译器会认为这个分支已经有了“潜在的退出逻辑”，不会自动允许它贯穿到下一个case。换句话说，Dart不允许非空分支的自动贯穿——只有当case分支里没有任何可执行代码时，才允许合并到下一个case。

如果确实需要手动实现贯穿，你可以显式使用continue加case标签：

switch (f) {
  case Foo.bar:
    if (false) {
      return;
    }
    continue bazCase; // 显式指定要贯穿到下一个case
  bazCase:
  case Foo.baz:
    print("barr, bazz");
}

设计选择的出发点 #

Dart这么设计是为了避免意外的贯穿行为——很多C/JS风格的switch里，开发者经常会忘记加break导致逻辑出错，Dart通过强制禁止非空分支的贯穿，把这种常见bug扼杀在编译阶段。

和其他语言的对比 #

• JavaScript/C++：默认允许贯穿，需要手动加break来终止分支；空分支和有代码的分支都能自动贯穿。
• Java/Kotlin：和Dart类似，非空分支不允许自动贯穿，必须显式添加跳转语句；只有空case可以合并。
• Python：无原生switch语句（3.10+的match为模式匹配，逻辑差异较大）。

你在JS里的测试符合预期，正是因为JS默认支持贯穿，哪怕case里有代码，只要没加break就会往下走；但Dart的规则刚好相反，默认不允许，必须显式声明。

内容的提问来源于stack exchange，提问作者TSR