Go泛型变量声明必须显式提供类型实参，如var x List[int]，不可省略；类型推导仅适用于函数调用和短变量声明（:=）的右值已为实例化泛型类型时。
Go泛型变量声明必须带类型参数
Go语言不支持像Java或C#那样省略类型参数的泛型变量声明。你不能写 var x List，必须显式传入类型实参，比如 var x List[int]。这是编译器强制要求的，否则会报错 missing type arguments。
- 泛型类型（如
type Stack[T any]）本身不是具体类型，只是类型模板 - 声明变量时必须实例化：用方括号提供具体类型，如
Stack[string] - 类型推导只适用于函数调用（
Push(s, "hello")），不适用于变量声明 - 如果类型名太长，可用
type定义别名简化，例如type IntStack = Stack[int]
用 := 声明泛型变量时类型由右值决定
使用短变量声明 := 时，Go会根据初始化表达式的类型自动推导泛型实参。但前提是右值本身已明确是泛型类型的实例。
- ✅ 正确：
s := NewStack[int]()→ 推导出s是Stack[int] - ✅ 正确：
m := map[string][]int{"a": {1, 2}}→ 普通泛型容器无问题 - ❌ 错误：
v := Stack{}→ 编译失败，Stack缺少类型参数 - ⚠️ 注意：
NewStack()若没显式传参且函数没约束默认类型，也会报cannot infer T
泛型结构体字段声明要小心嵌套类型
当泛型类型作为结构体字段时，字段类型必须完整写出泛型实参，不能依赖外部类型参数“透传”。
- 错误写法：
type Wrapper struct { data Stack }→ 缺少[T] - 正确写法：
type Wrapper[T any] struct { data Stack[T] } - 如果想让
Wrapper自身也泛型，必须把类型参数显式声明并传递下去 - 字段类型若用接口（如
Container[T]），则实现该接口的具体类型仍需带实参，比如*Stack[int]
常见错误：把泛型类型名当普通类型用
最典型的错误是把定义好的泛型类型名（如 type Map[K comparable, V any] map[K]V）当成 map 那样直接使用，忘了它需要两个类型实参。
立即学习“go语言免费学习笔记（深入）”；
- ❌
var m Map→ 报错Map is not a type - ✅
var m Map[string, int]→ 合法 - ✅
m := make(Map[string, int])→ 合法（前提是Map底层是map） - ⚠️ 如果底层是自定义结构体，
make不适用，得用构造函数，如NewMap[string, int]()
