Go中的泛型语法：声明函数和类型

1月 3 2026 golang 11 分钟读完 (约 1578 字)

从函数到类型：掌握Go的泛型语法

image.png|300

写在之前

众所周知，当前类似 GPT、Gemini 之类的 AI，更适合用于辅助学习，让我们继续学习 Go 泛型的知识，如果有什么错误或者遗漏的地方，欢迎指出。

前言

随着 Go 1.18 版本的发布，这门语言正式引入了参数化多态（parametric polymorphism），也就是我们通常所说的泛型（generics）。

这一特性使开发者能够编写不依赖于具体类型的代码，通过使用类型参数（type parameters）作为占位符来实现通用逻辑。Go 在语法上选择使用方括号 [] 来定义类型参数，这是为了避免与其他语言中常见的 <> 语法产生歧义（例如与 channel 语法或多重变量赋值产生混淆）。

1. 声明泛型函数

泛型函数通过在函数名与常规参数列表之间添加一个类型参数列表来定义，该列表使用方括号包裹。

每一个类型参数都必须指定一个约束（constraint）。约束本质上是一个接口类型，用于限定哪些类型可以作为该泛型参数的实际类型。

语法示例：泛型函数

// T 是一个类型参数，受约束 any 限制
func PrintSlice[T any](s []T) {
    for _, v := range s {
        fmt.Println(v)
    }
}

在这个示例中，any 是 Go 预声明的标识符，是空接口（interface{}）的别名，表示允许任意类型。

在调用泛型函数时，Go 通常可以通过类型推断（type inference）自动推断出具体类型，调用者无需显式指定类型参数。

2. 声明泛型类型

与泛型函数类似，结构体（struct）以及其他自定义类型，也可以通过在类型名后添加类型参数列表的方式定义为泛型类型。

这些类型参数可以像普通类型一样，在结构体字段中使用。

语法示例：泛型结构体

// 一个泛型链表节点
type Node[T any] struct {
    Val  T
    Next *Node[T]
}

// 一个包含 C 类型卡片的泛型牌组
type Deck[C any] struct {
    cards []C
}

在实例化泛型类型时，必须在方括号中提供具体的类型实参，例如：

&Deck[string]{}
Node[int]{}

3. 在泛型类型上定义方法

在为泛型类型定义方法时，接收者（receiver）必须包含在基础类型声明中定义的类型参数。这些类型参数在方法体内部同样作为类型占位符使用。

语法示例：泛型方法

// 接收者 (d *Deck[C]) 中包含了类型参数 C
func (d *Deck[C]) AddCard(card C) {
    d.cards = append(d.cards, card)
}

重要限制

在 Go 中，方法本身不能声明独立的类型参数，也就是说，方法不能拥有未在接收者类型上定义的泛型参数。

如果某个函数确实需要额外的类型参数，那么它必须被声明为顶层函数（top-level function），而不能作为方法存在。

4. 类型约束与接口

约束（constraint）可以理解为“类型的类型”，用于限制哪些类型可以作为泛型参数的实际类型。

在 Go 1.18 中，接口语法得到了增强，以支持用于泛型约束的多种能力：

联合类型（Union Types）：
使用管道符 |，可以指定类型参数只能是多种类型中的一种，例如：
int | int64 | float64
波浪线 ~ 运算符：
表示约束不仅包含指定的类型本身，还包含所有底层类型（underlying type）与其一致的类型。
comparable 约束：
一个预声明的特殊接口，用于限制类型参数必须支持 == 和 != 运算符。

示例代码：复杂类型约束

// 用于数值类型的自定义约束
type Numeric interface {
    ~int | ~float64 | ~int64
}

// 使用自定义约束的求和函数
func Sum[T Numeric](args ...T) T {
    var sum T
    for _, v := range args {
        sum += v
    }
    return sum
}

总结

Go 泛型的语法设计在表达能力与可读性之间取得了良好的平衡，同时保持了语言一贯追求的简洁性。

通过将处理多种类型的复杂性，从库的使用者转移到库的实现者身上，Go 能够确保最终代码在保持简洁易读的同时，依然具备良好的类型安全性与运行效率。

理解泛型的类比

可以将泛型类型想象成一个带标签的标准集装箱。

集装箱本身具有固定的结构（struct），而“标签”（类型参数）则明确规定了它可以装载的货物类型——无论是电子产品、生鲜食品，还是液体。

约束（constraint）就像是运输法规：它确保你不会试图把液体灌进一个只适合装固体货物的集装箱中。