问题内容
我正在 go 1.18 中测试泛型并查看了这个示例。 我想重新创建该示例，但能够传入 int 切片或 float 切片，并且在函数中我将总结切片中的所有内容。
这是我在迭代切片时遇到一些问题的时候。这是我尝试过的：
package main
import "fmt"
// numberslice constraint
type numberslice interface {
[]int64 | []float64
}
func add[n numberslice](n n) {
// want: to range over n and print value of v
for _, v := range n {
fmt.println(v)
}
}
func main() {
ints := []int64{1, 2}
add(ints)
}
我收到错误：
cannot range over n (variable of type N constrained by NumberSlice) (N has no core type)
我该如何实现这个目标？
正确答案
接口（包括接口约束）的核心类型定义如下：
如果满足以下条件之一，则接口 t 具有核心类型： 满意：
-
存在单一类型
u，它是t类型集中所有类型的底层类型 -
或者t的类型集只包含具有相同元素类型e的通道类型，并且所有有向通道具有相同的方向。
您的接口约束没有核心类型，因为它有两个底层类型：[]int64 和 []float64。
因此您不能在需要核心类型的地方使用它。特别是 range 和 make。
您可以更改接口以要求基本类型，然后在函数签名中指定切片：
// still no core type...
type number interface {
int64 | float64
}
// ...but the argument will be instantiated with either int64 or float64
func add[n number](n []n) {
for _, v := range n {
fmt.println(v)
}
}
这也有效，但更加冗长：
type NumberSlice[N int64 | float64] interface {
// one core type []N
~[]N
}
func add[S NumberSlice[N], N int64 | float64](n S) {
for _, v := range n {
fmt.Println(v)
}
} 
