Swift Generics – 调用哪种方法？

假设以下玩具示例：

protocol AwesomeType: Equatable {
     var thingy: Int { get }
}

extension Array where Element: Equatable {

    func doThing { ... }
}

extension Array where Element: AwesomeType {

    func doThing { ... }
}

extension String: AwesomeType {

    var thingy: Int { return 42 }
}

如果我有一个字符串数组 – [“Foo”,“Bar”,“Baz”] – 我在其上调用doThing(),将调用哪个实现？为什么？

我相信这是在编译时确定的;换句话说,它不是一个动态的调度.但它是如何确定的？感觉它类似于协议扩展的规则,但这是一个动态的调度情况……

解决方法

它会产生一个

error: ambiguous use of ‘doThing()’

使用简单修改的​​示例：

protocol AwesomeType: Equatable { }

extension Array where Element: Equatable {
    func doThing() { print("array one") }
}

extension Array where Element: AwesomeType {
    func doThing() { print("array two") }
}

extension String: AwesomeType { }

let arr = [ "Foo","Bar","Baz" ]

arr.doThing()

编译器抱怨

error: ambiguous use of ‘doThing()’

note: found this candidate
func doThing() { print(“array one”) }

note: found this candidate
func doThing() { print(“array two”) }

编译器根本不知道调用哪一个,因为这两个方法具有相同的名称和参数.

具有相同但实际上不相关的多个方法总是会导致一些编译器问题的风险,当这两个方法最终在某个时刻重叠时.