為什麼 Go 的型別開關不允許失敗？

型別開關與一般 Switch 語句

在 Go 中，普通 switch 語句允許失敗，但型別開關不允許。雖然 Go 規範沒有明確解釋這種差異的原因，但它源自於兩種結構的根本差異。

正常 Switch 語句：

在正常情況下switch 語句中，switch 表達式計算結果為特定類型的單一常數值。然後將該值與 case 語句中的常數進行比較。如果 switch 表達式與常數匹配，則執行相應的 case 區塊。

普通 switch 語句中的 Fallthrough 允許執行繼續到下一個 case 區塊，無論 switch 表達式是否與 case 常數相符。當連續的 case 語句處理相關場景時，此行為非常有用。

型開關：

型別開關，另一方面，將開關表達式計算為介面值。然後，在運行時動態確定介面值的類型，並將其與 case 語句中指定的類型進行比較。根據匹配情況，執行對應的 case 區塊。

與普通 switch 語句不同，在類型開關中不允許fallthrough，因為它不能一致地應用。原因是類型 switch 中的 switch 表達式可以傳回任何類型的介面值。如果允許失敗，則 switch 表達式的類型將在從一個 case 區塊轉換到下一個 case 區塊時發生變化。

例如，考慮下列類型 switch：

switch i := x.(type) {
case int:
    fmt.Println(i + 1)
    fallthrough // Error: cannot fallthrough in type switch
case float64:
    fmt.Println(i + 2.0)
}

在此程式碼中，如果 switch 表達式 x 是整數，則會執行 case int 區塊。如果允許失敗，執行將繼續到 case float64 區塊。然而，此時，switch 表達式 i 的類型將從 int 變更為 float64。

這會導致類型一致性中斷，因為後續 case 語句期望 switch 表達式為 float64。為了保持一致性，類型切換中不允許失敗。

條件類型處理的替代方法：

如果您需要以條件方式處理多種類型，有是類型開關的替代方法：

• 使用多個普通switch 語句：為需要處理的每種類型建立單獨的switch 語句。
• 使用空介面類型斷言： 使用 .(interface{}) 類型斷言檢查介面值的類型，然後相應地處理該值。

以上是為什麼 Go 的型別開關不允許失敗？的詳細內容。更多資訊請關注PHP中文網其他相關文章！