Verhalten von Protokollen mit Selbst

Question

Ich habe vor kurzem Protocols, Generic Type Constraints and Arrays in Swift gelesen. Meine Frage bezieht sich auf die folgenden zwei Beispiele aus dem Blog:

Der Code:

protocol MyProtocol1 { 
    var myValue: Self { get } 
} 

let array: [MyProtocol1] = [] // Error. 

Erzeugt den Fehler:

Protocol 'MyProtocol1' can only be used as a generic constraint because it has Self or associated type requirements.

Das erwartet wird, und es wurden mehrere SO Fragen gewesen über das Thema. Wenn Sie jedoch myValue in eine Funktion ändern, tritt kein Fehler mehr auf. In beiden Fällen wird Self zurückgegeben.

protocol MyProtocol2 { 
    func myValue() -> Self 
} 

let array: [MyProtocol2] = [] // This is okay. 

Kennt jemand die Ursache für diese scheinbar seltsame Verhalten?

Answer 1

Ich habe keine definitive Antwort auf dieses, aber ich denke, dass dies aufgrund der Klassengröße und des internen Layouts sein kann.

Wenn Sie einen assoziierten Typ oder ein Self-Typ-Element haben, wirkt sich dies auf die Größe des Objekts und damit auf die Array-Größe aus.

Answer 2

Es liegt ca. 18 Minuten in diesem Video erklärt: https://developer.apple.com/videos/wwdc/2015/?id=408

Da Ihr Protokoll Referenzen „Selbst“ nur als generische Einschränkung nicht als Typ verwendet werden kann.

Beispiel: Nehmen wir an, 2 Strukturen implementieren Ihr Protokoll - Duke & Silber.

Wenn Sie ein Array von protocol2 ([protocol2]) erstellt haben, könnte Ihr Array entweder Dukes silvers enthalten.

myValue gibt ausdrücklich an, dass der Rückgabewert self sein muss. Dies bedeutet, dass ein Herzog einen Herzog zurückgeben muss und ein Silber ein Silber zurückgeben muss. Als solche können Sie keine Duke & Silvers im selben Array haben, da ihre MyValue-Funktionen unterschiedliche Rückgabewerte haben.

Um das Problem zu beheben, können Sie entweder:

1) Stellen Sie den Rückgabetyp von myValue Protokoll2 so dass Dukes und Silvers beide nur einen Protokoll2 Typ zurückgeben

2) eine Reihe von Generika-Stellen, die konform zu protocol2