我正在测试go 1.18中的仿制药，并查看了这example个.
这是我在迭代切片时遇到的一些问题.这就是我try 的:
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
// got: cannot range over n (variable of type N constrained by NumberSlice)
// (N has no core type)
for _, v := range n {
fmt.Println(v)
}
}
func main() {
ints := []int64{1, 2}
add(ints)
}
我如何做到这一点？
接口(包括接口约束)的core type定义如下:
如果满足以下条件之一，则接口T具有核心类型:
有a single type 100 which is the underlying type of all types in the type set of T个
或者T的类型集只包含具有相同元素类型E的通道类型，并且所有定向通props 有相同的方向.
接口约束没有核心类型，因为它有two个底层类型:[]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)
}
}