《告别核心类型——迎接我们所熟知和喜爱的 Go》

原文链接：《告别核心类型——迎接我们所熟知和喜爱的 Go》

这篇文章《告别核心类型——迎接我们所熟知和喜爱的 Go》由 Robert Griesemer 撰写，发表于 2025 年 3 月 26 日，介绍了 Go 语言在 1.25 版本中移除“核心类型（core types）”概念的背景、原因和影响。

---

🧩 什么是“核心类型”？

在 Go 1.18 引入泛型时，为了简化对泛型操作数（即类型参数）的处理，引入了“核心类型”这一抽象概念。核心类型的定义如下：

• 如果一个类型不是类型参数，其核心类型就是其底层类型。
• 如果一个类型是类型参数，且其类型集合中的所有类型具有相同的底层类型，则该底层类型为其核心类型；否则，不存在核心类型。

这一概念在某些语言特性（如通道操作、内建函数等）的规范中被使用，以统一处理泛型和非泛型代码。

---

🧠 为什么移除“核心类型”？

虽然“核心类型”在引入时旨在简化泛型的处理，但实践中发现其带来了以下问题：

1. 过于限制：某些操作（如切片表达式）依赖于核心类型，导致在类型集合中底层类型不一致时无法使用，即使这些操作在具体类型上是合法的。
2. 增加学习成本：理解和使用“核心类型”需要额外的学习，尤其是在处理非泛型代码时，这一概念显得多余且复杂。
3. 规范不一致：由于某些语言特性使用“核心类型”，而其他特性（如索引表达式、len 和 cap 函数）则不使用，导致语言规范中出现不一致，增加了理解难度。

---

🚀 Go 1.25 的变更

在即将发布的 Go 1.25 版本中，官方决定从语言规范中移除“核心类型”概念，改为在需要的地方使用更明确的描述。这一变更带来了以下好处：

• 简化语言规范：减少了需要理解的概念，使语言更易于学习。
• 提高可读性：非泛型代码的行为可以在不涉及泛型概念的情况下理解。
• 增强灵活性：为未来引入更强大的语言特性（如改进的切片操作、类型推断等）提供了可能。

具体而言，语言规范中涉及“核心类型”的描述被替换为更具体的规则。例如，对于内建函数 close，原先的描述是：

对于核心类型为通道的参数 ch，内建函数 close 表示该通道将不再发送值。

在 Go 1.25 中，描述被简化为：

对于通道 ch，内建函数 close(ch) 表示该通道将不再发送值。

对于泛型操作数，新增了明确的规则说明，例如：

如果 close 的参数类型是类型参数，其类型集合中的所有类型必须是具有相同元素类型的通道，且不能是只接收通道。

---

📌 总结

Go 1.25 移除“核心类型”概念，使语言规范更简洁，降低了学习曲线，同时为未来语言特性的扩展提供了更大的灵活性。这一变更不会影响现有 Go 程序的行为，但将使语言更易于理解和使用。