Go1.25 新特性：泛型 Core types 将被放弃！

最新推荐文章于 2025-07-26 09:15:27 发布

煎鱼（EDDYCJY）

最新推荐文章于 2025-07-26 09:15:27 发布

阅读量1.1k

点赞数 24

CC 4.0 BY-SA版权

本文链接：https://blog.csdn.net/EDDYCJY/article/details/147236025

大家好，我是煎鱼。

在 Go1.18 版本发布了泛型，带来了：类型参数（type parameters）、类型约束（type constraints）、核心类型（core types）等一大堆泛型带出来的新概念。引起了一顿新知识的的学习浪潮。

最早泛型 2019 年到现在 2025 年差不多也有个 6 年了。

背景

在 Go1.25 的新特性提前宣发中，Go 核心团队正式发布《Goodbye core types - Hello Go as we know and love it!^[1]》，要将泛型中的核心类型（core types）给干掉。

要被毕业的核心类型，又到底是什么呢？

核心类型（Core types）

在 Go 1.18 中，我们引入了 “核心类型^[2]”（core type）的概念，以便更容易检查类型参数的某些约束。

我们先放例子，我觉得例子比起纯理论可能更容易理解。

在 Go 官方的《go spec》中，具体包含核心类型的例子：

type Celsius float32
type Kelvin float32

interface{ int }                     // int
interface{ Celsius | Kelvin }        // float32
interface{ ~chanint }               // chan int
interface{ ~chanint | ~chan<- int } // chan<- int
interface {
  ~[]*data
  String() string
 } // []*data

注意：右侧注释就是他所标注的核心类型。

不包含核心类型的例子：

interface{}                           // no single underlying type
 interface{ Celsius | float64 }        // no single underlying type
 interface{ chan int | chan<- string } // channels have different element types
 interface{ <-chan int | chan<- int }  // directional channels have different directions

核心类型的定义如下：

如果某类型 T 的定义是一个类型别名，例如 type T = A，那么 T 的核心类型就是 A 的核心类型。
如果某类型 T 是一个底层类型为某个具体类型的命名类型，那么它的核心类型就是那个底层类型。
如果某类型 T 是一个类型参数，并且其约束指定了一个核心类型（比如 ~int 或 ~[]byte），那么它的核心类型就是那个指定的类型。
否则，该类型没有核心类型。

为什么不要核心类型了？

虽然引入了核心类型试图统一泛型语义。

结果却让语言规范更复杂、学习门槛更高、规则更难一致，发现最终得不偿失。

具体原因如下：

核心类型定义不够灵活，限制过严：
- 比如接口 interface{ ~[]int } 拥有核心类型 []int，但更复杂的接口如 Constraint（即含有方法和多个类型约束的接口）就无法推导出核心类型。
- 对于 append、copy、通道操作等语言特性，核心类型定义过于严格，实际需要对方向、类型组合做额外处理（例如同时包含 []byte 和 string）。
对语言特性理解造成阻碍：
- 某些语言特性（如切片表达式）在规范中以“核心类型”为判断依据，而非更直接地说明“操作数必须是数组、切片或字符串”。
- 这让开发者即使写的不是泛型代码，也得理解 “核心类型” 的概念，徒增学习负担。
破坏语言规则的一致性，导致了例外：
- 有些表达式（如 len, cap, 索引表达式等）并不依赖核心类型判断，导致语言规则看起来像是有一堆例外。
- 例如社区提案 #48522^[3] 中提到的 “对联合类型元素字段的统一访问”，如果没有核心类型这个障碍，其实可以自然落入普通字段访问规则中，而不是再新增例外。

Go1.25 会做出什么改变？

由于上述提到的一系列导致 Go 更复杂的问题，Go 核心团队将决定在 Go1.25（2025 年 8 月）的语言规范中将核心类型的概念给移除掉。并给未来预留有需要时将其概念转为显式的方式。

#go/issues/70128

移除后，将有以下几个好处：

语言规范更简洁，易于学习：
- Go 规范呈现的概念更少，不再引入“核心类型”这种额外抽象。
- 初学者能更快理解语言的核心结构，不被泛型细节干扰。
非泛型代码无需了解泛型语义：
- 你写的是普通代码，就不需要去理解类型参数、类型约束或核心类型。
- 泛型不再“污染”对普通语言特性的理解，使 Go 保持其一贯的简洁直观。
针对具体操作采用具体规则，更具灵活性：
- 用 “具体规则匹配具体操作” 而非 “一刀切” 的抽象模型，为语言扩展打开了大门。
- 不仅让 issue #48522（字段选择器适用于类型集合）更自然，也为将来支持更强大的切片操作、更智能的类型推导等功能提供空间。