关于golang:go118泛型的简单尝试

明天 golang 终于公布了 1.18 版本，这个版本最大的一个扭转就是退出了泛型。尽管没有在 beta 版本的时候尝试泛型，然而因为在其余语言的泛型教训，动手泛型不是件难事~

官网示例

Tutorial: Getting started with generics – The Go Programming Language

依据官网示例能够看出，在 go 中泛型申明应用中括号，大体用法也与其余语言差不多。上面就官网示例中呈现的几个点做记录。

comparable

在泛型的束缚中有 comparable 关键字，咱们进到源码中看到解释：

// comparable is an interface that is implemented by all comparable types
// (booleans, numbers, strings, pointers, channels, arrays of comparable types,
// structs whose fields are all comparable types).
// The comparable interface may only be used as a type parameter constraint,
// not as the type of a variable.
type comparable interface{comparable}

看得出来这是官网定义的一个可比拟的类型的一个泛型束缚，它也只能存在于类型参数束缚的时候。

一些扭转

咱们尝试批改官网示例，体验一下其余的关键词及相干用法。

~ 波浪号

咱们会在一些泛型示例中看到这样的申明：

type Number interface {~int64 | float64 | string}

~ 在这里应该能够了解为 泛类型，即所有以 int64 为根底类型的类型都可能被束缚。

咱们来举个例子：当初咱们申明一个以 int64 为根底类型，取名为testInt

type testInt int64

type Number interface {~int64}

func SumIntsOrFloats[K comparable, V Number](m map[K]V) V {
    var s V
    for _, v := range m {s += v}
    return s
}

func main() {ints := map[string]testInt{
        "first":  34,
        "second": 12,
    }

    fmt.Printf("Generic Sums: %v\n",
        SumIntsOrFloats(ints))
}

在这个示例中，能够看到咱们将 testInt 作为自定义类型传入了泛型办法中，在这种状况下，如果不给 Number 中的 int64 加~，这里就会报错。加上 ~ 之后代表以 int64 为根本类型的自定义类型也能够通过泛型束缚。

未公布的内容

在泛型的测试阶段，有一个 constraints 包被退出到源码中，这个包外面申明了一些官网定义的束缚，然而在正式的公布版中却被去掉了。