Go泛型实例化是编译期单态化过程，按调用点具体类型生成独立函数副本，不产生运行时开销；未调用的泛型代码不会出现在二进制中，且实例化发生在调用方编译阶段而非模块导入时。
Go 模块中泛型实例化不是运行时行为，而是编译期按需生成具体函数/类型的“单态化”（monomorphization）过程，不依赖反射、不产生额外运行时开销。
泛型实例化发生在编译阶段，而非链接或运行时
当你写 func Map[T, U any](s []T, f func(T) U) []U，它本身不生成任何机器码；只有在调用点如 Map[int, string](ints, strconv.Itoa) 或通过类型推导触发 Map(ints, strconv.Itoa) 时，编译器才为这一组具体类型 int 和 string 生成一份独立的、类型特化的函数副本。
- 每个唯一类型组合（如
[int, string]、[float64, bool]）都会生成一个专属函数，地址互不相同 - 未被调用的泛型函数或未被实例化的类型参数组合，完全不会出现在最终二进制中
- 模块内跨文件调用不影响实例化时机——只要调用发生，实例化就在当前包编译单元完成
any 和联合类型约束对实例化的影响截然不同
使用 [T any] 表示接受任意类型，但实际仍会为每个具体类型单独实例化；而用联合类型约束如 [T interface{ int | float64 }]，则只允许这两类实例化，且编译器可能复用底层逻辑（例如数值加法），但 Go 当前实现仍按类型对生成独立副本。
-
[T any]：安全但可能膨胀——PrintSlice[int]、PrintSlice[string]、PrintSlice[struct{X int}]全部各自生成 -
[T constraints.Ordered]或自定义接口约束：缩小合法类型范围，减少潜在实例数量，也便于编译器做更激进优化 - 错误写法：
[T interface{ ~int | ~string }]中的近似类型（approximate elements）若混用底层类型（如type MyInt int），可能因未显式实现约束接口而编译失败
模块导入与泛型实例化无隐式传播
泛型代码被其他模块 import 时，**不会自动触发实例化**。下游模块必须显式调用或推导出具体类型，才会在它自己的编译过程中生成对应实例。
立即学习“go语言免费学习笔记（深入）”；
- 标准库的
sort.Slice[T any]在你没调用前，不会为你项目生成任何排序逻辑 - 如果你的模块导出了泛型函数
Filter[T any]，使用者调用Filter[User](...)，实例化发生在使用者的编译阶段，不在你的模块构建时 - 因此，泛型模块发布无需预编译所有可能类型——源码分发即可，零额外体积
真正容易被忽略的是：泛型实例化深度嵌套时（比如泛型函数里调用另一个泛型函数），每层都按实参独立展开，可能导致二进制体积悄然增长；而一旦涉及接口方法集或指针接收者，类型参数的可比较性（comparable）和方法绑定规则会立刻介入，稍有不慎就卡在编译错误上。
