泛型类型约束必须是显式定义的接口类型，用于向编译器承诺操作合法性；any/interface{}不提供任何能力，comparable、~int、方法签名等才是有效约束；多参数需各自声明约束；跨包使用须首字母大写导出。
func 的类型约束不是“加”上去的附加项，而是定义时就必须明确写出的接口类型。不写约束，编译器就无法验证操作是否合法——比如 +、==、String() 这些行为，必须由约束提前承诺。
类型约束必须是接口类型，不能是 interface{} 或 any
很多人一上来写 func F[T any](v T) { v == v }，编译直接报错：invalid operation: v == v (operator == not defined on T)。因为 any（即 interface{}）不保证任何操作能力，它只是个空容器。
真正能用的约束必须让编译器知道「T 能干什么」：
- 带方法签名：如
interface{ String() string }，表示T必须有该方法 - 含预声明标识符：如
comparable（支持==/!=），或~int（匹配底层为int的所有类型） - 联合类型集合：如
~int | ~string，注意必须用|，不能写or或||
~ 修饰符决定能否接受自定义类型别名
假设你定义了 type MyInt int，然后想把它传给泛型函数 Sum[T int](s []T)，会失败。因为 int 只匹配 int 本身，不认别名。
必须用 ~int 才行：
立即学习“go语言免费学习笔记（深入）”；
type Number interface {
~int | ~int64 | ~float64
}
func Sum[T Number](s []T) T { ... }
这样 MyInt、type Count int64、type Price float64 全都能过。但注意：~int | string 合法，int | string 编译报错 —— int 不是接口类型，不能单独出现在联合中。
使用 uber-go/dig 在 Golang 中实现依赖注入——基于反射容器，提供 Provide/Invoke、dig.In/dig.Out 参数与结果对象，支持命名依赖等
多个类型参数必须各自声明约束
不能偷懒写成 func Pair[T, U comparable]，Go 不允许把两个参数塞进同一个约束里。
正确写法是显式为每个参数指定约束：
func Pair[T comparable, U comparable](a T, b U) (T, U) { return a, b }
func Map[K comparable, V any](m map[K]V, f func(V) V) map[K]V { ... }
即使两个约束内容完全一样，也得重复写。这是语法硬性要求，不是风格问题。
跨包使用时约束名必须首字母大写
在 utils 包里定义 type number interface{ ~int }，其他包调用 utils.Calc[T number]() 会提示 cannot use number (not defined in this package)。
因为 Go 的约束本质是接口类型，遵循和普通类型一样的可见性规则：number 小写 = 包私有；必须写成 Number 才能导出。
工程中泛型工具函数基本都要复用，建议统一导出，别指望用注释或下划线绕过去——编译器不认。
容易被忽略的一点：约束里嵌入的方法，必须在函数体内被真实调用。如果只写了io.Reader 却没调 Read()，编译器可能优化掉类型链，导致下游传入具体实现（如 bytes.Reader）时失败。 
