go 泛型允许创建可重用类型和函数，不会修改代码本身。它包括：泛型类型：使用类型参数，允许在创建类型时指定参数类型（如 []t、map[k]v）。泛型函数：使用类型参数，必须指定显式的类型参数列表。约束：限制泛型类型的用法，使用关键字 any、comparable 和类型接口指定类型参数的类型限制。通过这些概念，可以创建更健壮和通用的代码，例如泛型排序算法。
理解 Golang 泛型的核心概念
前言
泛型是 Go 1.18 中引入的一项重要新特性，它允许我们在不修改代码本身的情况下创建可重用的类型和函数。本教程将介绍 Go 中泛型的核心概念，并通过实战案例来演示其用法。
泛型类型
泛型类型参数化了类型，允许我们在创建类型时指定参数类型。这可以通过使用 []T 或 map[K]V 等类型创建器来实现，其中 T 和 V 分别是值类型和键类型。
立即学习“go语言免费学习笔记（深入）”；
// 定义一个泛型 slice 类型
type MySlice[T any] []T
// 创建一个 MySlice[int] 实例
s := MySlice[int]{1, 2, 3}泛型函数
泛型函数也可以使用类型参数，但它们还必须指定显式的类型参数列表。
// 定义一个将切片元素加倍的泛型函数
func Double[T ~int | ~float64](s []T) []T {
for i, v := range s {
s[i] = v * 2
}
return s
}约束
约束允许我们通过指定类型参数的类型限制来限制泛型类型的用法。约束使用关键字 any、comparable 和类型接口来实现。
// 定义一个泛型 map 类型，键值为可比较类型
type MyMap[K comparable, V any] map[K]V
// 定义一个泛型函数来查找切片中的最大值
func Max[T any](s []T) T where T: ~int | ~float64 {
max := s[0]
for _, v := range s {
if v > max {
max = v
}
}
return max
}实战案例
让我们构建一个使用泛型的简单排序算法：
// 定义泛型交换函数
func Swap[T any](s []T, i, j int) {
temp := s[i]
s[i] = s[j]
s[j] = temp
}
// 定义泛型排序函数
func Sort[T any](s []T) where T: ~int | ~float64 | ~string {
for i := 0; i < len(s); i++ {
for j := i + 1; j < len(s); j++ {
if s[j] < s[i] {
Swap(s, i, j)
}
}
}
}结论
Go 中泛型为代码重用和灵活性提供了强大的工具。通过理解类型参数化、约束和实战案例，开发者可以利用这一功能创建更健壮和通用的代码。
