多个类型参数必须各自独立声明约束，不能共用一个接口；~操作符需对每个基础类型单独使用，不可用于联合类型；多参数泛型调用时类型推断常失败，应显式实例化。
多个类型参数必须各自声明约束，不能共用一个接口
Go 泛型不支持像 func F[T, U interface{int|float64}] 这样把两个类型参数塞进同一个约束里。每个类型参数都得有自己独立的约束声明，哪怕约束内容完全一样。
常见错误是试图复用约束变量或省略第二个约束：
- ❌
func Pair[T, U comparable](a T, b U) (T, U)—— 编译失败，U没有约束 - ✅
func Pair[T comparable, U comparable](a T, b U) (T, U)—— 显式为每个参数指定约束 - ✅
func Map[K comparable, V any](m map[K]V, f func(V) V) map[K]V—— 两个参数用不同约束更合理
~操作符只对单个类型起作用，不能用于联合类型
当你想让约束同时接受 int 和它的别名（比如 type MyInt int），必须对每个基础类型单独加 ~，不能写成 ~(int|uint) 或 ~int|~uint —— 后者语法合法但语义不对：它表示“可赋值给 int 的类型”或“可赋值给 uint 的类型”，不是你想要的“int 及其别名”或“uint 及其别名”。
正确写法：
立即学习“go语言免费学习笔记（深入）”；
- ✅
type Ordered interface{ ~int | ~int64 | ~string } - ❌
type Bad interface{ ~(int|int64) }（语法错误） - ⚠️
type AlsoBad interface{ ~int | int64 }—— 这会让int64本身满足约束，但它的别名（如type MyInt64 int64）不满足
多约束函数调用时类型推断常失效，显式实例化更可靠
Go 编译器对多类型参数的类型推断能力较弱，尤其当某个参数是泛型函数（如 Sum[T Numeric]）时，几乎必然失败。
典型报错：cannot use generic function Sum without instantiation
解决方式不是改函数签名，而是调用时显式补全类型实参：
- ❌
PrintIDAndSum("user-1", Sum, 1, 2, 3) - ✅
PrintIDAndSum("user-1", Sum[int], 1, 2, 3) - ✅
PrintIDAndSum("user-1", Sum[float64], 1.5, 2.5)
注意：即使 Sum 本身只有一个类型参数，只要它作为参数传给另一个多参数泛型函数，就必须显式实例化。
嵌套泛型类型参数容易漏掉约束链
当泛型类型（如 type List[T any]）被用作另一个泛型函数的参数时，它的类型参数不会自动继承外层约束。你得手动把约束“传递下去”。
例如，想写一个只接受「元素可比较」的列表的函数：
- ❌
func Len[T comparable](l List[T]) int—— 错！List[T]里的T是List自己的参数，和外层T无关 - ✅
func Len[T comparable](l List[T]) int—— 对，但前提是List定义时也用了T，且调用方传入的是List[string]这类已实例化的类型 - ✅ 更安全写法：
func Len[T comparable](l []T) int—— 直接用切片，避免嵌套泛型带来的约束脱节
真正麻烦的是泛型类型嵌套泛型类型，比如 Map[K comparable, V List[T]] —— 此时 T 必须在 Map 的类型参数列表中再次声明，并赋予约束，否则无法保证 V 内部元素类型安全。
