Golang泛型语法详解与代码示例

Go语言自1.18版本起正式引入泛型，通过类型参数（如[T]）和灵活的约束机制（如comparable、constraints.Ordered或自定义接口），显著提升了代码的复用性、类型安全性与表达力——无论是编写通用函数（如Max、Map）、定义泛型结构体（如Pair）、还是实现切片操作与接口约束逻辑，泛型都以简洁直观的语法让开发者摆脱重复造轮子的困境，同时兼顾性能与可读性；掌握其核心思想与实用模式，是写出更健壮、更现代Go代码的关键一步。

Go语言从1.18版本开始正式支持泛型，通过引入类型参数（type parameters）让函数和类型可以更通用。泛型能减少重复代码，提高类型安全性。

泛型函数基础

泛型函数允许你定义可处理多种类型的函数。使用方括号 [T any] 声明类型参数。

func Max[T comparable](a, b T) T {
    if a == b {
        return a
    }
    if a > b { // 注意：comparable 不支持 >，这里仅示意，实际需用约束如 constraints.Ordered
        return a
    }
    return b
}

上面的例子中，T 是类型参数，comparable 是预声明的约束，表示 T 必须支持 == 和 != 比较。

实际使用时建议引入 golang.org/x/exp/constraints 来支持有序比较：

import "golang.org/x/exp/constraints"

func Max[T constraints.Ordered](a, b T) T {
    if a >= b {
        return a
    }
    return b
}

泛型结构体与方法

结构体也可以使用泛型字段，使其适用于不同数据类型。

type Pair[K comparable, V any] struct {
    Key   K
    Value V
}

为泛型结构体定义方法时，也需要带上类型参数：

func (p Pair[K, V]) String() string {
    return fmt.Sprintf("%v: %v", p.Key, p.Value)
}

使用方式：

p := Pair[string, int]{Key: "age", Value: 30}
fmt.Println(p.String()) // 输出: age: 30

泛型切片操作函数

泛型非常适合用于编写通用的数据处理函数，比如 Map、Filter 等。

func Map[T, U any](slice []T, f func(T) U) []U {
    result := make([]U, len(slice))
    for i, v := range slice {
        result[i] = f(v)
    }
    return result
}

使用示例：

nums := []int{1, 2, 3}
strs := Map(nums, func(n int) string {
    return fmt.Sprintf("num:%d", n)
})
fmt.Println(strs) // [num:1 num:2 num:3]

自定义类型约束

除了内置约束，还可以定义自己的接口来约束类型参数。

type Stringer interface {
    String() string
}

func PrintStringers[T Stringer](items []T) {
    for _, item := range items {
        fmt.Println(item.String())
    }
}

基本上就这些。Go泛型语法简洁，核心是类型参数和约束机制。合理使用能让代码更清晰、安全、复用性更高。注意避免过度设计，优先考虑是否真的需要泛型。

文中关于的知识介绍，希望对你的学习有所帮助！若是受益匪浅，那就动动鼠标收藏这篇《Golang泛型语法详解与代码示例》文章吧，也可关注golang学习网公众号了解相关技术文章。