go泛型核心是类型安全与编译期约束，常见错误包括误用any、忽略底层类型匹配（需用~int等）、nil推导失败及方法接收器遗漏类型参数。
Go 泛型不是“写个 [T any] 就完事”，它核心是类型安全 + 编译期约束。用错约束、忽略底层类型匹配、传 nil 不显式指定，三者占泛型报错的 80% 以上。
泛型函数必须带约束，any 不等于“随便传”
很多人写 func Do[T any](x T) 后发现 x == y 报错，或想对 T 做 len() 却失败——因为 any 只表示“任何类型”，不提供任何操作能力。编译器不会帮你自动推导支持什么操作。
常见错误场景：
- 想比较两个值：必须用
[T comparable]，否则a == b直接编译失败 - 想调用
len(x)或遍历：any不行，comparable也不行，得用具体类型（如[]T）或自定义约束（如type Sliceable interface{ ~[]int | ~[]string }） - 想调用方法：约束必须包含该方法签名，比如
type Reader interface{ Read([]byte) (int, error) }
正确做法是按需收紧约束：需要比较就用 comparable；需要排序就用 constraints.Ordered（需导入 golang.org/x/exp/constraints）；需要数值运算？别硬套泛型，用 type Number interface{ ~int | ~float64 } 更稳。
~int 和 int 在约束里完全不是一回事
如果你定义了 type Millis int，然后写 func F[T int](x T)，那 F(Millis(100)) 会报错：类型不匹配。因为 int 只匹配 int 本身，不认别名。
而 ~int 表示“底层类型为 int 的所有类型”，包括 Millis、Seconds 这类自定义别名。实际项目中，单位类型、状态码枚举几乎都靠别名实现，不用 ~ 就等于主动放弃兼容性。
注意限制：
-
~只能用于基本类型：~int、~string、~bool等合法；~struct{}或~map[string]int是语法错误 - 数组、切片、map 等复合类型不能加
~，只能用具体类型或接口约束 - 结构体字段不能出现在约束 interface 中（如
interface{ Name string }是非法的）
泛型调用时类型推导经常失效，别依赖它
Go 编译器只在参数类型完全一致时才自动推导泛型类型。以下情况都会失败：
-
Max(1, 3.14)：1是int，3.14是float64，没有共同的T -
F(nil)：nil没有类型信息，必须写成F[*int](nil)或F[User](nil) - 字面量未显式类型化：比如
make([]T, 0)中的T无法从上下文推出，得靠函数参数反推，但若参数也是泛型且无实参，就卡住
解决办法很直接：遇到推导失败，立刻显式写出类型参数。例如 Max[int](1, 2)、Stack[string]{}、newMap[int, string]()。别怕多打几个字符，这是编译器要的明确信号。
泛型结构体的方法签名必须带类型参数
写 type Stack[T any] struct{ data []T } 很容易，但一加方法就翻车：
❌ 错误写法：func (s *Stack) Push(x T) —— 这里 T 没声明，编译报错 undefined: T
✅ 正确写法：func (s *Stack[T]) Push(x T) —— 方法接收器必须带上 [T]，让 T 在方法作用域内可见
同理，如果结构体用了约束：type Cache[K comparable, V any] struct{ m map[K]V }，那所有方法都得写成 func (c *Cache[K, V]) Set(k K, v V)。漏掉任何一个类型参数，就是编译错误。
这点容易被忽略，尤其从非泛型代码迁移过来时——结构体泛型化了，方法却忘了同步改，结果编译不过还找不到原因。
golang免费学习笔记（深入）：立即使用
在学习笔记中，你将探索golang的核心概念和高级技巧！
