2.1.6 谈谈 Go 泛型

• 语言: 中文（简体）
• 格式: .pdf
• 来源: github.com/gopherchina

摘要

文档系统回顾了Go泛型的基本概念，包括泛型类型和泛型函数，以及类型参数和类型约束的使用。介绍了泛型类型的方法和泛型方法的限制。阐述了类型约束与接口的关系，以及泛型的实现方式。列举了标准库中泛型的使用，如atomic.Pointer、exp包中的maps、slices和arena。讨论了最佳实践，包括何时使用泛型（如语言定义的容器类型、通用数据结构）和何时避免使用（如替换接口、方法实现不同）。最后提到了对泛型的不满之处，如类型集共同字段、泛型方法实现和更智能的类型推断等提案。

AI总结

Go 泛型自1.18版本引入，允许定义带类型参数的类型和函数，如 `List[T any]` 和 `func min[T ~int|~float64]`。类型约束本质上是接口，定义了允许的类型集合。当前实现存在一些限制，如不支持泛型方法、类型推断不够智能，相关提案（如添加泛型 Key、允许方法类型参数）已被搁置。

最佳实践建议：泛型适用于语言定义的容器类型和通用数据结构。当代码逻辑相同、仅类型不同时，应考虑使用泛型；但不要用泛型替代接口，也不要在不同方法实现中使用泛型。标准库已引入泛型，如 `atomic.Pointer`、`slices`、`maps` 和 `cmp` 包，提供了 `BinarySearch`、`Sort`、`Clone`、`Equal` 等通用函数。`golang.org/x/exp/constraints` 包定义了 `Ordered`、`Signed` 等类型约束。