为什么 Go 函数不能返回带有约束类型参数的类型？

为什么Go函数不能返回带有约束类型参数的类型？这是一个经常引发疑惑的问题。在Go语言中，函数的返回类型不能是带有约束类型参数的类型，这主要是由于Go语言对泛型的支持较为有限所导致的。在Go语言中，没有类似于Java或C#中的泛型机制，也没有支持约束类型参数的语法。因此，函数的返回类型只能是具体的类型，无法使用约束类型参数。这意味着我们无法在函数中定义一个参数类型为约束类型的返回类型。这样的限制可能会使得某些场景下的代码编写变得稍显麻烦，但也是Go语言设计的一部分。

问题内容

在尝试在 go 中的编译时强制执行有效状态转换的问题时，我遇到了函数无法返回具有非具体类型参数的泛型类型的限制，如此处所述问题。无法构建的 mre（go playground 链接）：

type mystruct[t any] struct {
    myfield t
}

func returnconstrainedgeneric[t any]() mystruct[t] {
    return mystruct[int]{
        myfield: 1,
    }
}

编译器返回错误 cannot use mystruct[int]{…} (value of type mystruct[int]) as mystruct[t] value in return statements.

链接的问题给出了这样的推理：

The error occurs because operations that involve a type parameter (including assignments and returns) must be valid for all types in its type set.

它概述了包括类型断言在内的几个解决方法，但我很好奇为什么存在此限制。天真地，在我的示例中，我希望从 returnconstrainedgeneric() 返回 mystruct[int] 类型的值是有效的，因为 int 满足 any 的类型约束。我希望 returnconstrainedgeneric() 的调用者不知道返回值的类型为 mystruct[int]，它只知道它是 mystruct[t]，其中 t 满足 any 约束。我的推理中缺少什么？这是 go 如何实现泛型/类型约束的根本问题，还是 go 编译器当前实现的问题，还是其他问题？

解决方法

这是无效的，因为语法意味着

x:=returnconstrainedgeneric[string]()
// x is mystruct[string]

但是您正在尝试返回 mystruct[int]。

您推理中的缺陷是您在实例化函数时指定了函数的返回类型。该函数无法返回满足 any 约束的类型，它返回实例化的类型。换句话说，实例化函数的 t 必须与 mystruct[t] 中的 t 相同。

如果您总是返回 mystruct[int]，请这样声明：

func returnconstrainedgeneric[t any]() mystruct[int] {...}

或者，如果该函数根本不使用 t：

func returnConstrainedGeneric() MyStruct[int] {...}

以上就是为什么 Go 函数不能返回带有约束类型参数的类型？的详细内容，更多请关注编程网其它相关文章！