Go在1.17提出了泛型,并在1.18开始引入
泛型定义语法
// 声明一个带有泛型的函数
// T :
// 指类型参数,就是一个参数,代表类型
// Constraint :
// 是对类型参数T的约束,限制T的取值,
// 可以是int、string、any等类型,any可以是任意类型的意思
// 也可以是一系列类型的组合,使用|连接 比如如上add函数定义的int |float32
// s :
// T类型的参数
func name[T {Constraint}](s T) T {}
如下:
func addT[T int | float32](x, y T) T {
return x + y
}
泛型的作用如下:
- 通用化,同一个逻辑不必对每个类型重复实现
- 类型安全和自动推断
泛型常见用法
基础类型拓展
~前缀表示基础类型的扩展类型也可以支持, 对于type MyInt int MyInt类型,如上addT函数无法支持, 如下定义声明扩展类型也支持即可
func addT2[T ~int | ~int64 | ~float32 | ~float64](x, y T) T {
return x + y
}
类型独立成接口
type Number interface {
int | int64 | float32 | float64
}
func addNumber[T Number](x, y T) T {
return x + y
}
自定义泛型类型
泛型类型本质是不同接口类型
泛型注意点
泛型的一大作用是类型安全
举个例子:
func addT3[T int8](x T) T {
return x + 1_000
}
func addT4[T int8](x T) T {
return x + 100
}
addT3不会提示语法错误,但是编译报错-untyped int constant 1000,这里1000超出int8范围