即墨市网站建设,谎称在网站网站做维护,家庭宽带 做网站,网页优化包括社区长期高呼的泛型特性在Golang 1.18中终于正式发布#xff0c;Go泛型实现与传统的C有较大差异#xff0c;更像Rust的泛型实现。本文详细介绍Golang泛型及其特性#xff0c;包括泛型语法、类型参数、类型约束、类型近似以及constraints包提供内置类型等。 最近写Dao代码Go泛型实现与传统的C有较大差异更像Rust的泛型实现。本文详细介绍Golang泛型及其特性包括泛型语法、类型参数、类型约束、类型近似以及constraints包提供内置类型等。 最近写Dao代码利用泛型可让代码更简洁通用。为了更系统掌握特整理了Go泛型相关内容。 泛型概述
泛型可以让更通用无需给参数或返回值显示指定特定类型如写函数或结构体时无需具体指定值的类型。具体值类型之后传入从而避免大量冗余模板代码。
泛型的目标就是消除模板代码。举例反转数组函数无需知道数组元素类型但如果不采用泛型则不能保障类型安全或给每个具体类型重试实现同样逻辑增加维护成本。
泛型语法
Go1.18.0 引入新的语法支持类型元数据并定义类型约束。举例
func main() {fmt.Println(reverse([]int{1, 2, 3, 4, 5}))
}// T 是类型参数在函数体内像正常类型一样使用
// any 是类型约束后面会介绍其他类型
func reverse[T any](s []T) []T {l : len(s)r : make([]T, l)for i, ele : range s {r[l-i-1] ele}return r
}函数名后[]用于指定类型参数, 可以包括一组类型标识以及约束类型。这里T是类型参数可用于函数参数和返回值类型。any是interface的别名其定义为type any interface{}。
定义好泛型函数后调用时直接传入具体类型。我们也可以实例化泛型函数然后再调用
func main() {// fmt.Println(reverse([]int{1, 2, 3, 4, 5}))// 实例化泛型函数reverseInt : reverse[int]// 使用reverseInt进行调用reverseInt([]int{1, 2, 3, 4, 5})}前面的调用方式Golang编译器自动推断泛型类型所以下面两种方式结果一致
// 未传入类型
fmt.Println(reverse([]int{1, 2, 3, 4, 5}))// 传入类型
fmt.Println(reverse[int]([]int{1, 2, 3, 4, 5}))类型参数
基于具体类型的实用函数实用泛型让代码更通用下面看一些具体示例包括SliceMap当然Channel也支持泛型
Slice
// 泛型slice ForEach函数, 对每个元素执行一个特定函数. // 通过实用泛型使得ForEach功能更通用适合更多类型. func ForEach[T any](s []T, f func(ele T, i int , s []T)){ for i,ele : range s { f(ele,i,s) } } - Mapmap需要两个类型key和value类型下面示例value没有限制key需要满足comparable限制
// keys 返回mapkey集合 // 这里 m 使用K 和 V作为泛型 // V 的约束为 any // K的约束为 comparable可以理解为任何支持 ! 和 操作的类型后面会讲解约束
func keys[K comparable, V any](m map[K]V) []K { // 使用K类型和map长度创建分片 key : make([]K, len(m)) i : 0 for k, _ : range m { key[i] k i } return key } - 结构体类型参数Go也支持使用类型参数定义struct。语法和函数类似可以在struct的数据成员和方法上使用类型参数。
// T is type parameter here, with any constraint type MyStruct[T any] struct { inner T }
// No new type parameter is allowed in struct methods func (m *MyStruct[T]) Get() T { return m.inner } func (m *MyStruct[T]) Set(v T) { m.inner v } 方法仅能使用struct中定义的类型参数不能使用新的类型参数。- 嵌套类型参数泛型类型可以嵌套在其他类型中定义在函数或结构体的类型参数可传给任何其他带类型参数的类型。举例
// Generic struct with two generic types type Enteries[K, V any] struct { Key K Value V }
// map需要key可比较K声明为comparable约束 // 这里使用了嵌套参数类型 // 初始化Enteries[K,V] 作为返回值类型它使用KV作为参数 func enteries[K comparable, V any](m map[K]V) []*Enteries[K, V] { // define a slice with Enteries type passing K, V type parameters e : make([]*Enteries[K, V], len(m)) i : 0 for k, v : range m { // 使用new关键字创建变量 newEntery : new(Enteries[K, V]) newEntery.Key k newEntery.Value v e[i] newEntery i } return e } 这里Enteries类型作为enteries函数的返回值通过传入需要的类型被实例化。## 类型约束与C不同Go泛型仅允许执行interface内列举的操作这里interface称为约束。编译器使用约束来确保为使用类型参数实例化值执行的所有操作在一定类型范围内。举例下面代码片段中T仅支持string方法如len()或其他字符串方法。
// Stringer is a constraint type Stringer interface { String() string }
// Here T has to implement Stringer, T can only perform operations defined by Stringer func stringer[T Stringer](s T) string { return s.String() } ## 预定类型作为约束Go的新功能允许预定义类型(如int和string)实现约束中使用的interface。这些具有预定义类型的interface只能用作约束。
type Number { int } 不能在方法上使用这些预定义类型因为预定义类型在这些已定义类型上没有方法。
type Number { int Name()string // int don’t have Name method } |操作可以定义联合类型即定义多个具体类型作为预定义类型
type Number interface { int | int8 | int16 | int32 | int64 | float32 | float64 } 上面示例中Number类型支持所有能够执行如 , ,-算术操作的类型。可以使用联合类型作为约束定义泛型函数
// T 是类型参数支持上述联合类型的一种 // 具体联合类型参数应该能实现算术运算操作 func Min[T Number](x, y T) T { if x y { return x } return y } ## 近似类型Go支持从预定义类型如int,string创建用户定义类型 ~ 操作符指定interface支持与底层相同的类型。举例Point类型底层为int类型则Number定义需要使用~操作符.
// Any Type with given underlying type will be supported by this interface type Number interface { ~int | ~int8 | ~int16 | ~int32 | ~int64 | ~float32 | ~float64 }
// Type with underlying int type Point int
func Min[T Number](x, y T) T { if x y { return x } return y }
func main() { // creating Point type x, y : Point(5), Point(2) fmt.Println(Min(x, y))} 也可以不声明直接使用近似类型作为类型参数:
// Union operator and type approximation both use together without interface func Min[T ~int | ~float32 | ~float64](x, y T) T { if x y { return x } return y } 约束也支持嵌套,Number约束嵌套使用Float约束:
// Float is made up of all the float type type Float interface { ~float32 | ~float64 }
// Number is build from Integer and Float type Number interface { Integer | Float }
// Using Number func Min[T Number](x, y T) T { if x y { return x } return y } ## constraints 包constraints包暴露一些预定义约束类型,既然已经内置了约束类型,最好直接使用。其中最重要的是[Ordered](https://pkg.go.dev/golang.org/x/exp/constraints#Ordered)约束所有支持,,, ! 操作的类型。
func min[T constraints.Ordered](x, y T) T { if x y { return x } else { return y } } ## 总结interface表示实现该interface的一组类型泛型不是interface的替代泛型是基于interface设计的为了提升Go类型安全同时消除代码重复。泛型是实际类型的占位符在编译期间泛型代码可能会转换为基于interface的具体实现。本文介绍了如定义类型参数以及如何和函数和结构体一起使用类型参数实现泛型。同时也介绍了联合类型和近似类型最后还提及了contraints包内置的类型。参考内容https://blog.logrocket.com/understanding-generics-go-1-18/ 以及官方文档。
