Go泛型函数必须显式声明类型参数并用约束限定范围，编译期推导类型但不支持运行时泛型信息，嵌套泛型和过宽约束易出错，核心是精准表达类型共有行为。
泛型函数定义时必须显式声明类型参数
Go 的泛型不是自动推导的魔法，所有类型参数必须在函数名后用方括号 [] 显式声明，并通过约束（constraint）限定可接受的类型范围。漏写约束或写错约束会导致编译失败，比如 any 虽然合法但几乎无法调用方法，实际中应优先使用接口约束。
- 正确写法：
func Max[T constraints.Ordered](a, b T) T—— 使用标准库constraints.Ordered约束支持比较的类型 - 错误写法：
func Max[T any](a, b T) T——T无法调用，编译报错 <code>invalid operation: cannot compare a - 自定义约束需是接口：例如
type Number interface { ~int | ~float64 }，其中~表示底层类型匹配，不能省略
类型推导在多数调用场景下能自动工作
只要实参类型明确且满足约束，Go 编译器会自动推导 T，无需手动指定。但一旦推导失败（如参数类型不一致、或含未命名类型），就必须显式传入类型参数。
- 能推导：
Max(3, 5)→ 推出T = int；Max(3.14, 2.71)→ 推出T = float64 - 不能推导：
Max(int32(1), int64(2))—— 两个参数类型不同，编译失败；需写成Max[int64](1, 2)或统一转为同一类型 - 匿名结构体无法参与推导：若函数参数是泛型切片
[]T，而你传入字面量[]struct{X int}{{1}, {2}}，编译器无法绑定T，得改用具名类型或显式标注
泛型函数不能直接用于反射或运行时类型判断
Go 泛型是编译期特化，生成的代码里没有运行时泛型信息。这意味着 reflect.TypeOf(fn) 不会暴露 T，也无法用 interface{} 包装后反向还原泛型类型。
Golang Uber Dig
下载
使用 uber-go/dig 在 Golang 中实现依赖注入——基于反射容器，提供 Provide/Invoke、dig.In/dig.Out 参数与结果对象，支持命名依赖等
- 以下写法无效：
var f interface{} = Max，然后试图从f提取类型参数 ——f只是一个普通函数值，泛型信息已擦除 - 需要运行时多态？别硬套泛型，改用接口 + 类型断言，或者用
any+reflect（但性能差、易出错） - 泛型和反射混用常见坑：对
reflect.Value调用Convert()时，目标类型必须是具体类型，不能是泛型参数T—— 因为T在运行时不存在
嵌套泛型和类型参数组合容易触发编译器限制
Go 当前（1.22）对多层泛型嵌套、高阶类型参数（如 F[T any] 作为参数）、或联合约束（interface{A|B}）支持有限，某些组合会触发 “cannot use generic type without instantiation” 或 “invalid use of ‘~’” 错误。
立即学习“go语言免费学习笔记（深入）”；
- 安全做法：单层泛型优先；若需多个类型参数，确保它们彼此独立或有明确依赖关系，例如
func Map[T, U any](s []T, f func(T) U) []U - 避免把约束写成过宽的并集：
interface{~int|~string|~float64}看似灵活，但一旦函数体内尝试调用len()或+就会失败 —— 因为不是所有类型都支持这些操作 - 如果遇到 “cannot infer T” 且参数看似合理，先检查是否用了未导出字段的结构体（反射不可见）或是否在方法集上隐含了不兼容的方法签名
