Go语言的类型推断主要应用于变量声明和泛型调用场景。使用 := 时，编译器根据右侧值自动确定变量类型，如 name := "hello" 推断为 string；var 声明初始化时也可省略类型，如 var count = 100 推断为 int；函数返回值需显式声明类型，但接收时可用 := 推断变量类型；Go 1.18+ 支持泛型类型推断，如 Print([]int{1,2,3}) 可推断 T 为 int。整体机制保守，注重安全与简洁。
Go语言中的类型推断主要发生在变量声明和函数返回值的场景中，编译器可以根据赋值内容自动确定变量或返回值的类型，无需显式写出类型。
变量声明中的类型推断
使用 := 短变量声明时，Go会根据右侧表达式的类型自动推断变量类型。
例如：
name := "hello" // string 类型
age := 25 // int 类型
pi := 3.14 // float64 类型
isActive := true // bool 类型
这种写法常见于局部变量定义，简洁且安全。注意，:= 只能在函数内部使用。
var 声明结合初始化
即使使用 var 关键字，如果同时进行初始化，也可以省略类型。
立即学习“go语言免费学习笔记（深入）”；
例如：
var count = 100 // 推断为 int
var msg = "world" // 推断为 string
此时类型由初始值决定，等价于显式写上类型，但代码更简洁。
函数返回值的类型推断
函数定义中，如果 return 的表达式类型明确，可以用于推断返回类型，但仅限于命名返回值的情况。
实际上，Go 不支持像其他语言那样完全通过 return 值反推函数返回类型。你必须在函数签名中明确写出返回类型。
但是，在使用短变量声明接收返回值时，可以推断出变量类型：result := someFunction() // result 的类型由 someFunction 返回值决定
泛型中的类型推断（Go 1.18+）
从 Go 1.18 开始引入泛型，调用泛型函数时，编译器可以在某些情况下自动推断类型参数。
例如：
func Print[T any](s []T) {
for _, v := range s {
fmt.Println(v)
}
}
Print([]int{1, 2, 3}) // 编译器推断 T 为 int
虽然仍可显式指定：Print[int]([]int{1,2,3})，但在多数情况下可省略。
基本上就这些。Go 的类型推断机制相对保守，强调清晰和安全性，不会在复杂表达式中做深层推导，但足以提升编码效率。
