我开始使用 go 泛型，但很难理解为什么这段代码无法编译：

func f(string) {}

func xyz[T string](p T) {
    f(p) // Error! Cannot use 'p' (type T) as the type string
}

在函数xyz中，为什么不能假设t存在类型约束使得t为字符串类型？

我知道我可以简单地写 f(string(p))，但我仍然对问题的答案感兴趣。

正确答案

这是因为可分配性的规则，在您的具体情况下，这是最后一个规则.

v 是一个类型参数，t 不是一个命名类型，并且 v 类型集中的每个类型的值都可以分配给 t。

类型 string 是一个命名类型，因此，尽管 t 类型集中的每个类型都可分配给 string，但类型参数 t 本身不可分配给 string。

您可以将其与未命名类型进行比较。

func f([]string) {}

func xyz[T []string](p T) {
    f(p) // no issue
}