揭示联合切片上的泛型迭代(解决“T 没有核心类型”)
Go 泛型的探索仍在继续,这次是深入研究面临一个有趣的挑战:迭代切片的并集。我们的目标是创建一个通用函数,可以处理整数切片和浮点数切片,然后对它们的内容求和。
我们最初的尝试遇到了障碍:
type NumberSlice interface { []int64 | []float64 } func add[N NumberSlice](n N) { for _, v := range n { fmt.Println(v) } }
我们收到了错误“范围不能超过 n(N 类型的变量受 NumberSlice 约束)(N 没有核心类型)。”这个错误源于通用接口约束缺乏核心类型。
理解核心类型至关重要。当接口的类型集具有单一底层类型或仅由具有相同元素类型的通道类型和具有相同方向的定向通道组成时,就存在核心类型。不幸的是,我们的接口约束不满足这些条件,因为它有两种基础类型:[]int64和[]float64。
要解决这个问题,我们可以重新定义我们的接口以要求基本类型并传递一个切片基本类型作为函数参数:
type Number interface { int64 | float64 } func add[N Number](n []N) { for _, v := range n { fmt.Println(v) } }
或者,我们可以使用更详细的方法和专门的 NumberSlice 类型参数:
type NumberSlice[N int64 | float64] interface { ~[]N } func add[S NumberSlice[N], N int64 | float64](n S) { for _, v := range n { fmt.Println(v) } }
通过利用这些技术,我们可以有效地迭代联合切片并在泛型函数中执行所需的操作。
以上是如何在 Go 泛型中迭代联合切片并解决'T has no core type”错误?的详细内容。更多信息请关注PHP中文网其他相关文章!