switch case 语句中的 fall-through 现象解析

# 1. 什么是 switch case 语句

Switch case 语句是一种在程序中根据不同条件执行不同代码块的流控制语句。它通常用于替代多个 if-else if-else 语句，使代码更加简洁和易于阅读。

- 使用 switch case 语句可以根据一个表达式的值，在多个不同的代码块之间进行选择执行。
- switch case 语句可以提高代码的执行效率，特别是在需要检查多个可能值时，相比多个 if-else if-else 语句，switch case 通常更快更简洁。

在 switch case 中，优先选择特定值的执行流程，将其与其他值的执行流程区分开来，从而实现更加简明的代码逻辑判断。

# 2. fall-through 是什么

在编程中，"fall-through"（贯穿）是指在使用 switch case 语句时，当一个 case 分支没有遇到 break 语句而直接执行下一个 case 分支的情况。下面将详细解释 fall-through 现象的定义和示例。

#### 2.1 fall-through 现象的定义

当 switch case 语句中的某个 case 分支不包含 break 语句时，程序执行将会“贯穿”到下一个 case 分支，继续执行代码，直至遇到 break 或者 switch case 语句结束。

在下面的表格中，我将通过一个简单的示例来演示 fall-through 现象：

| 输入 | 输出 |
|-----|-----|
| 'A' | 'Letter A' |
| 'B' | 'Letter B' |
| 'C' | 'Letter C' |
| 其他 | 'Other Letter' |

下面展示一个包含 fall-through 现象的 switch case 代码示例：

letter = 'B'

switch letter:
    case 'A':
        print('Letter A')
    case 'B':
        print('Letter B')
        # 没有 break，继续执行下一个 case
    case 'C':
        print('Letter C')
    default:
        print('Other Letter')

在以上示例中，当变量 `letter` 的值为 'B' 时，程序会输出 'Letter B'，然后继续执行下一个 case，输出 'Letter C'。这就是典型的 fall-through 现象。

# 3. switch case 中的 fall-through 现象

在 switch case 语句中，如果没有在每个 case 语句块的结尾显式地加上 `break;`，那么就会出现 fall-through 现象。这意味着程序会继续执行下一个 case 语句块，而不会在匹配的 case 执行完毕后跳出 switch 结构。

下面以一个简单的示例来说明 switch case 中的 fall-through 现象：

int num = 2;
String result = "";

switch(num) {
    case 1:
        result = "Number is 1. ";
    case 2:
        result += "Number is 2. ";
    case 3:
        result += "Number is 3. ";
    default:
        result += "Number is not 1, 2, or 3.";
}

System.out.println(result);

在上述代码中，当 `num` 的值为 2 时，由于每个 case 语句块末尾没有 `break;`，程序会依次执行所有 case，导致 `result` 的输出为 "Number is 2. Number is 3. Number is not 1, 2, or 3."。

### 3.1 如何出现 fall-through 现象

出现 fall-through 现象的情况通常是因为程序员忘记在每个 case 语句块末尾添加 `break;` 语句。这可能是因为粗心大意或者故意希望多个 case 共享一段代码逻辑。

以下是一个表格，展示出现 fall-through 现象的典型情况：

| Case | 行为 |
|------|------|
| 不加 break; | 出现 fall-through 现象，继续执行下一个 case 语句块 |
| 明确加上 break; | 执行完匹配的 case 后跳出 switch 结构 |

接着是一个使用 mermaid 格式的流