Go 语言泛型 — 泛型语法与示例

以下是Go语言中关于 Go 泛型 - 泛型语法与示例 的详解,适合泛型入门学习和实际开发使用:

一、什么是泛型(Generics)?

泛型是一种支持"类型参数"的机制,可以让函数、类型等支持多种数据类型,提高代码复用性。

Go 从 1.18 版本开始正式支持泛型,主要体现在:

  • • 泛型函数
  • • 泛型类型(结构体、接口等)
  • • 类型约束(constraints)

二、基本语法格式

泛型函数的声明

go 复制代码
func PrintSlice[T any](s []T) {
    for _, v := range s {
        fmt.Println(v)
    }
}
  • T 是类型参数。
  • [T any] 表示 T 可接受任意类型(anyinterface{} 的别名)。

泛型类型的声明

go 复制代码
type Stack[T any] struct {
    elements []T
}

func (s *Stack[T]) Push(v T) {
    s.elements = append(s.elements, v)
}

func (s *Stack[T]) Pop() T {
    l := len(s.elements)
    val := s.elements[l-1]
    s.elements = s.elements[:l-1]
    return val
}

三、多个类型参数

go 复制代码
func Compare[K comparable, V any](a map[K]V, b map[K]V) bool {
    if len(a) != len(b) {
        return false
    }
    for k, v := range a {
        if b[k] != v {
            return false
        }
    }
    return true
}
  • K comparable 限定 K 必须是可比较类型(如用于 map key)。
  • V any 无限制。

四、类型约束(Constraints)

使用接口作为约束

go 复制代码
type Addable interface {
    int | float64
}

func Sum[T Addable](a, b T) T {
    return a + b
}
  • • 类型集 int | float64 表示 T 可以是 intfloat64
  • Addable 是一个"约束接口"。

五、泛型实战示例

1. 泛型排序函数

css 复制代码
func Min[T constraints.Ordered](a, b T) T {
    if a < b {
        return a
    }
    return b
}
  • constraints.Ordered 是标准库提供的类型约束,表示支持 < <= >= > 的类型。

2. 泛型 Map 函数(函数式编程)

go 复制代码
func Map[T any, R any](list []T, f func(T) R) []R {
    var result []R
    for _, v := range list {
        result = append(result, f(v))
    }
    return result
}

使用:

go 复制代码
squares := Map([]int{1, 2, 3}, func(x int) int { return x * x })
fmt.Println(squares) // [1 4 9]

六、类型推断

Go 支持自动类型推断:

c 复制代码
PrintSlice([]string{"a", "b", "c"})

也可以显式指定类型参数:

c 复制代码
PrintSlice[string]([]string{"a", "b"})

七、标准库中的泛型支持(Go 1.18+)

Go 1.18+ 在 golang.org/x/exp/constraints 提供了常用的类型约束:

css 复制代码
import "golang.org/x/exp/constraints"

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

八、使用建议

建议 说明
✅ 用于数据结构通用化 如 Stack、Queue、Map 等
✅ 用于通用算法封装 如排序、筛选、映射、聚合
⚠ 避免过度使用泛型 不如接口清晰时不必用泛型
✅ 配合类型约束 提高类型安全性与可读性

九、小结

  • • 泛型让 Go 支持了更高层次的抽象与复用,不再需要写多版本函数。
  • • 与接口并用,可构建健壮、通用的框架组件。
  • • 使用时注意性能与可读性的权衡。

相关推荐
sophie旭1 小时前
一道面试题,开始性能优化之旅(3)-- DNS查询+TCP(三)
前端·面试·性能优化
代码充电宝1 小时前
LeetCode 算法题【简单】49. 字母异位词分组
java·算法·leetcode·面试·哈希算法
Terio_my2 小时前
Spring Boot 缓存集成实践
spring boot·后端·缓存
karry_k2 小时前
JMM与Volatitle
后端
数字化顾问3 小时前
“AMQP协议深度解析:消息队列背后的通信魔法”之核心概念与SpringBoot落地实战
开发语言·后端·ruby
程序员的奶茶馆4 小时前
Python 字典速查:键值对操作与高频函数
python·面试
武子康4 小时前
大数据-115 - Flink DataStream Transformation Map、FlatMap、Filter 到 Window 的全面讲解
大数据·后端·flink
用户4099322502124 小时前
转账不翻车、并发不干扰,PostgreSQL的ACID特性到底有啥魔法?
后端·ai编程·trae
程序新视界4 小时前
三种常见的MySQL数据库设计最佳实践
数据库·后端·mysql
LunarCod4 小时前
Hexo搭建/部署个人博客教程
后端·hexo·个人博客·vercel