通用函数从约束转变为接口的返回为 nil？

你在学习Golang相关的知识吗？本文《通用函数从约束转变为接口的返回为 nil？》，主要介绍的内容就涉及到，如果你想提升自己的开发能力，就不要错过这篇文章，大家要知道编程理论基础和实战操作都是不可或缺的哦！

我即将迁移现有代码以使用 go 泛型。这个非常基本的示例显示了问题：

// Just an interface
type Object interface {
    Test() error
}

// A func returning an interface can return `nil`
func Get() Object {
    return nil 
}

// Why I can't return `nil` from a generic func constrained to `interface Object`?
func GetG[T Object]() T {
    return nil // ./prog.go:15:9: cannot use nil as T value in return statement
}

https://go.dev/play/p/3wtg1aydzca

如果允许返回 interface object 的 func get 返回 nil，为什么 t 约束为 object 的通用版本 func getg 不允许这样做？

谁能告诉我更多关于这种行为或其背后的原因吗？

正确答案

类型参数不是它的约束。

1. 约束仅限制可用于实例化该类型参数的具体类型，并可能确定该类型参数支持哪些操作
2. 类型参数仅在编译时存在。在运行时，代码使用提供给函数的任何具体类型参数进行操作。
3. nil 可能无法分配给具体类型参数

直观地说，假设我使用定义的整数类型实现您的接口：

type foo int8
func (foo) test() error { return nil }

foo 是否满足约束 object？是的，它实现了该方法。我可以用 foo 实例化 getg 吗？是的，它满足约束条件。我可以将 nil 分配给 foo 吗？ 不，我不能：

当为变量分配存储空间时，[...]变量或值将被赋予默认值。 [...] nil 用于指针、函数、接口、切片、通道和映射。

因此，如果返回类型是类型参数，则不能总是返回 nil。其他情况下您可以返回nil：

• 如果返回类型是指向类型参数的指针，但不是 t，而是 *t。

func getg[t object]() *t {
    return nil // ok
}

• 如果您可以将 nil 分配给类型参数类型集中的所有类型（由其约束标识）：

// type set comprises only *int and *string
func getg[t *int | *string]() t {
    return nil // ok
}

可分配性中的语言规范提到了上述情况：

类型为 v 的值 x 可分配给类型为 t 的变量 [...] 如果

[...]

• x 是预声明的标识符 nil，t 是类型参数，x 可分配给 t 类型集中的每个类型。

以基本接口（仅限方法）作为约束，由于上述原因，此条件不成立：您可以使用 nil 不可分配的类型来满足它。

否则你可以做的是返回 t 的零值，你可以通过几种不同的方式来做到这一点，最简单的一种是：

func GetG[T Object]() T {
    var zero T
    return zero
}

今天带大家了解了的相关知识，希望对你有所帮助；关于Golang的技术知识我们会一点点深入介绍，欢迎大家关注golang学习网公众号，一起学习编程~