Java switch-case 語句核心機制與易錯陷阱全解析

switch-case 是 Java 流程控制的核心語句，但其「貫穿」特性與型別限制常成為考試與面試的高頻考點，也是新手易犯錯的地方。本文從底層原理出發，系統梳理語法規則、執行流程、支援型別演進歷程，並透過 4 個經典易混淆範例，幫助讀者徹底攻克這個「心病」。

一、語法結構與核心規則

switch (表達式) {
    case 常量表達式1: 語句1; break;
    case 常量表達式2: 語句2; break;
    ...
    default: 語句; break;  // 可選，無匹配 case 時執行
}

四大鐵律：

1. default 非必須：可省略，若無匹配 case 且無 default，則整個 switch 不執行任何語句
2. case 後無需大括號：多條語句直接順序書寫，以 break 或 switch 結束為界
3. 表達式型別限制：Java 1.0-6 僅支援 int、byte、short、char（及其包裝類別）；Java 7+ 新增 String；Java 12+ 引入 switch 表達式（箭頭語法）與模式匹配（預覽）
4. 貫穿特性：一旦匹配某 case，將順序執行後續所有語句，直到遇到 break 或 switch 結束。此特性可讓多個 case 共用同一邏輯區塊

二、經典易混淆範例深度解析

範例 1：標準模式（每個 case 皆有 break）

int i = 3;
switch (i) {
    case 1: System.out.println(1); break;
    case 2: System.out.println(2); break;
    case 3: System.out.println(3); break;
    default: System.out.println("default"); break;
}
// 輸出：3

匹配 case 3 → 執行 println(3) → 遇 break 跳出 → 結束。

範例 2：漏寫 break 導致貫穿

int i = 2;
switch (i) {
    case 1: System.out.println(1);
    case 2: System.out.println(2);
    case 3: System.out.println(3);
    default: System.out.println("default");
}
// 輸出：
// 2
// 3
// default

匹配 case 2 → 執行 2、3、default 全部語句 → 無 break 阻隔 → 全部輸出。這是最常見的 Bug 來源。

範例 3：善用貫穿實現多值共用邏輯

char grade = 'B';
switch (grade) {
    case 'A':
    case 'B':
    case 'C': System.out.println("及格"); break;
    case 'D':
    case 'F': System.out.println("不及格"); break;
    default: System.out.println("無效等級");
}
// 輸出：及格

case 'A'、'B'、'C' 無語句直接貫穿至 println("及格")，優雅實現區間判斷。

範例 4：default 位置不影響執行順序

int x = 5;
switch (x) {
    default: System.out.println("default first");
    case 1: System.out.println(1); break;
    case 5: System.out.println(5); break;
}
// 輸出：
// 5
// （default 不執行，因 case 5 有 break 阻隔）

default 可放在任意位置，僅在無 case 匹配時才會被「落入」執行；若有 case 匹配且後續有 break，default 會被跳過。

三、Java 版本演進與現代寫法

Java 12+ Switch 表達式範例（推薦現代專案使用）：

String result = switch (day) {
    case "MON", "TUE", "WED", "THU", "FRI" -> "工作日";
    case "SAT", "SUN" -> "週末";
    default -> "無效日期";
};

優點：無貫穿風險、可作為表達式賦值、編譯器強制要求覆蓋所有情況（exhaustiveness）。

四、效能與編譯器優化

• tableswitch：case 值連續密集時，編譯器生成索引跳轉表，O(1) 直接跳轉
• lookupswitch：case 值稀疏時，生成鍵值對查找表，二分搜尋 O(log n)
• 大量離散 case 時，考慮改用 Map<K, Runnable> 或多態設計獲得更好維護性

五、實務防呆檢查清單

• [ ] 每個 case 是否需要 break？（故意貫穿請加註解 // fall through）
• [ ] 是否處理了 default 情況？（防禦性程式設計）
• [ ] 表達式型別是否支援？（Java 7 前不可用 String/long/float/double）
• [ ] case 常量是否為編譯期常數？（不可用變數、方法呼叫）
• [ ] 是否可重構為多態或 Map 查找以提升擴充性？

六、結語

switch-case 的核心在於理解「匹配後順序執行直到 break」的貫穿機制。掌握四大鐵律、熟練識別漏寫 break 與善用貫穿的場景，並隨著 Java 版本升級採用更安全的 Switch 表達式，即可徹底解決這個困擾許多開發者的「弱項」。建議在舊專案維護時留意傳統寫法陷阱，新專案優先使用 Java 12+ 箭頭語法。