为了账号安全,请及时绑定邮箱和手机立即绑定

如何迭代在泛型函数中传递的切片联合?(T没有核心类型)

如何迭代在泛型函数中传递的切片联合?(T没有核心类型)

Go
qq_笑_17 2022-11-23 15:53:28

我正在 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 没有核心类型)


我该如何做到这一点?


查看完整描述

2 回答

?
慕村225694

TA贡献1573条经验 获得超4个赞

接口(包括接口约束)的核心类型定义如下:

如果满足以下条件之一,则接口 T 具有核心类型:

  • 一个类型U是 T 的类型集中所有类型的基础类型

  • 或者 T 的类型集仅包含具有相同元素类型 E 的通道类型,并且所有定向通道都具有相同的方向。

您的接口约束没有核心类型,因为它有两种基础类型:[]int64[]float64

因此,您不能在需要核心类型的地方使用它。值得注意的是rangemake

您可以更改接口以要求基本类型,然后在函数签名中指定切片:

// 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)

    }

}


查看完整回答
反对 回复 5天前
?
森栏

TA贡献1514条经验 获得超5个赞

这样的事情对你有用吗?


package main


import "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


查看完整回答
反对 回复 5天前

添加回答

举报

0/150
提交
取消
意见反馈 帮助中心 APP下载
官方微信