Go泛型简介

https://go.dev/blog/intro-generics

在《Interface简介》一文中，我使用如下代码实现了简单的Contains函数：

?

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22

package main   import (     "fmt" )   func main() {     var s []interface{}     s = append(s, "a")     s = append(s, "b")     s = append(s, 1)     fmt.Println(contains(s, 2)) }   func contains(source []interface{}, obj interface{}) bool {     for _, e := range source {         if e == obj {             return true         }     }     return false }

上述的函数使用起来很麻烦，如果source参数是一个[]string，我们就需要先把他for循环改造为[]interface{}类型才能使用contains，否则直接使用会报类型不匹配相关的错误。

因此我们可以暂时得出一个结论：在定义一个对象时(无论是定义类、接口、还是函数)使用可以代表任意类型的输入参数通常是比较麻烦的，因为此类入参没有实际类型，因此很容易在使用时产生错误。而为了使用如此定义的对象我们需要做大量的转换工作。

泛型的出现可以解决此类问题。通常的，我们在使用泛型作为入参时，最终希望使用的总是某一种或某几种实体数据类型，而不太可能是任意类型。泛型可以帮助我们实现：定义时使用代指的参数类型，实际使用时编译器编译为具体类型的功能。

泛型出现后上述函数可以改写为：

?

1 2 3 4 5 6 7 8 9 10

func contains[T constraints.Ordered](source []T, obj T) bool {     for _, e := range source {         if e == obj {             return true         }     }     return false } // 这样我们可以直接把[]string或[]int作为source参数传给contains函数 // 编译器在发现有泛型参与定义的函数时，对其入参进行自动匹配，只要入参的类型属于类型参数集合即合法，并将这种具体类型作为实际类型传入(不同于java的类型擦除)

 

理解泛型：

三大要素：Type Parameters、Type Sets和Type Inference，即：类型参数、类型集合和类型推断。

以上述代码为例，T即为类型参数，用于标识输入参数使用的泛型类型，T的具体类型为constraints.Ordered其实就是类型集合(或者叫约束)。

在大多数需要泛型的场景中，我们至少都要为泛型参数限制一个底层类型的集合，例如上例，我们至少需要T满足可比较的条件，才能使用==进行比较。

因此Golang中随同泛型一起出现的，就是这些类型集合(亦可称之为约束)，他们都在constraints包中，下边就是constraints包的全貌了：

?

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25

package constraints   type Signed interface {     ~int | ~int8 | ~int16 | ~int32 | ~int64 }   type Unsigned interface {     ~uint | ~uint8 | ~uint16 | ~uint32 | ~uint64 | ~uintptr }   type Integer interface {     Signed | Unsigned }   type Float interface {     ~float32 | ~float64 }   type Complex interface {     ~complex64 | ~complex128 }   type Ordered interface {     Integer | Float | ~string }

从constraints包的内容来看，Ordered这种接口类型就是一些可比较基础类型的集合(整数、浮点数、字符串)，集合在golang中新引入前缀波浪号~表示，例如~string表示底层类型为string的所有type的集合(包括以这种方式定义的type: type MyString string)。

所以到目前为止，golang泛型的典型使用方式就是：constraints包 + 使用方括号包裹的类型参数。

至于类型推断，这个是为了使泛型函数的调用更加美观而引入的，没有类型推断的功能的话我们调用contains函数需使用如下方式：

?

1 2 3

contains[int]([]int{1,2,3}, 1) // 或 contains[string]([]string{"a","b","c"}, "a")

即：在使用函数时我们需要使用[type]来标明泛型参数的实际类型，但现在我们这么写也可以：

?

1 2	contains([]int{1,2,3}, 1) contains([]string{"a","b","c"}, "a")

这就是类型推断，是不是看起来更有泛型的味儿了。

相比起java的泛型来说，golang的泛型目前多了一个约束的概念和约束包，java中泛型的使用较为方便，其可以承载任意非源生数据类型并广泛应用于容器类和各类接口当中，而golang的泛型相关的包还未GA，有待进一步发掘和使用。