如何迭代通用函数中传递的切片并集？（T无芯型）

Question

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

我收到错误：

范围不能超过 n（N 类型的变量受 NumberSlice 约束）（N 没有核心类型）

我该如何实现这个目标？

Answer 1

接口（包括接口约束）的核心类型定义如下：

如果满足以下条件之一，则接口 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)
    }
}