为何在Go语言中无法返回带有约束类型参数的类型？

对于一个Golang开发者来说，牢固扎实的基础是十分重要的，golang学习网就来带大家一点点的掌握基础知识点。今天本篇文章带大家了解《为何在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] {...}

以上就是本文的全部内容了，是否有顺利帮助你解决问题？若是能给你带来学习上的帮助，请大家多多支持golang学习网！更多关于Golang的相关知识，也可关注golang学习网公众号。