如何让Go语言中支持可空可比较泛型的函数实现类型推断？

给定以下Go泛型函数：

func NilCompare[T comparable](a *T, b *T) bool {
    if a == nil && b == nil {
        // 两者都为nil时视为相等
        return true
    }
    if a == nil || b == nil {
        // 其中一个为nil时不相等
        return false
    }
    return *a == *b
}

该函数功能正常，但调用时必须显式指定类型（例如NilCompare[string](a, b)，其中a和b是*string类型），Go 1.19.2编译器无法自动推断类型，提示cannot infer T。

尝试修改泛型参数为*comparable，并将参数a、b改为T类型时，会报错：cannot use type comparable outside a type constraint: interface is (or embeds) comparable。

当前环境：

$ go version
go version go1.19.2 linux/amd64

另外，IDE（GoLand 2022.2.3）认为该函数应该可以自动推断类型，但实际编译不通过。

请问是否存在方法让这类接收可空可比较类型的函数实现类型推断？还是当前写法正确，必须显式指定类型？

无法自动推断的原因 #

Go 1.19的泛型类型推断规则无法从指针类型*T反向推导出底层的类型参数T，这是该版本的固有限制——编译器需要直接从函数参数匹配到类型参数，反向推导不在支持范围内。

实现自动推断的可行方案 #

可以通过调整泛型约束的定义，让类型参数直接对应指针类型，而非底层值类型：

方案一：自定义指针约束（适配Go 1.19）

先定义一个约束，限定类型为comparable类型的指针：

type PointerOfComparable[T comparable] interface {
    *T
}

然后修改函数的泛型参数，让编译器能从输入的指针参数直接推断类型：

func NilCompare[T comparable, P PointerOfComparable[T]](a, b P) bool {
    if a == nil && b == nil {
        return true
    }
    if a == nil || b == nil {
        return false
    }
    return *a == *b
}

调用时无需显式指定类型，编译器会自动推断T和P：

var str1, str2 *string
fmt.Println(NilCompare(str1, str2)) // 正常编译运行

方案二：简化约束（Go 1.20+适用）

如果升级到Go 1.20及以上版本，编译器的类型推断能力有所提升，可以直接在约束中定义指针类型，写法更简洁：

func NilCompare[T interface{ *comparable }](a, b T) bool {
    if a == nil && b == nil {
        return true
    }
    if a == nil || b == nil {
        return false
    }
    return *a == *b
}

注意：Go 1.19不支持这种直接在约束中写*comparable的语法，所以1.19版本优先选方案一。

关于IDE的误判 #

GoLand的静态分析逻辑可能提前适配了更高版本Go的推断规则，或者存在分析偏差，导致它误判该场景下的类型推断可行性，但实际Go 1.19编译器并不支持这种反向推导。

结论 #

在Go 1.19版本中，原写法确实需要显式指定类型；通过调整泛型约束的方式，可以实现自动类型推断。如果可以升级到更高版本的Go，还能获得更简洁的写法。

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