语言为什么不对switch语句使用显式的穿透？

我在看为什么我们要用break在switch？，这使我想知道为什么某些语言（例如PHP和JavaScript）允许隐式掉线，而没有支持（AFAIK）的显式掉线。

这并不是continue完全需要的，而是需要创建一个新的关键字，并且可以解决任何有关作者是否打算通过案子的模棱两可的问题。

当前支持的形式是：

switch (s) {
    case 1:
        ...
        break;
    case 2:
        ... //ambiguous, was break forgotten?
    case 3:
        ...
        break;
    default:
        ...
        break;
}

而将其写为：

switch (s) {
    case 1:
        ...
        break;
    case 2:
        ...
        continue; //unambiguous, the author was explicit
    case 3:
        ...
        break;
    default:
        ...
        break;
}

为了这个问题的目的，让我们忽略掉线是否是一种好的编码风格的问题。

是否存在允许掉线并使其明确的语言？

是否有历史原因导致switch隐性掉线而不是显性掉线？

这主要是历史性的，大多数语言只是复制了C所做的事情。

C之所以这样做，是因为C的创建者希望将switch语句轻松优化为跳转表。这也是C将switch语句限制为整数值的原因。

在跳转表中，程序将根据表达式计算要跳转到的位置。程序将跳至该点，然后从该点继续执行。如果要跳过表的其余部分，则必须包括跳至表的末尾。C使用显式break语句，因此与该构造有直接对应关系。

Go允许使用fallthrough关键字进行显式掉线（break是隐式的，但可能是显式的）：

switch val {
case 1: // breaks
case 2:
    fallthrough
case 3:
    goto 
case 4, 5, 6: // equivalent to defining individual cases with explicit fallthough
    break // unnecessary
default:
}

这是有效的用法和语言规范的相关内容。

我不认为您可以用来goto处理特定案件，但可以在案件中打上标签并使用goto类似的标签。

另外，Go允许您在开关中使用二进制表达式，字符串或类型作为case语句。