Go1.18新特性对泛型支持详解
作者:不习惯的习惯变成习惯
这篇文章主要为大家介绍了Go1.18新特性对泛型支持详解,有需要的朋友可以借鉴参考下,希望能够有所帮助,祝大家多多进步,早日升职加薪
1、泛型是什么
Go1.18增加了对泛型的支持,泛型是一种独立于使用的特定类型编写代码的方式。现在可以编写函数和类型适用于一组类型集合的任何一种。泛型生命周期只在编译期,旨在开发中减少重复代码的编写。
由于go属于静态强类型语言,例如在比较两个数的大小时,没有泛型的时候,仅仅只是传入类型不一样,我们就要再复制一份一样的函数,如果有了泛型就可以减少这类代码。
//int func GetMaxNumber(a, b int) int { if a > b { return a } return b } //int32 func GetMaxNumber(a, b int32) int32 { if a > b { return a } return b }
go1.18后引入泛型后,只需要再函数后用中括号声明T可能出现的类型,中间用符号|分隔。
//使用泛型 func GetMaxNumber [T int | int32 ](a, b T) T { if a > b { return a } return b }
2、泛型类型的定义
2.1、声明一个自定义类型
跟声明接口一样,使用 type x interface{}关键字来声明,不过里面的成员方法不再是方法,而是类型,类型之间用符号|隔开。
成员类型支持go中所有的基本类型。
type MyT interface { int | int8 | int16 | int32 | int64 | []int | map[int]int | struct{} }
2.2、内置的泛型类型any和comparable
any
:表示go里面所有的内置基本类型,等价于interface{},其实就是interface{}的别名。
//这里的any并非泛型的约束,而是类型 func test(x any) any { return x }
comparable
: 表示go里面所有的内置的可比较类型。
2.3、泛型中的~符号是什么
符号~都是与类型一起出现的,用来表示支持该类型的衍生类型
//int的衍生类型 type intA int type intB = int //不仅支持int,还支持int的衍生类型intA和intB type Myint interface { ~int | float }
以上就是Go1.18新特性对泛型支持详解的详细内容,更多关于Go1.18新特性支持泛型的资料请关注脚本之家其它相关文章!