泛型约束必须精准匹配操作需求：comparable不保证可哈希，~int支持底层类型而int不支持，constraints非标准库需谨慎使用，any无法支持运算或方法调用。
泛型约束不是“选不选”的问题，是“写不写对”的问题——不写约束编译直接报错，写错约束函数根本调用不了。
comparable 为什么不能当 map key 用
comparable 约束只保证类型支持 == 和 !=，但 map key 还要满足可哈希（hashable）：含切片、映射、函数或不可比较字段的 struct 即使满足 comparable，也不能做 key。
- 错误示例：
map[struct{f []int}]string编译通过，但运行时报 panic:invalid map key - 正确做法：检查结构体字段是否全可比较，避免嵌套 slice/map/func
- 调试技巧：用
reflect.TypeOf(t).Comparable()可在运行时验证，但泛型约束阶段无法捕获
~int 和 int 在约束里差得不是一点半点
写 int 只认 int 本体；写 ~int 才认所有底层是 int 的类型，比如 type Millis int、type Code uint8。
-
func F[T int](x T)→F(Millis(100))报错：Millis does not satisfy int -
func F[T ~int](x T)→F(Millis(100))正常通过 -
~只能用于基本类型：~int、~string、~bool合法；~[]int或~struct{}是语法错误
constraints 包得手动装，而且别当标准库用
golang.org/x/exp/constraints 不在标准库，API 可能变，生产环境别强依赖它的名字（比如 constraints.Ordered）。
- 安装命令必须是：
go get golang.org/x/exp/constraints（不是go install） - 检查
go.mod是否新增了类似golang.org/x/exp v0.0.0-20260510123456的行，没有说明没生效 - 替代方案：自己定义更可控，比如
type Number interface{ ~int | ~int64 | ~float64 }
interface{} 不能当约束，any 也不行
interface{} 和 any 是空接口，不提供任何操作能力。写 [T any] 看似省事，实际等于放弃类型安全。
- 想用
+？[T any]下a + b直接报错：invalid operation: a + b (mismatched types) - 想调用
.String()？得约束为[T fmt.Stringer] - 想比较？必须写
[T comparable]，any不行
最常被忽略的一点：约束不是越宽越好，也不是越窄越安全——它得和你要做的操作严丝合缝。写 comparable 却想排序，或写 ~int 却传入 []byte，都会在调用处暴露问题，而不是定义处。
golang免费学习笔记（深入）：立即使用
在学习笔记中，你将探索golang的核心概念和高级技巧！
