引言

Go语言在1.18版本引入了泛型（Generics），这是自Go发布以来最受期待的特性之一。本文深入解析Go泛型的核心机制。

1. 泛型的动机

在泛型出现之前，Go开发者面临两难：要么使用interface{}丧失类型安全，要么为每种类型写重复代码。泛型的引入彻底解决了这一困境。

2. 类型参数与约束

Go泛型通过方括号声明类型参数：

func Min[T constraints.Ordered](a, b T) T { if a < b { return a }; return b }

constraints.Ordered告诉编译器T必须支持比较操作。自定义约束使用类型集语法：

type Numeric interface { ~int | ~float32 | ~float64 }

~符号表示包含底层类型的所有自定义类型。

3. 泛型数据结构

一个类型安全的泛型栈实现：

type Stack[T any] struct { items []T }
func (s *Stack[T]) Push(item T) { s.items = append(s.items, item) }
func (s *Stack[T]) Pop() (T, bool) { if len(s.items)==0 { var zero T; return zero, false }; item := s.items[len(s.items)-1]; s.items = s.items[:len(s.items)-1]; return item, true }

4. Map与Reduce泛型实现

func Map[T, U any](s []T, fn func(T) U) []U { r := make([]U, len(s)); for i,v := range s { r[i]=fn(v) }; return r }
func Reduce[T, U any](s []T, init U, fn func(U, T) U) U { acc := init; for _,v := range s { acc=fn(acc,v) }; return acc }

5. 性能与实现

Go采用基于字典的编译时单态化方案，避免了代码膨胀。相比interface{}方案仅有约5-15%的运行时开销，但对绝大多数场景完全可以接受。

6. 最佳实践

避免过度使用泛型——只有在确实有多类型复用需求时才使用。约束应最小化，优先使用预定义约束。

总结

Go泛型的引入填补了类型安全抽象能力的空白，同时保持了语言的简洁优雅。掌握泛型是进阶开发者的必修课。