Go泛型传入不同类型参数引发类型不匹配错误原因解析

以下是报错的完整代码：

import "fmt"
import "reflect"

func sum[T int | float64](a, b T) T {
    fmt.Println("Type of a: ", reflect.TypeOf(a))
    fmt.Println("Type of b: ", reflect.TypeOf(b))
    return a + b
}

type Pair[K, V any] struct {
    key K
    val V
}

func main() {
    p := Pair[int, float64]{key: 10, val: 10.2}
    fmt.Println(sum(10, 10.2))
    fmt.Println(sum(10, -40))
    fmt.Println(sum(20, 20.100909999988888))
    fmt.Println(sum(p.key, p.val)) // 此处执行报错
}

错误核心原因 #

这条语句报错的本质是Go泛型的类型推导规则约束：

1. 泛型函数sum的类型参数要求入参类型完全一致
   sum函数定义了类型参数T int | float64，意味着调用时两个入参a和b必须是同一种类型——要么都是int，要么都是float64，返回值类型也与入参类型保持一致。

2. 变量类型的明确性导致推导冲突
   实例p是Pair[int, float64]类型，所以p.key是明确的int类型，p.val是明确的float64类型。调用sum(p.key, p.val)时，编译器无法推导出一个符合要求的T：

   • 若推导T为int，则p.val（float64）无法隐式转换为int；
   • 若推导T为float64，则p.key（int）虽然可以显式转换，但Go的泛型类型推导不会自动执行隐式类型转换，编译器无法确定你期望的T类型，因此抛出类型不匹配错误。

3. 对比其他正常调用的差异

• sum(10, 10.2)能运行，是因为编译器会把字面量10（int）自动推导为float64，让两个入参类型统一；
• sum(10, -40)两个都是int字面量，直接推导T为int；
• 但p.key和p.val是已经确定类型的变量，编译器不会主动转换变量类型来适配泛型参数。

修复方案 #

有两种方式可以解决这个问题：

• 显式指定泛型参数类型，强制编译器转换类型：

  fmt.Println(sum[float64](p.key, p.val))
  

• 手动转换其中一个参数的类型，让两者类型一致：

  fmt.Println(sum(float64(p.key), p.val))
  

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