Go-泛型

71 阅读1分钟

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范围