泛型函数报错“cannot use … as …”本质是类型不匹配，需显式指定类型参数或调整约束；comparable为==/map key硬性要求；泛型类型不可直接make，须转底层类型或封装构造函数。
any 不是万能解药，泛型写出来跑不起来，八成栽在约束没设对或类型推导失效上。
泛型函数调用时编译报错：cannot use … as … in argument to …
这是最常遇到的错误，本质是传入值的类型和泛型参数 T 实际被推导出的类型不匹配。Go 不会自动转换类型（比如 int 不等于 int64），也不会把字面量“猜”成你想要的类型。
- 常见现象：
Max(1, 2)报错，但Max[int](1, 2)没问题 —— 因为字面量1默认是int，但如果函数约束是int64 | float64，它就无法匹配 - 解决办法：显式指定类型参数，如
Max[int64](1, 2)；或确保约束包含字面量默认类型（int） - 别依赖隐式推导处理混合类型：像
Sum([]interface{}{1, 2.5})这种写法在泛型里根本无效 ——[]interface{}是具体类型，不是泛型切片
comparable 约束为什么总被提醒？
只要函数体里用了 ==、!= 或作为 map key，Go 就要求类型参数必须满足 comparable。这不是可选项，是编译器硬性检查。
-
comparable覆盖所有能比较的内置类型（int、string、指针、通道等），但不包括 slice、map、func、含这些字段的 struct - 错误写法：
func Equal[T any](a, b T) bool { return a == b }→ 编译失败，因为any允许 slice，而 slice 不可比较 - 正确写法：
func Equal[T comparable](a, b T) bool { return a == b } - 自定义 struct 要用
comparable，得确保所有字段都可比较；否则只能用反射或逐字段比对，那就没必要用泛型了
泛型类型定义后，为什么不能直接用 make？
泛型类型（如 type List[T any] []T）本身不是具体类型，它只是模板。你不能写 make(List[int], 0)，Go 会报 cannot make type List[int]。
-
make只接受具体类型：slice、map、chan —— 而List[int]是类型别名，底层虽是[]int，但语法上不被make识别 - 正确做法：转成底层类型再
make，例如var l List[int] = make([]int, 0)；或给泛型类型加构造函数：func NewList[T any]() List[T] { return make([]T, 0) } - 别试图给泛型类型加方法然后在方法里
make(this)——this是泛型类型，依然不行
什么时候该用 any，什么时候该自定义约束？
any 看似省事，但它等于放弃类型安全边界。真正需要泛型的场景，几乎都该用更窄的约束。
立即学习“go语言免费学习笔记（深入）”；
- 用
any的合理场景：纯容器转发（如日志打印、JSON 序列化中间层），不涉及运算、比较、结构访问 - 用联合类型约束（如
int | int64 | float64）：做数值计算、排序、聚合 - 用接口约束（如
interface{ String() string }）：要求行为而非具体类型，适合格式化、序列化逻辑 - 过度宽泛的约束（如
any）会让 IDE 无法提示方法、编译器无法捕获误用，最终退化成 interface{} + 断言的老路
