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

Go语言自1.18版本起正式引入泛型，通过类型参数（如[T]）和灵活的约束机制（如comparable、constraints.Ordered或自定义接口）显著提升了代码的复用性与类型安全性；本文深入浅出地详解了泛型在函数（如Max）、结构体（如Pair）、方法及切片操作（如Map、Filter）中的实际应用，并辅以清晰代码示例和关键注意事项，帮助开发者快速掌握这一现代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学习网公众号，给大家分享更多Golang知识！