Go泛型函数实例化报错：为何GAddAll[int]赋值后调用失败？

问题场景 #

给定如下Go泛型函数：

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
}

出现两种调用结果不一致的情况：

• 执行 b := GAddAll[int] 获取函数值后调用 b(3, []int{1, 2})，报错提示 cannot infer S
• 直接调用 GAddAll[int](3, []int{1, 2}) 却能正常执行

原因解析 #

• 分步实例化的约束限制：当执行 b := GAddAll[int] 时，仅显式指定了E的类型为int，但S的类型并未确定。Go的泛型类型推断依赖调用上下文的即时信息，此时只是将部分实例化的函数赋值给变量b，没有传递参数，编译器无法从赋值动作中推断出S的具体类型（~[]int代表所有底层类型为[]int的切片类型，编译器无法确定要绑定到哪一种）。
• 直接调用的即时推断：直接调用GAddAll[int](3, []int{1, 2})时，虽只显式指定了E，但第二个参数[]int{1,2}的类型能让编译器立刻推断出S就是[]int（符合~[]E约束，因为[]int的底层类型就是自身），因此能完成完整的泛型实例化并正常执行。
• 近似约束的特殊性：~[]E这种近似约束允许S是任何底层类型为[]E的自定义切片类型，编译器在无参数提示的情况下，无法确定要把S绑定到原生[]int还是某个自定义的type MySlice []int，这是分步实例化时推断失败的核心原因。

内容的提问来源于stack exchange，提问作者jsk2019