我正在 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)
    }
}