go 1.18 +泛型通过类型参数和接口约束实现编译期类型安全复用，强调简洁性与接口哲学一致；类型参数用[t]声明并支持自动推导，约束必须是可实例化的接口，常用constraints包提供ordered等预定义约束。
Go 1.18 + 引入泛型，核心是通过类型参数（type parameters）和约束（constraints）实现编译期类型安全的复用。它不追求“全功能泛型”，而是强调简洁、可推导、与 Go 的接口哲学一致——重点在约束的表达力与实际可用性。
类型参数：函数与类型的泛化入口
在函数或类型声明中用方括号 [] 声明类型参数，紧随标识符之后。例如：
func Max[T int | int64 | float64](a, b T) T { return … }
这里 T 是类型参数，int | int64 | float64 是其约束（联合类型）。调用时，编译器根据实参自动推导 T（如 Max(3, 5) 推出 T = int），无需显式写 Max[int]（除非需要强制指定）。
立即学习“go语言免费学习笔记（深入）”；
定义泛型类型也类似：
type Stack[T any] []T
func (s *Stack[T]) Push(v T) { *s = append(*s, v) }
约束：用 interface 定义类型能力边界
Go 泛型的约束必须是接口类型（interface），但不是任意接口——它需满足“可实例化”（instantiable）规则：不能包含方法（除预声明的 ~T 形式外），也不能有未导出方法。本质是描述一组类型共有的底层类型或操作集合。
- 基础约束可直接用联合类型：interface{ int | int64 | string }
- 复用约束应定义为命名接口：type Number interface{ ~int | ~int64 | ~float64 }（~T 表示所有底层类型为 T 的类型，如 type MyInt int 也满足 ~int）
- 标准库提供常用约束：如 constraints.Ordered（支持 等比较）、constraints.Integer、constraints.Float，位于 golang.org/x/exp/constraints（实验包，部分已迁入 constraints 模块）
常见误区与实用技巧
泛型不是万能胶，用错反而增加复杂度：
- 不要为单类型写泛型函数：如只处理 int 就别套 [T int]，徒增语法噪音
- 避免过度约束：若函数只做赋值或 len()，用 any 或 comparable 足够；加了 Ordered 却没用比较操作，属于设计冗余
- 接口约束中慎用方法：若必须要求方法，确保该方法对所有实现类型都合理且无副作用；更推荐组合已有约束 + 方法签名，而非在约束里定义新方法
- 嵌套泛型要控制深度：如 Map[K comparable, V any] map[K]V 清晰，但 Tree[N Node[T], T any] 易导致推导失败或报错晦涩
与传统 interface 的协作关系
泛型和 interface 不是替代关系，而是互补：
- interface 适合运行时多态（如 io.Reader），泛型适合编译期零成本抽象（如 slice.Sort）
- 可将泛型作为 interface 的实现载体：例如用 type List[T any] struct{ ... } 实现 Container 接口，既保持类型安全，又对外暴露统一行为
- 泛型函数内部仍可接受 interface 参数：如 func Process[T any](data []T, formatter fmt.Stringer)，兼顾泛型数据结构与动态格式化能力
