go 泛型
1. 类型参数(Type parameters)
Go语言的泛型（Generic）叫做类型参数。泛型可以让我们代码适应不同类型的参数。
泛型函数
声明语法
// 声明一个带有泛型的函数
// T 指类型参数，就是一个参数，代表类型
// Constraint 是对类型参数T的约束，限制T的取值， 可以是int、string、any等类型，any可以是任意类型的意思
// s 是要打印的参数
func name[T {Constraint}](s T) {}
函数名和函数参数列表之间插入了一组方括号，来表示类型参数。跟函数参数一样，我们需要为每一个类型参数指定「类型」，这种类型的类型Go语言称之为约束。
示例
// 打印函数
func print[T any](s ...T) {
for _, i := range s {
fmt.Println(i)
}
}
T表是切片成员的类型，但T的实际类型在定义print()的时候是不确定的，需要在调用该函数的时候指明。也就是说，我们在调用print()函数的时候需要额外传入一个特殊参数来指定T的具体类型。这种特殊的参数就叫类型参数。
使用泛型函数
func main() {
// 约束为int类型
print[int](1, 3, 4)
// 约束为string类型
print[string]("derek", "阿瓦达啃大瓜", "奇摩鸡")
// 任意类型
print[any](1, "wo")
// 任意类型，与any一样
print[interface{}](1, "wo")
// 不指定约束类型，则输入的数据类型必须为同一种类型
print(1, 3, 4)
}
指定出参类型
// 指定返回参数的类型是T
func add[T any](a, b T) T {
return a + b
}
// 也可以返回指针
func addV2[T any](a T) *T {
return &a
}
func main() {
// 约束为int类型
add[int](1, 3, 4)
// 约束为string类型
add[string]("derek", "阿瓦达啃大瓜")
}
// 结果输出：
// 8
// derek阿瓦达啃大瓜
泛型类型
// 定义一个泛型的数组
type Nums[T any] []T
// 定义一个泛型的map， map的K比较特殊，必须使用comparable来约束, 否则不生效
type Map[K comparable, V any] map[K]V
2. 内置约束 comparable
泛型参数一般都可以进行运算操作，但有两个符号是特殊的，就是：== 和 !=。 如果参数需要使用这两个作比较，则一定要使用comparable。
// 比较两个参数t、v是否相等
func Comp[T comparable](s []T, v T) int {
for i, t := range s {
if t == v {
return i
}
}
return 0
}
如果把上述的comparable改为any，则会报错：
invalid operation: t == v (type parameter T is not comparable with ==)
map数据的key有需要使用comparable，否则也会报错
3.自定义约束 （Constraint）
泛型的Constraint，可以使用any、int、string、comparable都可以，还可以定义一个interface来定义约束
// Addable 泛型操作
type Addable interface {
// 约束类型
~int | float32 | ~float64 | string
}
func add[T Addable](a, b T) T {
return a + b
}
上述的"~"符号不是必须的，但加上"~"的话，系统会兼容基类参数类型。例如，这里定义了一个类型Int
type Int int
int就是Int的基类类型，如果是这时候Addable的是~int，则Int会在其约束范围内，否则不在约束范围内。
并集约束
取约束类型的并集，int和float32都是约束
type Addable interface {
int | float32
}
交集约束
type Stringer interface {
String() string
}
type Addable interface {
int
Stringer
}
这种情况下，Addable约束的类型，必须是int类型，且这个类型实现 Stringer 接口。
