细细探究Go泛型generic设计

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))
}