近日,Go 官网博客基于 2021 年 GopherCon 大会发表了一篇介绍新个性“泛型”的文章,作者为 Robert Griesemer 和 Ian Lance Taylor。
据介绍,Go 1.18 版本减少了对泛型的反对,泛型是自 Go 开源以来的最大扭转。泛型是一种编写范式,它独立于所应用的特定类型,泛型容许在函数和类型的实现中应用某个类型汇合中的任何一种类型。
泛型为 Go 增加了三个新的重要内容:
- 面向函数和类型的“类型参数”(type parameters)
- 将接口类型定义为类型汇合,包含没有办法的接口类型
- 类型推断:在许多状况下,在调用泛型函数时可省略类型参数(type arguments)
类型推断
这是 Go 中最简单的变更,包含:
- 函数参数类型推断 (Function argument type inference)
- 束缚类型推断 (Constraint type inference)
尽管类型推断的工作原理细节很简单,但应用它并不简单:类型推断要么胜利,要么失败。如果胜利,能够省略类型参数,调用泛型函数看起来与调用一般函数没有什么不同。如果类型推断失败,编译器将给出谬误音讯,在这种状况下,只需提供必要的类型参数。
type arguments
当初函数和类型都具备类型参数,类型参数列表看起来像一个一般的参数列表,除了它应用方括号而不是圆括号。
先从浮点值的根本非泛型 Min 函数开始:
func Min(x, y float64) float64 {
if x < y {return x}
return y
}
通过增加类型参数列表来使这个函数泛型化——使其实用于不同的类型。在此示例中,增加了一个带有单个类型参数 T 的类型参数列表,并将 float64
替换为T
。
import "golang.org/x/exp/constraints"
func GMin[T constraints.Ordered](x, y T) T {
if x < y {return x}
return y
}
当初就能够应用类型参数调用此函数
x := GMin[int](2, 3)
向 GMin
提供类型参数,在这种状况下 int
称为实例化。实例化分两步进行。首先,编译器在泛型函数或泛型类型中用所有类型参数替换它们各自的类型参数。
其次,编译器验证每个类型参数是否满足各自的束缚。如果第二步失败,实例化就会失败,程序就会有效。胜利实例化后,即可产生非泛型函数,它能够像任何其余函数一样被调用。例如:
fmin := GMin[float64]
m := fmin(2.71, 3.14)
实例化 GMin\[float64\]
产生了一个与 Min
函数等效的函数,能够在函数调用中应用它。类型参数也能够与类型一起应用。
type Tree[T interface{}] struct {left, right *Tree[T]
value T
}
func (t *Tree[T]) Lookup(x T) *Tree[T] {...}
var stringTree Tree[string]
这里泛型类型 Tree
存储了类型参数 T 的值。泛型类型也能够有办法,如本例中的 Lookup
。为了应用泛型类型,它必须被实例化;Tree\[string\]
是应用类型参数 string
来实例化 Tree
的示例。
泛型是 Go 1.18 中一个重要的新语言个性,Robert Griesemer 和 Ian Lance Taylor 示意,这个性能实现得很好并且品质很高,但在生产环境中部署泛型代码时,还是须要审慎行事。
博客原文:
https://go.dev/blog/intro-gen…