为何Go函数无法返回带约束类型参数的泛型类型？

先看这段无法编译的代码：

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 statement

你可能会疑惑：int满足any约束，为什么返回MyStruct[int]不能作为MyStruct[T]返回？这里的核心误区在于对泛型函数类型参数的理解偏差：

泛型函数的类型参数T是由调用方决定的，而非函数内部自行指定。你的函数声明承诺了“无论调用者传入什么符合any的类型T，我都能返回对应的MyStruct[T]”，但你在函数内部硬编码返回了MyStruct[int]——这只对T=int的情况有效，一旦调用者用其他类型（比如string）调用，返回的MyStruct[int]和要求的MyStruct[string]是完全不兼容的不同类型，根本无法转换。

Go泛型的核心设计原则之一是：涉及类型参数的操作必须对约束类型集中的所有类型都有效。这个限制不是编译器实现的临时问题，而是Go为了保证类型安全、避免泛型函数出现调用时的类型不匹配而做出的根本性设计选择。

举个直观的例子：如果允许这么写，当调用returnConstrainedGeneric[string]()时，你拿到的会是一个MyStruct[int]，但你以为它是MyStruct[string]，后续对MyField做字符串操作时必然会引发类型错误——而Go的类型系统就是要在编译期阻止这种情况发生。

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