9、Go语言泛型与环境搭建全解析

Go语言泛型与环境搭建全解析

1. 类型约束的使用

在Go语言中，类型约束可以限制类型参数的类型范围。例如， int8 | int16 | int32 | int64 可以作为类型约束，但每次都这样写很繁琐，因此可以定义命名类型约束。

1.1 命名类型约束示例

type SignedInt interface {
    int8 | int16 | int32 | int64
}

func sortInts[I SignedInt](slice []I) {
    // 函数实现
}

需要注意的是， SignedInt 是类型约束，而不是类型， I 才是定义的类型参数。

1.2 支持基于类型的约束

如果想让约束支持基于某些基本类型的自定义类型，可以使用 ~ 符号。

type SignedInt interface {
    ~int8 | ~int16 | ~int32 | ~int64
}

~ 表示允许基于该类型的任何类型。

1.3 更强大的约束

当前Go版本未定义一些基础类型约束，未来版本可能会有一个名为 constraints 的包。其中有一个 Ordered 类型约束