问题内容
我开始使用 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
}
登录后复制
以上就是将具有精确约束的类型参数传递给具有该参数的函数?的详细内容,更多请关注每日运维网(www.mryunwei.com)其它相关文章!