泛型函数约束必须是接口且至少含方法签名、预声明标识符（如comparable）或联合类型（如~int|~string），不可用字段或空接口interface{}；自定义约束名须大写导出，~修饰符用于匹配底层类型，约束需与函数体内实际操作严格对齐。
泛型函数约束必须是接口，不能写字段或空接口
直接用 interface{} 当约束能编译，但函数体内连 v == v 都报错：invalid operation。因为 interface{} 只是值容器，不提供任何操作保证——约束的职责是告诉编译器「T 支持哪些操作」。
真正可用的约束必须是接口类型，且至少满足以下之一：
- 带方法签名，比如
interface{ String() string } - 含预声明标识符，如
comparable、~int - 联合类型集合，如
~int | ~string（注意必须用|，不是or）
常见错误：把结构体字段当约束写，例如 interface{ Name string } —— 这语法非法，Go 接口只允许方法，不允许字段。
~int 和 int 在约束里完全不是一回事
定义 type MyInt int 后，MyInt 值传给约束为 int 的泛型函数会失败；换成 ~int 就能过。因为 ~int 表示「底层类型为 int 的所有类型」，而 int 只匹配 int 本身。
立即学习“go语言免费学习笔记（深入）”；
实际项目中，单位类型（如 type Milliseconds int）、ORM 字段别名（如 type UserID int64）都依赖 ~ 才能被泛型接纳。
混用时注意规则：
-
~int | string合法：~修饰具体类型，string是可直接出现在联合中的类型字面量 -
int | string非法：编译报错int is not a type -
~int | ~string合法但冗余：string本身不可再有别名，加~没实际意义
自定义约束名必须大写导出，否则跨包调用失败
写 type number interface{ ~float64 | ~int } 看似没问题，但如果在 utils 包里定义，其他包调用 func Calc[T number]() 会提示 cannot use number (not defined in this package)。
根本原因是 Go 的约束本质是接口类型，遵循和普通类型一样的可见性规则：首字母小写 = 包私有。
所以必须写成：
type Number interface {
~float64 | ~int
}
否则跨包就不可见，编译直接失败。
约束太宽或太窄都会让泛型函数难用
用 comparable 约束排序函数看似通用，但字符串切片和结构体切片行为完全不同，用户传进来才发现不能比较；反过来，若约束成 interface{ Len() int; Swap(i, j int) }，又把本可支持的原生切片排除了。
实操建议：
- 需要调用特定方法时，优先用最小接口（比如只要
String()就别塞一堆无关方法） - 数值运算场景，用
~int | ~float64比用any更安全，也比硬写所有数值类型更简洁 - 涉及比较时，
comparable是底线，但若需<或>，就得自己定义Ordered接口或引入constraints.Ordered
最常被忽略的是：约束不是越“松”越好，也不是越“严”越好——它得和函数体里实际用到的操作严格对齐。少一个 ~，多一个字段，漏一个方法，都会让泛型函数在某个真实调用点卡住。
