泛型是Go语言近年来最重要的特性之一,但是,很多开发者在使用泛型时,可能会对其中的某些语法感到困惑。特别是~int这样的写法,常常让人摸不着头脑。究竟这个波浪线~代表什么含义?它为什么存在?它又能为我们带来什么便利?
其实,~T表示“所有底层类型为T的类型”,而不仅仅是T本身,也就是近似类型。这种设计使得泛型函数能够接受具有相同底层类型的多种类型,从而增强了泛型的灵活性和实用性,同时保持了类型安全。
在 Go 1.18 之前,如果你定义了一个类型别名type MyInt int,尽管MyInt的底层类型是int,但在类型系统中,MyInt和int是不同的类型。这导致了一个实际问题:当你编写一个泛型函数来处理所有整数类型时,自定义的整数类型会被排除在外。