泛型

泛型（Generics）是编程语言中一种允许在定义函数、数据结构或类时使用类型参数的特性。通过泛型，开发者可以编写更通用、灵活的代码，而无需为每种具体类型重复实现相同的逻辑。

1. 泛型的核心概念

#

（1）类型参数（Type Parameters）

#

在定义函数或结构体时，可以声明一个或多个类型参数，用方括号 [] 包裹（Go 语言风格，其他语言可能用 <>）。
例如：

1// T 是类型参数，可以是任何类型
2func identity[T any](value T) T {
3    return value
4}

（2）类型约束（Type Constraints）

#

限制类型参数的范围，例如要求类型必须支持某些操作（如比较大小、相加等）。

• Go 中通过接口定义约束：
  </> go

  复制

  1type Number interface {
  2    int | float64 // 约束 T 只能是 int 或 float64
  3}
  4
  5func add[T Number](a, b T) T {
  6    return a + b
  7}

• 其他语言（如 Java）通过泛型边界（<T extends Comparable>）实现类似功能。

（3）泛型数据结构

#

泛型不仅用于函数，还可用于定义通用的数据结构（如链表、队列等）。
例如，Go 中的泛型切片：

1type Stack[T any] struct {
2    items []T
3}
4
5func (s *Stack[T]) Push(item T) {
6    s.items = append(s.items, item)
7}

2. 不同语言中的泛型实现

#

5. 泛型的优缺点

#

优点：

#

1. 代码复用：避免为不同类型重复编写逻辑。
2. 类型安全：编译时检查类型错误（比 interface{} 更安全）。
3. 性能优化：编译时生成具体类型的代码（如 C++ 模板）。

缺点：

#

1. 复杂性：语法和概念可能增加学习成本。
2. 编译时间：某些语言（如 C++）的泛型可能导致编译时间变长。

6. 实际应用场景

#

1. 通用容器：如列表、栈、字典等。
2. 工具函数：如排序、比较、数学运算。
3. 设计模式：如工厂模式、策略模式等。

总结

#

泛型的本质是将类型作为参数传递，使代码既能保持通用性，又不牺牲类型安全和性能。它是现代静态类型语言（如 Go、Rust、Swift）的重要特性，能够显著提升代码的抽象能力和可维护性。