go - `switch` 中 `go` 的求值序列

Question

我正在通过阅读《Effective Go》来学习Go语言。

我找到了一个关于类型转换的例子:

var t interface{}
t = functionOfSomeType()
switch t := t.(type) {
default:
    fmt.Printf("unexpected type %T\n", t)     // %T prints whatever type t has
case bool:
    fmt.Printf("boolean %t\n", t)             // t has type bool
case int:
    fmt.Printf("integer %d\n", t)             // t has type int
case *bool:
    fmt.Printf("pointer to boolean %t\n", *t) // t has type *bool
case *int:
    fmt.Printf("pointer to integer %d\n", *t) // t has type *int
}

我的理解是 switch 中的 cases 是从上到下评估的，并在匹配条件处停止。那么这个例子不是总是会在 default 处停止并打印“unexpected type ...”吗？

Answer 1

来自 this Golang tutorial :

• 如果没有其他case block 匹配，则执行default 的代码块
• default block 可以在 switch block 内的任何位置，不一定按词法顺序放在最后