Go 1.24 新特性：泛型类型别名，让代码变得更灵活、更清晰

前言

Go 1.24 版本现在完全支持泛型类型别名：类型别名可以像定义的类型一样被参数化 。其实这个功能在 Go 1.23 版本里已经被引入，只不过作为一个实验的功能，需要设置对应的环境变量才能使用。

本文将介绍 Go 1.24 中的泛型类型别名。首先会回顾一下 Go 中类型别名的基本概念及其常见的使用场景，随后介绍泛型类型别名的引入背景，最后通过实际的代码示例展示如何利用这一特性进行渐进式重构和其他的使用场景以及作用。

准备好了吗？准备一杯你最喜欢的咖啡或茶，随着本文一探究竟吧。

类型别名（Type Alias）

类型别名 是指使用 type 关键字给一个现有类型起一个新的名字，类型别名不会创建新的类型，而是指向现有类型。因此，类型别名和原类型是完全等价的，可以互相赋值、传递和比较等。

使用场景

以 大型项目重构 为例，假设你有一个非常流行的开源库，其中在 pkg1 包里定义了一个 Model 的结构体类型：

package pkg1

type Model struct {
    Id string
    CreatedAt int64
    UpdatedAt int64
}

现在，你需要对开源库进行代码重构，需要将 Model 结构体移到 pkg2 包里，但是目前很多用户都是通过 pkg1.Model 对该结构体进行引用，如果将其移到 pkg2 里，我们需要考虑向后兼容的问题，也就是保持等价的类型，用户不需要大规模地修改代码。这时候就可以使用 类型别名。

重构之后：

• pkg1

package pkg1

import "pkg2"

type Model = pkg2.Model

• pkg2

package pkg2

type Model struct {
	Id        string
	CreatedAt int64
	UpdatedAt int64
}

将旧包 pkg1 的 Model 类型作为新包 pkg2 里面的 Model 类型的别名，确保 pkg1.Model 这种代码能无缝使用，解决了向后兼容的问题。

注意；这种方式适用于不修改类型结构的情况下使用。

除了上述场景，类型别名还适用于其他场景的使用，例如 提高代码可读性：

type UserID = string
type PostMap = map[string]*Post

泛型类型别名

众所周知，Go 1.18 版本引入了泛型。自该版本发布以来，类型定义和函数声明可以添加泛型参数。由于泛型刚引入，并没有大型的泛型库需要重构，因此 类型别名 在当时也并没有支持参数化定义。而如今，泛型已经存在了好几年，很多大型的库也使用了泛型特性。可想而知，重构泛型库的需求也会出现，伴随而来的就是将泛型类型从一个包迁移到另一个包的需求。

为了支持涉及泛型类型的渐进式重构，Go 1.24 版本支持在类型别名上自定义参数。

代码重构案例：

重构前：

package pkg1

type Model[T any] struct {
    Id T
    CreatedAt int64
    UpdatedAt int64
}

重构后：

package pkg1

import "practice/pkg2"

type Model[T any] = pkg2.Model[T]

---

package pkg2

type Model[T any] struct {
	Id        T
	CreatedAt int64
	UpdatedAt int64
}

通过使用泛型类型别名，保证了旧包代码不需要变动的情况下继续使用，解决了向后兼容的问题。

除了上述例子，泛型类型别名还能这样用：

• 泛型的 Map 类型别名

  type Set[T comparable] = map[T]struct{}
  
  type CMap[K comparable, V any] = map[K]V

泛型类型别名的作用：

• 简化重构，解决兼容性问题： 旧包到新包之间的通用类型等价，可以同时使用而无需破坏现有代码。

• 提高代码可读性： 提供更清晰，更简洁的类型命名。

小结

通过 Go 1.24 对类型别名的增强，开发者可以在处理泛型类型时更加灵活地重构和迁移代码，保持良好的向后兼容性。除此之外，还能提高 代码的可读性。

你所维护的项目是否使用到了类型别名？泛型类型别名的支持，未来会不会给你带来很好的帮助？欢迎在评论区互动。

推荐阅读

Go 1.24.0 重磅发布：新特性、新工具，开发者必看！