泛型函数必须带约束，如 t comparable 才支持 ==；any 不提供任何操作能力；类型推导失败需显式标注类型参数，结构体含切片/映射/函数则不可比较。
comparable 是泛型函数能用 == 的最低门槛，但不是万能钥匙；any 不等于“随便传”，它不提供任何操作能力；类型推导失败时硬扛只会卡在编译错误里——显式写上 [T int] 或 [K string, V any] 才是最快解法。
泛型函数必须带约束，否则连 == 都用不了
写 func Equal[T any](a, b T) bool { return a == b } 会直接报错：invalid operation: cannot compare a == b (operator == not defined for T)。因为 any 只表示“任意类型”，不承诺支持比较、len()、方法调用等任何行为。
-
T comparable：仅保证能用==和!=，适用于去重、查找、map key 等场景 -
T ~int | ~string：明确限定底层类型，兼容type UserID int这类别名 -
T interface{ String() string }：要求实现某方法，适合fmt.Print类泛化输出 - 数值运算别硬套
comparable，用type Number interface{ ~int | ~float64 }更稳
结构体字段含 []T、map[K]V 或 func() 就不满足 comparable
哪怕所有字段本身都可比较，只要结构体里嵌了切片、映射或函数，整个类型就不可比较——Go 规定如此。这时候 func Dedupe[T comparable](s []T) 对这种结构体直接失效。
- 检查方式：尝试
var a, b MyStruct; _ = a == b，编译失败即说明不可比较 - 替代方案：用
json.Marshal生成哈希键，或手写func (x MyStruct) Key() string - 别试图用
reflect.DeepEqual塞进泛型函数——破坏类型安全，还慢
类型推导失败的三种高频场景和应对
Go 编译器只在所有实参类型完全一致时才自动推导泛型参数，稍有偏差就放弃。
-
Max(1, 3.14)：1是int，3.14是float64，无共同T→ 改成Max[float64](1.0, 3.14) -
F(nil)：nil 没类型信息 → 显式写F[*User](nil)或F[[]byte](nil) -
make([]T, 0)在泛型函数内部：若T未从参数反推出来，就会报错 → 把T作为函数参数传入，或直接用make([]U, 0)（U由调用方指定）
泛型结构体的方法签名必须重复声明类型参数
写 type Stack[T any] struct{ ... } 后，所有方法接收者都得带上 [T]，哪怕看起来冗余：
func (s *Stack[T]) Push(item T) { ... }
func (s *Stack[T]) Pop() (T, bool) { ... }
漏掉 [T] 会被当成普通非泛型方法，无法访问 T，也拿不到正确零值。更关键的是：Pop() 必须返回 (T, bool) 而非只靠 T 的零值判断是否成功——因为 T 是 struct{} 或 *int 时，零值本身可能合法。
golang免费学习笔记（深入）：立即使用
在学习笔记中，你将探索golang的核心概念和高级技巧！
