Go1.18新特性对泛型支持详解

亲爱的编程学习爱好者，如果你点开了这篇文章，说明你对《Go1.18新特性对泛型支持详解》很感兴趣。本篇文章就来给大家详细解析一下，主要介绍一下泛型、1.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
}

以上就是本文的全部内容了，是否有顺利帮助你解决问题？若是能给你带来学习上的帮助，请大家多多支持golang学习网！更多关于Golang的相关知识，也可关注golang学习网公众号。