Go规范类型断言示例是否存在错误？

首先明确：你遇到的这个示例var v, ok interface{} = x.(T)确实存在语法错误，在任何Go版本中都无法通过编译，这是Go规范文档里的笔误。

错误原因 #

Go的变量声明规则中，var v, ok interface{}这种写法试图将两个变量v和ok都声明为interface{}类型，但x.(T)（带布尔标志的类型断言）返回的是两个不同类型的值：一个是断言成功后的T类型值，另一个是bool类型的断言成功标志。这种多变量同类型声明的写法无法匹配两个不同类型的返回值，直接触发语法错误。

示例的真实意图 #

这个示例想展示的是带布尔标志的类型断言的核心用法：

• 不带ok的类型断言x.(T)，当x的实际类型不是T时会直接panic；
• 加上ok后，断言失败时不会panic，而是返回T类型的零值和false，断言成功则返回对应值和true。

正确的写法 #

符合Go语法的正确写法有两种：

1. 短变量声明（日常开发最常用）：

v, ok := x.(T)

编译器会自动推断v的类型为T，ok的类型为bool。

2. 显式声明变量类型后赋值：

var v T
var ok bool
v, ok = x.(T)

或者合并声明形式：

var (
    v T
    ok bool
)
v, ok = x.(T)

规范文档的问题 #

Go规范里的这个示例明显是笔误，正确的写法应该是上述两种形式之一，而非错误的var v, ok interface{} = x.(T)。

内容的提问来源于stack exchange，提问作者Zaphod