如何迭代在泛型函数中传递的切片联合？（T没有核心类型）

Question

我正在 go 1.18 中测试泛型并查看了这个示例。我想重新创建该示例，但改为能够传入一片 int 或一片浮点数，而在函数中，我将对片中的所有内容求和。

这是我在迭代切片时遇到的一些问题。这是我试过的：

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 float64func 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)    }}

Answer 2

这样的事情对你有用吗？package mainimport "fmt"type NumberOrFloat interface {    int64 | float64}func add[N NumberOrFloat](n []N) {    for _, v := range n {        fmt.Println(v)    }}func main() {    ints := []int64{1, 2}    add(ints)}这里的区别在于你定义了数组元素的类型约束（而不是数组类型）：[]N