Go 语言自从 1.18 版本开始引入了泛型编程的概念。
泛型编程允许我们编写更加灵活和可重用的代码。但如果你是编程小白，可能对泛型这个词感到陌生。不用担心，本文将用最简单的语言和例子，帮助你理解 Go 语言中的泛型编程。
什么是泛型
泛型，顾名思义，就是指的“泛化的类型”。在编程中，泛型让我们可以编写代码时不指定具体的数据类型，而是在实际使用时再确定数据类型。
Go 语言中的泛型
在 Go 语言中，泛型主要是通过类型参数（Type Parameters）来实现的。类型参数可以看作是一个占位符，它在定义时不指定具体类型，在使用时再由用户指定。
示例1：泛型函数
假设我们要写一个函数，这个函数可以比较两个值的大小并返回较大的值。
通常情况下，我们需要为不同的类型写多个函数，比如比较整数、比较浮点数等等。但有了泛型，我们只需要写一个函数：
package main import "fmt" // 这里的 T 是一个类型参数，它是一个占位符，具体的类型在调用函数时确定。 func Max[T comparable](a, b T) T { if a > b { return a } return b } func main() { // 使用泛型函数比较整数 fmt.Println(Max(3, 5)) // 输出：5 // 使用泛型函数比较浮点数 fmt.Println(Max(3.14, 1.59)) // 输出：3.14 // 使用泛型函数比较字符串 fmt.Println(Max("apple", "banana")) // 输出：banana }
在上述代码中，Max 函数定义了一个类型参数 T，并且 T 需要满足 comparable 的约束，意味着 T 的类型必须是可比较的（比如整数、浮点数、字符串等）。这样我们就可以使用同一个函数来比较不同类型的值了。
示例二：泛型类型
例如，我们可以定义一个可以存储任意类型元素的自定义切片：
package main import "fmt" // 定义一个泛型切片类型 type MySlice[T any] []T // 为 MySlice 类型添加一个方法，用于添加元素 func (s *MySlice[T]) Add(elem T) { *s = append(*s, elem) } func main() { // 创建一个存储整数的 MySlice intSlice := MySlice[int]{} intSlice.Add(1) intSlice.Add(2) fmt.Println(intSlice) // 输出：[1 2] // 创建一个存储字符串的 MySlice stringSlice := MySlice[string]{} stringSlice.Add("hello") stringSlice.Add("world") fmt.Println(stringSlice) // 输出：[hello world] }
在这个例子中，我们定义了一个名为 MySlice 的泛型类型，它接受一个类型参数 T。然后我们为 MySlice 定义了一个 Add 方法，用于向切片中添加元素。可以看到，无论是存储整数还是字符串，我们都可以使用同一个 MySlice 类型。
小结
泛型编程是一个强大的工具，它可以让我们写出更加通用和灵活的代码。通过本文的介绍，你应该对Go语言中的泛型有了初步的了解。
