Golang泛型语法基础与示例代码

Go语言从1.18起支持泛型，通过类型参数[T]和约束机制提升代码复用与类型安全，可用于函数、结构体、方法及切片操作，如Max、Pair、Map等示例所示，结合comparable或自定义约束（如Stringer）实现通用逻辑。

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 来支持有序比较：

立即学习“go语言免费学习笔记（深入）”；

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
}

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

Google Antigravity

谷歌推出的AI原生IDE，AI智能体协作开发

下载

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泛型语法简洁，核心是类型参数和约束机制。合理使用能让代码更清晰、安全、复用性更高。注意避免过度设计，优先考虑是否真的需要泛型。