面试题：Go中复杂字面常量类型推导分析

Question

给定以下Go代码：`func main() { var a interface{} = 42; var b = a; fmt.Printf("%T\n", b) }`，请问`b`的类型是什么？为什么？如果将`a`赋值为`3.14`，`b`的类型推导又会有什么不同？请详细说明Go语言在这种涉及接口的情况下字面常量类型推导的过程。

Answer 1

1. a赋值为42时b的类型：
   • b的类型是int。
   • 原因：在Go语言中，虽然a被声明为interface{}类型并赋值为42（42是int类型的字面常量），当将a赋值给b时，由于此时a的动态类型是int，Go语言会进行类型断言并将b推导为int类型。interface{}类型的变量在赋值时会存储值和其动态类型，当进行赋值操作var b = a时，会根据a当前存储的动态类型来推导b的类型。
2. a赋值为3.14时b的类型：
   • b的类型是float64。
   • 原因：3.14是float64类型的字面常量，当a被赋值为3.14时，a的动态类型变为float64。同样，在执行var b = a时，Go语言会根据a当前存储的动态类型（float64）来推导b的类型，所以b被推导为float64类型。
3. Go语言在这种涉及接口的情况下字面常量类型推导的过程：
   • 当一个字面常量赋值给interface{}类型的变量时，Go语言会记住该字面常量的具体类型（例如int、float64等）作为该接口变量的动态类型。
   • 当从这个interface{}类型变量赋值给另一个变量时，Go语言会根据接口变量当前存储的动态类型来推导目标变量的类型。如果接口变量存储了多个值（例如通过类型断言返回多个值的情况），会根据具体规则进行处理，但在简单的赋值var b = a这种情况下，就是根据a的动态类型推导b的类型。