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子句匹配的函数将击败不具有// 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") }子句的函数。显式调用其类型的函数将击败仅匹配泛型的函数。具体的规则非常复杂（在某些情况下，当事情处于边缘时似乎是a little ad hoc），但总的来说就是意图。

您可以将上述内容视为：

{{1}}

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

1 个答案: