类型推导

在声明一个变量而不指定其类型时（即使用不带类型的 := 语法或 var = 表达式语法），变量的类型由右值推导得出。

当右值声明了类型时，新变量的类型与其相同： 

  1. var i int
  2. j := i // j 也是一个 int

不过当右边包含未指明类型的数值常量时，新变量的类型就可能是 int, float64 或 complex128 了，这取决于常量的精度： 

  1. i := 42           // int
  2. f := 3.142        // float64
  3. g := 0.867 + 0.5i // complex128

尝试修改示例代码中 v 的初始值，并观察它是如何影响类型的。

type-inference.go

  1. package main
  3. import "fmt"
  5. func main() {
  6.     v := 42 // 修改这里！
  7.     fmt.Printf("v is of type %T\n", v)
  8. }