Go中泛型多约束需定义新接口整合类型集或方法集，不可用“&”或“|”拼接约束包；constraints.Ordered已涵盖整数且可比较的需求。
泛型函数里怎么同时用多个约束？
Go 不支持像 T constraints.Integer & constraints.Signed 这种“与”操作符写法。所谓“多约束”，本质是定义一个接口，把多个条件合并进去——要么是类型集合（|），要么是方法集（带方法签名），要么两者混用。
常见错误是试图拼接两个约束包名，比如 T constraints.Integer | constraints.Ordered，这会编译失败：Go 要求约束必须是单个接口类型，不能是表达式。
- 正确做法是显式定义一个新接口，把需要的类型或方法列进去
- 如果只想要“既是整数又能比较”，直接用
constraints.Ordered就够了——它本身已覆盖所有支持的基础整数和浮点类型 - 如果想额外加方法要求（比如必须有
String()），就得自己组合：interface{ constraints.Ordered; String() string }
~int | ~int64 | fmt.Stringer 这类混合约束能用吗？
能，但要注意顺序和语义。Go 允许在同一个接口里混用类型元素（~T 或裸类型）和方法元素，但类型元素必须放在前面，方法元素放后面，否则编译报错：invalid interface element: method must be declared after type elements。
例如这个约束合法：
立即学习“go语言免费学习笔记（深入）”；
type IntOrStringer interface {
~int | ~int64
fmt.Stringer
}
而反过来就会失败：
type Invalid interface {
fmt.Stringer
~int | ~int64 // ❌ 编译错误
}
-
~int表示底层类型为int的所有别名（如type MyID int），但不包括int64等其他整数类型 - 如果漏掉
~写成int | int64，那type ID int就不满足约束——它不是int本身，而是别名 - 混用时，类型部分决定“能传什么值”，方法部分决定“能调什么方法”，两者独立生效
constraints 包里的 Ordered 和 comparable 到底能不能一起用？
不能直接“一起用”，因为 constraints.Ordered 本身已经隐含了 comparable ——所有支持 的类型必然支持 <code>==。强行叠加没意义，还可能因版本差异引发兼容问题。
真正容易踩坑的是误以为 constraints.Ordered 能覆盖自定义类型：
-
constraints.Ordered只接受语言内置可比较且支持序关系的类型：int、string、float64等，不包含任何 struct（哪怕它字段全可比较） -
comparable是语言内置约束，不用 import，但它也不保证能做 map key——比如struct{ f func() }满足comparable，但含函数字段，不能当 map key - 如果你需要对自定义类型排序，别硬套
constraints.Ordered，改用func(a, b T) bool参数传比较逻辑更稳妥
为什么写了 interface{ int | string } 还是编译不过？
因为 Go 要求约束接口至少有一个方法或嵌入，否则会被视为“空接口等价物”，即退化成 any，失去类型限制能力。单纯写 interface{ int | string } 是非法语法，编译器直接报错：cannot use interface with no methods as constraint。
正确写法必须加一层包装：
type IntOrString interface {
~int | ~string
}
或者用已有约束：
type IntOrString interface {
constraints.Integer | ~string
}
-
~string是必须的——string本身是具体类型，不能直接出现在类型集合中；~表示“底层类型为 string 的所有类型” - 如果只是想限定参数为
int或string，最简方案是用联合接口：interface{ ~int | ~string }，不需要额外命名 - 注意：这种约束下，
type MyStr string可以传入，但[]byte不行，哪怕它底层也是byte切片——~只作用于基本类型，不穿透到复合类型
~ 的适用范围——它只对命名类型有效，对匿名结构体、切片、映射完全无效。 
