理解常规版本和泛型版本之间的函数调用优先级
理解常规版本和泛型版本之间的函数调用优先级
提问于 2016-01-18 18:39:06
在此代码中：
class Foo {
}
func go(input: Foo) {
print("Non-generic called")
}
func go<T>(input: T) {
print("Generic called")
}
var foo:Foo = Foo()
go(foo) // Non-generic called我只是好奇为什么调用非泛型版本而不是泛型版本？编译器只是将特定类型优先于泛型吗？
回答 1
Stack Overflow用户
回答已采纳
发布于 2016-01-18 18:44:02
编译器对约束最严格的函数进行排序。因此，与需要子类型的where子句匹配的函数将优先于与需要超级类型的where子句匹配的函数。与where子句匹配的函数将击败不匹配的函数，显式调用其类型的函数将击败仅在泛型上匹配的函数。具体的规则非常复杂(在某些情况下，当事情处于边缘时，似乎是a little ad hoc )，但总的来说，这就是目的所在。
您可以将上面的内容想象为：
// Any T
func go<T>(input: T) {
print("Generic called")
}
// A very constrained T, so clearly you wanted to override.
func go<T where T == Foo>(input: T) {
print("Non-generic called")
}页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接：
https://stackoverflow.com/questions/34861755
复制相关文章
相似问题
腾讯云开发者
