comparable仅支持==、!=和map键，不支持算术或有序比较；需用ordered约束实现>等操作；~int仅匹配底层为int的类型，非所有整数；any放弃类型信息，comparable保障可比较性；comparable与~int不可并列，struct含不可比字段即失comparable资格。
comparable 类型约束只能用于比较操作，不能直接做算术
Go 1.21+ 的 comparable 是为支持泛型中安全的 ==、!= 判断设计的，它不承诺支持 +、-、 等运算。比如你写 func max[T comparable](a, b T) T，传入 int 没问题，但一旦在函数里写 a > b 就会编译失败——因为 comparable 不包含有序比较能力。
常见错误是误以为 comparable 能替代 constraints.Ordered（已废弃）或自定义有序接口。实际该用 constraints.Ordered 的地方，现在应改用 Go 1.21+ 内置的 ordered 预声明约束（注意拼写是 ordered，不是 Ordered）：
func max[T ordered](a, b T) T {
if a > b {
return a
}
return b
}这个 ordered 约束才真正覆盖 int、float64、string 等支持 、> 的类型。
~int 是近似类型约束，不是“所有整数类型”的简写
~int 表示“底层类型为 int 的任意命名类型”，比如：
-
type MyInt int→ 符合~int -
type MyInt2 int64→ 不符合，底层是int64，不是int -
int本身 → 符合
它不匹配 int8、int16、uint 等其他整数类型。想覆盖常见整数，得显式并列：
type Integer interface {
~int | ~int8 | ~int16 | ~int32 | ~int64 |
~uint | ~uint8 | ~uint16 | ~uint32 | ~uint64 | ~uintptr
}注意：~int 和 any 完全不同：any 是 interface{} 的别名，放弃所有类型信息；~int 则保留底层类型语义，能参与算术且编译期检查严格。
any 和 comparable 在参数位置的行为差异极大
把 any 当类型参数约束几乎没意义——它等价于不加约束，泛型失去价值。例如：
func bad[T any](x T) { /* x 是完全未知类型 */ }里面连 fmt.Println(x) 都可能失败（如果 T 是未导出字段的结构体），更别说调用方法或取地址。
而 comparable 至少保证你能安全地做 == 和 map[T]V 的键类型：
-
func find[T comparable](s []T, v T) int→ 可以用==查找 -
func keysToMap[T comparable, V any](s []T, v V) map[T]V→ 可以用T做 map 键
但只要涉及 len()、cap()、range、方法调用，就必须更具体的约束（如 ~[]E、interface{ Len() int }）。
混合约束时，~int 和 comparable 不能直接并列
下面这种写法是错的：
type BadConstraint interface {
~int | comparable // 编译错误：comparable 不是具体类型，不能和 ~int 并列
}原因：comparable 是一个“类型集合约束”，而 ~int 是“近似类型约束”，二者语义层级不同，Go 不允许混用在同一个 interface 中作为并列选项。
正确做法是分层：先用 interface 定义基础约束，再在其基础上扩展。例如要同时支持可比较 + 整数运算：
type IntLike interface {
comparable
~int | ~int8 | ~int16 | ~int32 | ~int64 |
~uint | ~uint8 | ~uint16 | ~uint32 | ~uint64 | ~uintptr
}注意顺序：必须把 comparable 放在前面，否则编译器可能无法推导出该类型支持 ==（尽管目前多数情况能推，但属于未定义行为）。
真正容易被忽略的是：comparable 对 struct 的限制很严——只要 struct 里有任何字段类型不可比较（如 func()、[]int、map[string]int），整个 struct 就自动失去 comparable 资格，哪怕你只想要它做 map 键也不行。
