温馨提示×

温馨提示×

您好,登录后才能下订单哦!

密码登录×
登录注册×
其他方式登录
点击 登录注册 即表示同意《亿速云用户服务条款》

Go泛型generic设计源码分析

发布时间:2023-04-12 17:43:36 来源:亿速云 阅读:138 作者:iii 栏目:开发技术

这篇文章主要讲解了“Go泛型generic设计源码分析”,文中的讲解内容简单清晰,易于学习与理解,下面请大家跟着小编的思路慢慢深入,一起来研究和学习“Go泛型generic设计源码分析”吧!

Go 泛型

的设计融入了现代语言的风格,比如类型限制(type constraint),我们在 TypeScript 和 Python 也能看到这个特性。

demo

直接进入正题:

package main
import "fmt"
// 代码中首先定义了一个接口类型 `Number`,
// 它包含了两个类型:`int64` 和 `float64`。
// 这个接口类型可以被用来限制泛型函数的类型参数范围。
type Number interface {
    int64 | float64
}
// 定义了两个非泛型函数 `SumInts` 和 `SumFloats`,
// 它们分别用于计算 `int64` 类型和 `float64` 类型的 map 中所有值的总和。
// SumInts adds together the values of m.
func SumInts(m map[string]int64) int64 {
    var s int64
    for _, v := range m {
        s += v
    }
    return s
}
// SumFloats adds together the values of m.
func SumFloats(m map[string]float64) float64 {
    var s float64
    for _, v := range m {
        s += v
    }
    return s
}
// 定义了一个泛型函数 `SumIntsOrFloats`,它接受一个类型为 `map[K]V` 的 map,并返回这个 map 中所有值的总和。
// 这个函数使用了两个类型参数 `K` 和 `V`,其中 `V` 的类型可以是 `int64` 或 `float64` 中的一个。
// 函数中使用了 `for range` 语句来遍历 map 中的值并计算它们的总和,最终返回这个总和。
// SumIntsOrFloats sums the values of map m. It supports both floats and integers
// as map values.
func SumIntsOrFloats[K comparable, V int64 | float64](m map[K]V) V {
    var s V
    for _, v := range m {
        s += v
    }
    return s
}
// `SumNumbers`,它的类型参数 `V` 必须实现 `Number` 接口类型。
// 这个函数和 `SumIntsOrFloats` 函数类似,不同之处在于它使用了 `Number` 接口类型来限制 `V` 的取值范围
// 只有实现了 `Number` 接口类型的类型才能作为 `V` 的值类型。
// SumNumbers sums the values of map m. Its supports both integers
// and floats as map values.
func SumNumbers[K comparable, V Number](m map[K]V) V {
    var s V
    for _, v := range m {
        s += v
    }
    return s
}
func main() {
    // Initialize a map for the integer values
    ints := map[string]int64{
        "first": 34,
        "second": 12,
    }
    // Initialize a map for the float values
    floats := map[string]float64{
        "first": 35.98,
        "second": 26.99,
    }
    fmt.Printf("Non-Generic Sums: %v and %v\n",
        SumInts(ints),
        SumFloats(floats))
    fmt.Printf("Generic Sums: %v and %v\n",
        SumIntsOrFloats[string, int64](ints),
        SumIntsOrFloats[string, float64](floats))
    fmt.Printf("Generic Sums, type parameters inferred: %v and %v\n",
        SumIntsOrFloats(ints),
        SumIntsOrFloats(floats))
    fmt.Printf("Generic Sums with Constraint: %v and %v\n",
        SumNumbers(ints),
        SumNumbers(floats))
}

main 函数中,代码初始化了两个 map,分别用于存储 int64 类型和 float64 类型的值。接着,代码使用非泛型的 SumIntsSumFloats 函数来计算这两个 map 中所有值的总和,并打印出结果。然后,代码使用泛型的 SumIntsOrFloats 函数来计算这两个 map 中所有值的总和,并打印出结果。最后,代码使用带有类型约束的泛型函数 SumNumbers 来计算这两个 map 中所有值的总和,并打印出结果。

这段代码演示了 Go 语言中泛型的应用,通过这个例子,我们可以更好地理解 Go 语言中的泛型功能。

如果不用泛型,我们可能要进行多次复制粘贴,代码不易维护。

如果不用类型限制,一旦加入一个类型,原有模块也不易维护。

我们用类型限制,也就是所谓的 type contract 达成一种共识,大家一眼便知,这个和 interface 代表的接口特性是一个道理。

感谢各位的阅读,以上就是“Go泛型generic设计源码分析”的内容了,经过本文的学习后,相信大家对Go泛型generic设计源码分析这一问题有了更深刻的体会,具体使用情况还需要大家实践验证。这里是亿速云,小编将为大家推送更多相关知识点的文章,欢迎关注!

向AI问一下细节

免责声明:本站发布的内容(图片、视频和文字)以原创、转载和分享为主,文章观点不代表本网站立场,如果涉及侵权请联系站长邮箱:is@yisu.com进行举报,并提供相关证据,一经查实,将立刻删除涉嫌侵权内容。

AI