Go 2 Generics? A (P)review

• 语言: 中文（简体）
• 格式: .pdf
• 来源: changkun.de

摘要

文档讨论了Go 2语言引入泛型的设计，包括泛型的起源、早期设计、Go 2的合约机制、上手时间、历史性评述和未来展望。文档详细介绍了泛型的两种多态形式：临时性多态和参数化多态，并探讨了Go 2基于合约的泛型设计。目前的实现相对完整，但存在一些功能缺失，未来可能需要社区反馈和大量实践。文档还提到引入泛型不会打破向前兼容性，但迁移过程可能痛苦。最后，文档展示了通过//go:generate生成代码的示例，并讨论了泛型在Go中的应用。

AI总结

### Go 2 泛型设计概述

1. **泛型的起源与多态性**
多态性分为两类：
- **临时性多态（Ad hoc Polymorphism）**：基于特设多态实现，如函数重载。
- **参数化多态（Parametric Polymorphism）**：通过泛型实现，支持任意类型的参数生成不同版本的函数。

Go语言早期通过函数重载实现特设多态，而泛型的引入是参数化多态的一种体现。

2. **Go 2 的「合约」设计**
Go 2 的泛型设计基于合约（contract），是一种基于编译期的参数化多态实现。
- 当前实现相对完整，但功能上仍有缺失，可能是有意为之，以避免语言过于复杂。
- 泛型设计不会破坏向前兼容性，但从 C++ 的经验来看，代码迁移可能需要大量工作。

3. **泛型的实现与不足**
- 当前实现基于特设多态，支持泛型函数和类型推导。
- 不支持泛型指针，且某些功能（如类型推导）仍有改进空间。
- 泛型设计的语法可能不会修改，但具体细节仍需观察。

4. **未来展望**
- 泛型是否会像早期提案一样被废弃？目前形势不明朗，但被接受的可能性较大。
- 泛型的正式上线时间取决于社区反馈和大量实践。
- Go 团队倾向于独立决策，但社区力量仍至关重要。

5. **关键设计与案例**
- 引入 `gotype` 内建类型，扩展 `.type` 的编译期特性。
- 示例代码展示了如何实现泛型 `map`，但仍需进一步改进，如支持类型推导和泛型指针。

总结来看，Go 2 的泛型设计在功能和语法上仍有改进空间，但整体方向明确，未来的发展将取决于社区反馈和技术实践。