comparable是Go中用于泛型约束的关键字，仅表示类型支持==和!=操作，不涉及排序或哈希；它禁止含map、slice、func、chan等不可比较字段的类型，并严格要求map键和泛型比较参数满足该约束。
comparable 不是接口，不能实现，也不能当变量类型用；它只在泛型约束里出现，作用就是告诉编译器：“这个类型必须能用 ==”。
为什么加 comparable 约束后还报错 invalid operation: cannot compare
常见错误是写了 func Contains[T any](s []T, v T) bool，调用时传 []map[string]int 或 []func() —— 这些类型根本不能用 ==，但 any 约束不拦着，直到比较那行才爆错。
-
comparable是编译期强制检查：只要类型含map、slice、func、chan（或字段含这些），就直接拒绝实例化 - 结构体是否满足
comparable，看所有字段：哪怕只有一个map[string]int字段，整个 struct 就掉出集合 - 别用
any代替comparable—— 它放行一切，但运行到v == s[i]时 panic 或编译失败
comparable 和 map key 的关系到底是什么
Go 原生 map[K]V 要求 K 必须满足 comparable，这不是建议，是硬性规范。底层靠编译器生成逐字节比较和哈希，没法支持自定义逻辑。
Golang Uber Dig
下载
使用 uber-go/dig 在 Golang 中实现依赖注入——基于反射容器，提供 Provide/Invoke、dig.In/dig.Out 参数与结果对象，支持命名依赖等
- 你不能写
map[struct{a []int}]string：因为[]int不可比较，整个 struct 就不能当 key - 想用语义等价的 struct 当 key？得投影成可比较标量，比如加
HashKey() string方法，再用map[string]V -
comparable约束本身不保证 map 安全——它只管“能比”，不管“比得对不对”。业务上逻辑相等 ≠ 内存布局相等
什么时候该用 ~int 而不是 int 做约束
如果你的泛型函数要支持用户自定义类型别名（比如 type UserID int），就必须用 ~int，否则 UserID 无法传入。
立即学习“go语言免费学习笔记（深入）”；
-
int只匹配内置int类型，不接受任何别名 -
~int表示“底层类型为 int 的所有类型”，包括type MyInt int、type Port uint16（对应~uint16） - 数组、切片、map 等复合类型不支持
~语法，只能用具体类型或方法约束（如comparable） - 别在约束里写字段，比如
interface{ Name string }是非法的 —— Go 接口只允许方法签名
真正容易被忽略的是：comparable 约束不等于“能排序”或“能做哈希”，它只管 == 和 !=；而 map key 和泛型比较函数只是共享了同一套底层可比性规则。一旦涉及语义等价、指针解引用比较、或字段级忽略，就得主动跳出 comparable 范式，改用 reflect.DeepEqual 或显式比较函数。
