本文深入探讨javascript `switch`语句中代码块的执行机制，特别是当`case`分支中缺少`break`语句时产生的“穿透”行为。我们将通过一个实际代码示例，详细解析位于最后一个`case`标签之后但`switch`块内部的代码是如何被执行的，澄清其并非独立的`default`或全局执行块，而是前一个`case`逻辑的延续。理解这一特性对于编写高效且无误的`switch`逻辑至关重要。
JavaScript中的switch语句是一种多分支选择结构，它允许程序根据表达式的值执行不同的代码块。其基本语法通常包括一个表达式和多个case标签，每个case标签后跟着相应的代码块，并通常以break语句结束，以防止执行流“穿透”到下一个case。然而，当break语句被省略时，switch语句的行为可能会让初学者感到困惑。
switch语句的穿透行为（Fall-through）
在JavaScript（以及许多其他C风格语言）中，switch语句的执行机制是，一旦匹配到一个case标签，程序就会开始执行该case下的所有代码，并且会继续执行后续所有case标签下的代码，直到遇到break语句、return语句或switch语句的末尾。这种行为被称为“穿透”（fall-through）。
考虑以下MurmurHash算法中的代码片段：
switch (remainder) {
case 3: k1 ^= (key.charCodeAt(i + 2) & 0xff) << 16;
case 2: k1 ^= (key.charCodeAt(i + 1) & 0xff) << 8;
case 1: k1 ^= (key.charCodeAt(i) & 0xff);
// 这里的代码何时执行？
k1 = (((k1 & 0xffff) * c1) + ((((k1 >>> 16) * c1) & 0xffff) << 16)) & 0xffffffff;
k1 = (k1 << 15) | (k1 >>> 17);
k1 = (((k1 & 0xffff) * c2) + ((((k1 >>> 16) * c2) & 0xffff) << 16)) & 0xffffffff;
h1 ^= k1;
}这段代码的特殊之处在于，在最后一个case 1:之后，存在几行代码，它们既没有在任何case标签下，也没有在default标签下。这引发了一个常见疑问：这些代码何时会被执行？它们是像default一样在所有case不匹配时执行，还是像switch块外部的代码一样总是执行？
立即学习“Java免费学习笔记（深入）”；
答案是：由于case 1:后面没有break语句，这些代码实际上是case 1:代码块的延续。换句话说，它们会随着case 1:的执行而执行。
为了更好地理解和提高代码可读性，我们可以重新格式化这段代码，使其逻辑关系更加清晰：
switch (remainder) {
case 3:
k1 ^= (key.charCodeAt(i + 2) & 0xff) << 16; // 如果 remainder 是 3，则执行此行
case 2:
k1 ^= (key.charCodeAt(i + 1) & 0xff) << 8; // 如果 remainder 是 3 或 2，则执行此行
case 1:
k1 ^= (key.charCodeAt(i) & 0xff); // 如果 remainder 是 3、2 或 1，则执行此行
// 以下代码块是 case 1 的延续，会随着 case 1 的执行而执行
k1 = (((k1 & 0xffff) * c1) + ((((k1 >>> 16) * c1) & 0xffff) << 16)) & 0xffffffff;
k1 = (k1 << 15) | (k1 >>> 17);
k1 = (((k1 & 0xffff) * c2) + ((((k1 >>> 16) * c2) & 0xffff) << 16)) & 0xffffffff;
h1 ^= k1;
}代码执行流程解析
假设remainder变量的值只能是1、2或3，我们来分析不同情况下的执行流程：
-
当 remainder 为 3 时：
- 程序匹配到 case 3:。
- 执行 k1 ^= (key.charCodeAt(i + 2) & 0xff)
- 由于没有 break，执行流穿透到 case 2:。
- 执行 k1 ^= (key.charCodeAt(i + 1) & 0xff)
- 由于没有 break，执行流穿透到 case 1:。
- 执行 k1 ^= (key.charCodeAt(i) & 0xff);。
- 由于没有 break，执行流继续执行 case 1: 后面的所有代码，直到 switch 块结束。
- 执行 k1 = (((k1 & 0xffff) * c1) + ...); 等后续计算。
-
当 remainder 为 2 时：
- 程序跳过 case 3:，匹配到 case 2:。
- 执行 k1 ^= (key.charCodeAt(i + 1) & 0xff)
- 由于没有 break，执行流穿透到 case 1:。
- 执行 k1 ^= (key.charCodeAt(i) & 0xff);。
- 由于没有 break，执行流继续执行 case 1: 后面的所有代码，直到 switch 块结束。
- 执行 k1 = (((k1 & 0xffff) * c1) + ...); 等后续计算。
-
当 remainder 为 1 时：
- 程序跳过 case 3: 和 case 2:，匹配到 case 1:。
- 执行 k1 ^= (key.charCodeAt(i) & 0xff);。
- 由于没有 break，执行流继续执行 case 1: 后面的所有代码，直到 switch 块结束。
- 执行 k1 = (((k1 & 0xffff) * c1) + ...); 等后续计算。
通过上述分析可以看出，case 1: 之后的代码块并非独立于任何 case 或 default，而是利用了 switch 语句的穿透特性，成为了 case 1: 执行路径的一部分。这种写法在处理需要对不同情况进行累积处理的场景（如本例中根据剩余字节数逐步处理）时非常有用。
注意事项与最佳实践
- 明确意图： switch语句的穿透行为可以非常强大，但也容易导致意外的错误。如果您的代码依赖于穿透，请务必通过注释或清晰的格式来明确表达这一意图，以避免他人误解或无意中引入break而改变逻辑。
- 使用break隔离： 在大多数情况下，为了避免穿透，每个case块都应该以break语句结束，以确保只有匹配的case代码被执行。
- default标签： default标签用于处理所有case都不匹配的情况。它通常放在switch语句的最后，但也可以放在其他位置。与case类似，如果default块后面没有break，它也会穿透到后续代码。
- 代码可读性： 像示例中这样将共享代码放在最后一个case之后，可以减少代码重复，但如果格式不当，可能会降低代码的可读性。清晰的缩进和注释是关键。
总结
JavaScript switch语句的穿透行为是其一个核心特性。位于最后一个case标签之后但在switch块内部的代码，并非独立的default或总是执行的全局代码，而是由于没有break语句而作为前一个case逻辑的延续被执行。理解这一机制对于正确编写和维护涉及switch语句的代码至关重要，特别是在需要处理累积或共享逻辑的场景中。在实际开发中，应权衡利用穿透的便利性和保持代码清晰可读性之间的关系，并始终以明确的意图来设计和实现switch逻辑。
