Go变量重赋值时动态类型未清除？是否属于语言Bug？

这个行为是Go语言的有意设计，并非运行时内存复用导致的状态残留，核心原因来自Go接口的底层结构和赋值语义：

1. Go接口的底层结构 #

Go的接口值由两部分组成：

• 动态类型（Type）：存储实现该接口的具体类型
• 动态值（Value）：存储该具体类型的实例值

只有当动态类型和动态值同时为nil时，整个接口值才会被认为是nil。比如：

• var err error = nil：Type和Value都为nil，err == nil成立
• var err error = (*CustomError)(nil)：Type是*CustomError，Value是nil，err == nil不成立

2. 赋值操作的语义 #

当你给接口变量赋值时，Go会根据右值的类型和值，更新接口变量的Type和Value：

• 若右值是具体类型的nil（比如FuncThatReturnsCustomError()返回的*CustomError类型nil），赋值后接口的Type会被设置为该具体类型，Value设置为nil，此时接口不等于nil。
• 若直接给接口变量赋nil，则会将接口的Type和Value同时置为nil，此时接口等于nil。

3. 结合你的代码分析 #

• 第一次赋值err := FuncThatReturnsCustomErrorAsErrorInterface()：返回的error接口Type为*CustomError，Value为nil，所以err == nil为false。
• 执行err = FuncThatReturnsCustomError()：右值是*CustomError类型的nil，赋值后接口的Type保持为*CustomError，Value为nil，因此err == nil仍为false。
• 执行err = nil：直接将接口的Type和Value同时置为nil，所以err == nil为true。

4. 语言规范的隐含说明 #

虽然Go语言规范没有直接提到“动态类型保留”，但接口赋值的语义天然要求：当具体类型的值（包括nil）赋值给接口时，必须将该具体类型的信息写入接口的Type字段。这是接口类型系统的核心逻辑，并非意外行为。

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