如何使用推断的可空可比较泛型创建一个函数？

在IT行业这个发展更新速度很快的行业，只有不停止的学习，才不会被行业所淘汰。如果你是Golang学习者，那么本文《如何使用推断的可空可比较泛型创建一个函数？》就很适合你！本篇内容主要包括##content_title##，希望对大家的知识积累有所帮助，助力实战开发！

考虑以下函数：

func nilcompare[t comparable](a *t, b *t) bool {
    if a == nil && b == nil {
        // if both nil, we consider them equal
        return true
    }
    if a == nil || b == nil {
        // if either is nil, then they are clearly not equal
        return false
    }
    return *a == *b
}

这个功能有效。但是，当我调用它时，我必须提供类型，因为 go 无法推断（ 无法推断 t）它，例如nilcompare[string](a, b)，其中 a 和 b 是 *string。

如果我将 t 修改为 *comparable 并将 a 和 b 修改为 t，则会收到此错误： 不能在类型约束之外使用可比较的类型：接口是（或嵌入）可比较的

我使用的是 go 1.19.2。

$ go version
go version go1.19.2 linux/amd64

讽刺的是，我的ide（goland 2022.2.3）认为上述函数应该是可推断的。

有没有办法让一个函数接受可空的 comparable 并使其不可推断？还是我做得正确，但我需要帮助 go 函数？

正确答案

在这种情况下，类型推断就起作用了。您根本无法使用文字 nil 来推断 t，如 nilcompare(nil, nil)，因为它并不真正携带类型信息。

要使用 nils 测试您的函数，请执行以下操作：

package main

import "fmt"

func main() {
    var a *string = nil
    var b *string = nil
    // a and b are explicitly typed
    res := nilcompare(a, b) // t inferred
    fmt.println(res) // true
}

这也可以工作：

func main() {
    // literal nil converted to *string
    res := NilCompare((*string)(nil), (*string)(nil)) // T inferred
    fmt.Println(res) // true
}

以上就是《如何使用推断的可空可比较泛型创建一个函数？》的详细内容，更多关于的资料请关注golang学习网公众号！