Falsche mehrere eingeschränkte Erweiterungen Implementierung genannt

Question

ich eine Struktur Implementierung zusammengesetzt wie folgt:

protocol ProtocolA { 
    func doStuff() 
} 

protocol ProtocolB { } 

extension ProtocolA { 
    func doStuff() { 
    print("From protocol A") 
    } 
} 

extension ProtocolA where Self: ProtocolB { 
    func doStuff() { 
    print("From protocol B") 
    } 
} 

Und ich habe die folgenden Klassen:

class MyClassA: ProtocolA { 
    func letsDoSomething() { 
     self.doStuff() 
    } 
} 

class MyClassB: MyClassA, ProtocolB { 
} 

Was passiert ist:

let ia = MyClassA() 
ia.letsDoSomething() // From protocol A (OK!) 

let ib = MyClassB() 
ib.letsDoSomething() // From protocol A (Wrong!) 

Natürlich erwarte ich nicht, die zweite Antwort zu haben.

Wie in der Swift Programming Launguage Anleitung angegeben:

Wenn ein konformer Typ die Anforderungen für mehr eingeschränkten Erweiterungen erfüllt, die Implementierungen für die gleiche Methode oder Eigenschaft bieten, wird Swift die Umsetzung zu den speziellen Einschränkungen entsprechend verwenden.

Warum die Klasse ib, die ProtocolB konform ist die spezialisierteste Erweiterung Implementierung nicht nennen ist?

Ich weiß, dass die anrufende Klasse noch MyClassA ist aber, da die Instanz von MyClassB ist, die das Protokoll entsprechen ProtocolB Ich erwarte, dass nach wie vor die meisten spezialisierten Implementierung haben aufgerufen werden.

Answer 1

Das Problem ist, dass MYClassB von MyClass A geerbt wird. Swifts Methodenversandregeln diese Implementierung der untergeordneten Klasse wird nie aufgerufen und die Standardimplementierung wird immer im Falle der Protokollkonformität verwendet. Versuchen Sie, den gleichen Fall wie diese

class MyClassA: ProtocolA { 
    func letsDoSomething() { 
     self.doStuff() 
    } 
} 

class MyClassB: ProtocolA, ProtocolB { 
} 


let ia = MyClassA() 
ia.letsDoSomething() // From protocol A (OK!) 

let ib = MyClassB() 
ib.doStuff() // From protocol A (Wrong!)