了解常规版本和通用版本之间的函数调用优先级

Question

在这段代码中：

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

我只是好奇为什么调用非通用版本而不是通用版本？编译器是否只是优先考虑特定类型而不是泛型？

Answer 1

编译器优先考虑最受约束的函数。因此，与需要子类型的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")
}