泛型需与接口协同而非替代，约束中嵌入接口须确保方法被实际调用，否则类型信息丢失；comparable仅支持==/!=，不提供排序或map键的完整语义。
泛型不是接口的替代品，而是和接口协同工作的机制；用错关系会导致函数无法调用、类型擦除、或运行时 panic。
泛型约束里嵌入接口是常见但易错的做法
泛型约束必须是接口类型，但它不等于“随便写个 interface{} 就行”。你常看到 func Do[T io.Reader](r T) 这类写法，本质是把接口当约束用——这可行，但要注意：接口方法必须在泛型函数体内被实际调用，否则编译器可能优化掉类型信息，导致下游无法传入具体实现。
- 正确示例：
func ReadAll[T io.Reader](r T) ([]byte, error) { return io.ReadAll(r) }→r确实被传给io.ReadAll，类型链完整 - 错误示例：
func LogReader[T io.Reader](r T) { fmt.Printf("got reader: %v", r) }→r只被当interface{}打印，编译器会警告“T is unused”，且调用时可能因类型推导失败而报错 - 如果想只约束“能读”，又不想强制调用
Read()，应改用更轻量的约束，比如自定义空接口type ReaderLike interface{ ~io.Reader }（不推荐）或直接用any+ 运行时检查
comparable 约束不能代替接口方法比较
comparable 只保证 == 和 != 可用，但它不提供 Less()、Compare() 或排序语义。很多开发者误以为加了 comparable 就能塞进 sort.Slice 或做 map key，结果 runtime panic 或编译失败。
Golang Uber Dig
下载
使用 uber-go/dig 在 Golang 中实现依赖注入——基于反射容器，提供 Provide/Invoke、dig.In/dig.Out 参数与结果对象，支持命名依赖等
-
map[T]V要求T满足comparable，但结构体字段含 slice/map/func 仍非法，即使带comparable约束也无法通过编译 sort.Slice(data, func(i, j int) bool { return data[i] 中的 <code> 不受 <code>comparable支持，必须用constraints.Ordered或自定义含Less()方法的接口- 若类型实现了
Compare(other T) int，约束应写为interface{ Compare(T) int }，而非依赖comparable
接口方法集 + 泛型类型参数可解耦算法与数据结构
标准库 sort.Sort 是典型范式：它不关心你传的是 []int 还是自定义树节点切片，只认 sort.Interface。泛型让这个模式更安全——你可以把接口作为约束的一部分，再用类型参数承载具体数据容器。
立即学习“go语言免费学习笔记（深入）”；
- 例如实现通用二分查找：
func BinarySearch[T constraints.Ordered, C interface{ Len() int; Less(i, j int) bool; At(i int) T }](c C, target T) int - 这里
T是元素类型，C是容器类型约束，要求它有Len/Less/At方法 —— 既复用接口语义，又保留泛型的编译期类型检查 - 调用时传入
MyList[int]或SortedSlice[string]都行，只要它们实现了对应方法集；不用反射，也不用interface{}+ 类型断言
最常被忽略的一点：泛型函数签名里的每个类型参数，都必须在函数体中至少被使用一次（作为参数、返回值或方法调用目标），否则 Go 编译器会拒绝推导，哪怕你写了看似合理的约束。这不是 bug，是设计使然——类型参数必须“有存在感”。
