函数值约束导致实例化失败的问题

从现在开始，我们要努力学习啦！今天我给大家带来《函数值约束导致实例化失败的问题》，感兴趣的朋友请继续看下去吧！下文中的内容我们主要会涉及到等等知识点，如果在阅读本文过程中有遇到不清楚的地方，欢迎留言呀！我们一起讨论，一起学习！

func gaddall[e int, s ~[]e](e e, s s) s {
   copys := make(s, len(s))
   for i, v := range s {
   copys[i] = v + e
   }
   return copys
}

对于上面的代码，如果我这样实例化它，运行时会报错（无法推断s）

b := gaddall[int]
fmt.printf("%v", b(3, []int{1, 2}))

但是这样工作正常

fmt.Printf("%v", GAddAll[int](3, []int{1, 2}))

我想知道为什么。

正确答案

实例化失败，因为 s ~[]e 有近似约束，并且没有足够的类型信息来实例化 s。

当您使用以下方式分配函数值时：

b := gaddall[int]

该函数已被实例化。引用规范：

未调用的泛型函数需要类型参数列表来实例化； 如果列表是部分的，则所有剩余的类型参数都必须是可推断的。

然而，s 并不是可推断的。编译器唯一可用的信息是类型参数 e。经过第一次替换后，编译器只能推断约束 ~[]e，现在是 ~[]int，但类型参数 s 仍然未知。

鉴于带有波形符的近似类型集 (~) 实际上是无限的，因此无法最终确定 s 是什么 - 它可能是 type fooslice []int - 并且实例化失败。

因此，如果您需要传递函数值，则必须通过提供两个类型参数来实例化：

b := gaddall[int, []int] // ok
fmt.printf("%v", b(3, []int{1, 2}))

用调用表达式代替：

gaddall[int](3, []int{1, 2})

编译器仍然无法从类型参数int推断出s，但它可以从非类型参数[]int{1,2推断出它}，然后实例化该函数。

被调用的泛型函数可以提供（可能是部分）类型参数列表，或者可以完全省略它如果省略的类型参数可以从普通（非类型）推断出来函数参数。

作为澄清，如果您要从 s ~[]e 中删除波形符，如下所示：

func GAddAll[E int, S []E](e E, s S) S {}

仅提供 e 即可成功推理，因为 s 约束的类型集将具有基数 1（精确类型）。

终于介绍完啦！小伙伴们，这篇关于《函数值约束导致实例化失败的问题》的介绍应该让你收获多多了吧！欢迎大家收藏或分享给更多需要学习的朋友吧~golang学习网公众号也会发布Golang相关知识，快来关注吧！