類型切換的失敗：深入解釋

Go 中的類型切換允許根據具體類型有效地處理值。然而，與標準 switch-case 語句不同的是，在類型 switch 中明確不允許fallthrough。這種設計選擇引發了對其基本原則的質疑。

理解原因

Go 規範規定型開關中不允許「fallthrough」。這種禁止源自於幾個因素：

• 類型不匹配： 在類型開關中，正在評估的變數根據輸入的 case 分支更改類型。例如，如果變數在一個分支中分配了一個布林值，在另一個分支中分配了一個字串，則fallthrough將導致類型不匹配。
• 令人困惑的行為：允許型別開關中的fallthrough會導致不明確語意。考慮一個開關，其中變數在前一個分支中被分配了布林值。如果允許失敗，則不清楚在後續分支中應如何處理該變數。它應該保留布林值還是成為保存布林值或新類型值的介面？

澄清範例

用來說明這個問題，考慮下面的程式碼：

switch i := x.(type) {
case int:
    fmt.Printf("%T\n", i) // prints "int"
case bool:
    fmt.Printf("%T\n", i) // prints "bool"
    fallthrough
case string:
    fmt.Printf("%T\n", i)
}

如果允許fallthrough，則不清楚將為字串大小寫列印什麼類型。 i 應該保留布林值還是成為同時包含布林值和字串的介面{}是不明確的。

替代解決方案

雖然在type 開關，還有其他方法可以實現類似的行為：

switch i := x.(type) {
case bool, string:
    if b, ok := i.(bool); ok {
        // b is a bool
    }
    // i is an interface{} that contains either a bool or a string
}

此方法允許對不同類型進行更具體的處理，而不會引入類型不匹配或歧義。