Go 1.18 泛型详解: 从零读懂泛型

时间:2025-02-25 20:13:50

目录

  • Go 1.18 泛型详解: 从零读懂泛型
    • 什么是泛型?
      • 函数的形参和实参
      • 为什么是泛型?
    • Go 泛型的示例
      • 泛型函数
      • 泛型类型
      • 声明类型限制 (type constraint)
    • 参考

Go 1.18 泛型详解: 从零读懂泛型

Go 1.18 版本新增了一个功能:支持泛型编程。

如果是其他语言转 Go 语言的开发者,那么能够理解什么是泛型,以及如何使用?

但只是 Go 语言的初学者,并没有接触过泛型编程的人来说,这个功能可能一头雾水。

本文希望能让为接触泛型编程的人也能很好的理解和使用 Go 的泛型

A general guideline for programming Go: write Go programs by writing code, not by defining types
Go 编程的通用准则:通过编写代码,而不是定义类型来写 Go 程序

什么是泛型?

泛型就是编写模板适应所有类型,只有在具体使用时才定义具体变量类型

函数的形参和实参

函数定义时的参数是形参 (parameter),在实际使用函数传入的参数为实参 (argument)

假设有一个加法函数,这个函数有两个参数都是 int 类型,返回值也是 int;定义如下:

func Test(a,b int) int {
   
    return a + b
}

如果传入的两个实参都是 int 类型,那么函数自然能够正常执行。但是这个函数只能用来做 int 类型的加法运算,假设还需要进行 float64 类型的加法运算,我们就需要再写一个函数

两三个类型加法计算写出来也不麻烦,复制粘贴而已。但是如果所有可计算类型都要进行加法运行,那么代码就会不够精简,阅读起来很不友好

这时,我们就会思考,如果一个函数能够接收所有的计算类型,这样就两三行代码写完一个计算函数了。只需要