Zachowanie protokołów z Self

Question

Ostatnio czytałem Protocols, Generic Type Constraints and Arrays in Swift. Moje pytanie dotyczy dwóch przykładów z bloga:

Kod:

protocol MyProtocol1 { 
    var myValue: Self { get } 
} 

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

Produkuje błąd:

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

To się spodziewać i było kilka SO pytania dotyczące tematu. Jednakże, zmieniając myValue na funkcję, nie ma już żadnego błędu, ale w obu przypadkach zwracana jest nazwa Self.

protocol MyProtocol2 { 
    func myValue() -> Self 
} 

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

Czy ktoś zna przyczynę tego pozornie dziwnego zachowania?

Answer 1

Nie mam na to jednoznacznej odpowiedzi, ale uważam, że może to wynikać z rozmiaru klasy i układu wewnętrznego.

Posiadanie skojarzonego typu lub członu typu Self wpłynie na rozmiar obiektu, a tym samym na rozmiar tablicy, ale użycie typu powrotu jako metody spowoduje zmianę wielkości obiektu.

Answer 2

To wyjaśnia około 18 minut, w tym wideo: https://developer.apple.com/videos/wwdc/2015/?id=408

Ponieważ twoje referencje Protocol „ja” może być używany tylko jako ogólne ograniczenie nie jako typ.

Przykład: Załóżmy, że 2 konstrukcje implementują Twój protokół - Duke & Silver.

Jeśli utworzyłeś tablicę protokołu 2 ([protokół 2]), to tablica może zawierać albo Diuków, albo Silversów.

myValue określa, że ​​zwracana wartość musi być self. Oznacza to, że książę musi zwrócić księcia, a srebro musi oddać srebro. W związku z tym nie można uzyskać silniki Dukes & w tej samej tablicy, ponieważ ich funkcje MyValue mają różne wartości zwracane.

Aby rozwiązać ten problem, można:

1) Sprawdź typ zwracanej myValue protocol2 tak, Dukes i Silvers zarówno po prostu wrócić typ protocol2

2) Sprawdź tablicę leków generycznych, które są zgodne do protokołu2