C語言 switch-case 穿透特性深度解析與實戰驗證

看似簡單的 switch，暗藏「穿透」陷阱：一個真實代碼審查發現的案例

代碼審查時發現一段異常的 `switch` 結構：多個 `case` 標簽堆疊、中間缺失 `break`。這觸發了 C 語言 `switch` 的核心機制——**無條件穿透**。本文通過標準規定、汇编視角、實測驗證，徹底講透這一「特性而非 Bug」的行為。

疑問代碼片段

switch (error) {
    case ENUM_0:
    case ENUM_1:
        printf("case 0 and 1\n");
    case ENUM_2:          // ⚠️ 此處無 break！
        printf("case 2\n");
        break;
}

核心疑問： 當 `error == ENUM_0` 或 `ENUM_1` 時，`printf("case 0 and 1")` 執行後，會不會繼續執行 `case ENUM_2` 的代碼？

標準規定：C89 至 C23 一致

switch 語句將控制權轉移到匹配的 case 標簽，隨後順序執行後續所有語句，直到遇到 break、return、goto 或 switch 結束。

• case 標簽只是入口標記，不具備任何阻隔作用。
• 多個 case 堆疊 (`case A: case B:`) 只是共享同一入口代碼塊，等價於 `if (x==A || x==B)`。
• 穿透是特性：Duff's Device、狀態機合併處理等高級模式依賴此機制。

實測驗證代碼 (MSVC / GCC 均可)

#include <stdio.h>

int main(void) {
    char ch = 0;  // 測試 ENUM_0 情況

    switch (ch) {
        case 0:
        case 1:
            printf("case 0 excute\n");
        case 2:
            printf("case 2 excute\n");
            break;
    }
    return 0;
}

運行結果

case 0 excute
case 2 excute

鐵證： `ch=0` 匹配 `case 0:`，執行第一個 `printf`，**隨後穿透執行 `case 2:` 的 `printf`**，最後遇到 `break` 跳出。`case 1:` 同理。

汇編視角 (x86-64 GCC -O0) 看穿透本質

main:
    mov     BYTE PTR [rbp-1], 0       ; ch = 0
    mov     eax, BYTE PTR [rbp-1]     ; 載入 ch
    cmp     al, 2
    ja      .L_default                ; 若 >2 跳默認/結束
    jmp     QWORD PTR [rdx+rax*8]     ; 跳轉表：索引 rax 跳轉

.L_case_0:                            ; case 0: 入口
    lea     rdi, [rip+.LC0]           ; "case 0 excute\n"
    call    puts
.L_case_1:                            ; case 1: 入口 (無代碼，直接穿透)
.L_case_2:                            ; case 2: 入口
    lea     rdi, [rip+.LC1]           ; "case 2 excute\n"
    call    puts
    jmp     .L_break                  ; break → 跳出
.L_break:
    xor     eax, eax
    ret
.L_default:
    xor     eax, eax
    ret

關鍵觀察：

1. 編譯器生成**跳轉表**，`case 0/1/2` 分別對應標簽 `.L_case_0/1/2`。
2. `.L_case_0` 執行完 `puts`，**直接順序落入 `.L_case_1`**，再落入 `.L_case_2`**—— 無任何跳轉指令阻隔**。
3. 只有 `.L_case_2` 末尾有 `jmp .L_break` (對應 `break`)。

常見誤區與最佳實踐

合法利用穿透的經典模式

1. 多值共享處理邏輯 (標準用法)

switch (ch) {
    case 'a': case 'e': case 'i': case 'o': case 'u':
    case 'A': case 'E': case 'I': case 'O': case 'U':
        vowel_count++;  // 10個標簽共享同一代碼塊
        break;
    default:
        consonant_count++;
}

2. Duff's Device (循環展開黑魔法)

void memcpy_duff(char *to, const char *from, size_t count) {
    size_t n = (count + 7) / 8;
    switch (count % 8) {
        case 0: do { *to++ = *from++;
        case 7:      *to++ = *from++;
        case 6:      *to++ = *from++;
        case 5:      *to++ = *from++;
        case 4:      *to++ = *from++;
        case 3:      *to++ = *from++;
        case 2:      *to++ = *from++;
        case 1:      *to++ = *from++;
                   } while (--n > 0);
    }
}

利用 `switch` 跳轉進入 `do-while` 中間，實現按餘數預處理 + 主循環 8 次展開。**現代編譯器自動優化已使其過時，僅供理解機制。**

總結

1. switch 穿透是語言核心語義：匹配後順序執行至 `break/return/結束`。
2. 多 case 堆疊 = 共享入口，非多條件判斷結構。
3. 漏寫 break 是高危 Bug**，啟用編譯器警告 `-Wimplicit-fallthrough` (GCC/Clang) 或 `/W4` (MSVC)。
4. 故意穿透必須顯式標記**：`/* fallthrough */` / `[[fallthrough]];`，便於審查與靜態分析。
5. 調試技巧**：GDB `info line` 查看標簽地址，或反汇編確認控制流。

理解穿透機制，是從「會用 switch」進階到「精通控制流」的必經之路。

1. 上一篇文章： Emacs 高效開發：智能頭文件自動補全與路徑補全配置
2. 下一篇文章： C語言 swap 交換函數五種寫法深度對比：值傳遞 vs 指針 vs 數組退化

關於C語言

C# 報表查詢利器：DateTime 預設日期範圍一鍵生成（本週/月/季/年及相對週期）

核心設計原則 以「今天 00:00:00」為基準：

C 語言配置文件讀寫庫實現：鍵值對解析、鏈表存儲與增刪改查完整接口

專案背景 參考 Java Properties 類設計，實現

C語言模塊化編程：多文件結構與自定義函數庫實戰

C語言模塊化編程：多文件結構與自定義函數庫實戰 隨著代碼增

平方根函數演進史：從二分法到Quake III神奇常數0x5f3759df

引言：一個函數引發的性能探索 sqrt() 是科學計算、圖形