如何调用更具体的重载方法

Question

这是一个示例游乐场：

protocol P {
    associatedtype T
    func getValue() -> T
}

class Foo: P {
    func getValue() -> String {
        return "hello"
    }
}

class Bar {
    func test<T: P>(_ o: T) {
        print("Generic", o.getValue())
    }

    func test(_ o: Any) {
        print("Any")
    }
}

let foo = Foo()
let bar = Bar()
bar.test(foo)

这个输出：Any。

如果我删除 test 的 Any 版本，则会调用泛型方法。 Foo 类符合 P 协议，为什么 Swift 不选择泛型方法，因为它更具体？有没有办法调用通用的？

Answer 1

据我了解，在执行重载解析时，编译器总是偏爱显式类型参数而不是泛型参数。因此，在test<T : P>(_ o: T) 和test(_ o: Any) 之间的解析中——后者将是首选，因为它具有显式（尽管是抽象的）参数类型，而第一个只是一个占位符。

因此，如果您也将第二个重载设为泛型，编译器现在将支持第一个重载，因为它们都没有显式类型参数，但第一个重载受到更严格的约束：

class Bar {
    func test<T: P>(_ o: T) {
        print("Generic", o.getValue())
    }

    func test<T>(_ o: T) {
        print("Any")
    }
}

let foo = Foo()
let bar = Bar()
bar.test(foo) // Generic hello

保持重载不变，类型转换以消除歧义似乎也是一个可行的解决方案：

class Bar {
    func test<T: P>(_ o: T) {
        print("Generic", o.getValue())
    }

    func test(_ o: Any) {
        print("Any")
    }
}

let foo = Foo()
let bar = Bar()
(bar.test as (Foo) -> Void)(foo) // Generic hello

虽然我强烈推荐第一种方法，因为它可以让您更好地推断将选择什么重载（泛型通常也应尽可能优先于协议类型的参数，due to the performance benefits of specialisation）。