Go 2 Generics? A (P)review

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

摘要

文档系统回顾和评述了Go 2中基于合约的泛型设计，主要包括泛型的起源、早期设计、Go 2的合约实现、上手时间历史评述和未来展望。合约通过描述类型的必要条件来实现参数化多态，相比之下特设多态只能处理有限数量的调用。尽管目前实现相对完整，但仍存在功能性缺失和改进空间。文档还讨论了泛型可能面临的向前兼容性问题以及社区反馈对其正式上线的重要性。

AI总结

《Go 2 Generics? A (P)review》主要围绕Go语言中泛型的设计与发展进行了回顾与展望。以下是文档的核心内容总结：

### 1. **泛型的起源与多态**
- **多态**在编程语言中分为两类：
- **临时性多态（Ad hoc Polymorphism）**：基于特定类型的重载函数，例如函数重载。
- **参数化多态（Parametric Polymorphism）**：通过类型参数实现泛型。
- 泛型是参数化多态的实现，允许函数或类型操作任意类型。

### 2. **Go 2中的泛型设计**
- 当前Go 2基于合约的泛型设计是一个特设多态实现的参数化多态。
- **合约（Contracts）**用于描述类型的必要条件，例如：

     contract Comparable(T) { 
         T int, int8, int16, int32, int64, uint, uint8, uint16, uint32, uint64, uintptr, float32, float64, string 
     }

- 合约可以包含逻辑条件、循环和赋值语句，但其复杂性和可读性存在挑战。
- **生成代码**：通过`//go:generate`编译器指令自动生成代码，例如使用`cheekybits/genny`。

### 3. **早期设计与历史回顾**
- **Generalized Types v2 (2013)**：使用`gen [T]`语法，通过类型推导实现泛型。
- **First Class Types (2015)**：引入`gotype`内建类型，扩展类型的编译期特性。
- **Go 1中的实现**：通过类型重载和接口实现多态，但显得繁琐。

### 4. **总结与展望**
- **优点**：
- Go 2的泛型设计相对完整，合约机制可行。
- 设计中刻意简化部分功能，语言复杂度得到控制。
- **不足**：
- 合约写法复杂，可能导致学习和维护成本增加。
- 生成代码的方式存在维护问题。
- **未来**：
- 泛型是否会被接受取决于社区反馈和实践。
- 引入泛型不会破坏向前兼容性，但代码迁移可能会较为繁琐。
- 社区力量在泛型生态的构建中至关重要。

### 5. **关键问题**
- **是否会被废弃**？目前形势不明朗，但被接受的概率较大。
- **语法是否会修改**？个人认为可能不会。
- **向前兼容性**：从设计上看不会破坏兼容性，但实际迁移可能痛苦。

### 总结
Go 2中的泛型设计基于合约，提供了较为完整的参数化多态实现，但仍存在一些功能缺失和改进空间。未来的发展取决于社区反馈和生态构建，泛型的引入将为Go语言带来更多可能性，同时也需要克服迁移和维护上的挑战。