Swift Generics: quale metodo viene chiamato?

Question

Si supponga che il seguente esempio giocattolo:

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 } 
} 

Se ho una serie di String s - [ "Foo", "Bar", "Baz" ] - e chiamare doThing() su di esso, quale implementazione si chiamerà? Perché?

Credo che questo sia determinato al momento della compilazione; in altre parole non è una spedizione dinamica. Ma come è determinato? Ci si sente come sarebbe simile alle regole intorno estensioni di protocollo, ma questa è una situazione dinamica dispaccio ...

Answer 1

produce un

error: ambiguous use of 'doThing()'

Utilizzando l'esempio semplicemente modificato:

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() 

Il compilatore si lamenta

error: ambiguous use of 'doThing()'

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

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

Il compilatore semplicemente non sa quale chiamata poiché i due metodi hanno nome e parametri identici.

Avere più metodi denominati uguali ma non effettivamente correlati pone sempre il rischio di alcuni problemi del compilatore quando i due si sovrappongono a un certo punto.