带你入门 Go 语言中的泛型编程

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语言中的泛型有了初步的了解。

更多技术干货分享，可扫码进入我的免费知识星球，也可以加我个人微信围观朋友圈。