Go泛型简介
https://go.dev/blog/intro-generics
在《Interface简介》一文中，我使用如下代码实现了简单的Contains函数：
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，否则直接使用会报类型不匹配相关的错误。
因此我们可以暂时得出一个结论：在定义一个对象时(无论是定义类、接口、还是函数)使用可以代表任意类型的输入参数通常是比较麻烦的，因为此类入参没有实际类型，因此很容易在使用时产生错误。而为了使用如此定义的对象我们需要做大量的转换工作。
泛型的出现可以解决此类问题。通常的，我们在使用泛型作为入参时，最终希望使用的总是某一种或某几种实体数据类型，而不太可能是任意类型。泛型可以帮助我们实现：定义时使用代指的参数类型，实际使用时编译器编译为具体类型的功能。
泛型出现后上述函数可以改写为：
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包的全貌了：
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函数需使用如下方式：
contains[int]([]int{1,2,3}, 1)
// 或
contains[string]([]string{"a","b","c"}, "a")
即：在使用函数时我们需要使用[type]来标明泛型参数的实际类型，但现在我们这么写也可以：
contains([]int{1,2,3}, 1)
contains([]string{"a","b","c"}, "a")
这就是类型推断，是不是看起来更有泛型的味儿了。
