Comportamento dei protocolli con Self

Question

Recentemente ho letto Protocols, Generic Type Constraints and Arrays in Swift. La mia domanda riguarda i seguenti due esempi dal blog:

Il codice:

protocol MyProtocol1 { 
    var myValue: Self { get } 
} 

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

genera l'errore:

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

che è previsto e ci sono stati diversi SO domande riguardanti l'argomento. Tuttavia, modificando myValue in una funzione non c'è più alcun errore, tuttavia in entrambi i casi viene restituito Self.

protocol MyProtocol2 { 
    func myValue() -> Self 
} 

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

Qualcuno conosce la causa di questo comportamento apparentemente strano?

Answer 1

Non ho una risposta definitiva a questo, ma ritengo che ciò potrebbe essere dovuto alla dimensione della classe e al layout interno.

Avere un tipo associato o un membro di tipo Self influirà sulle dimensioni dell'oggetto e quindi sulla dimensione dell'array, ma l'uso del metodo Self come metodo restituirà la dimensione dell'oggetto.

Answer 2

E 'spiegato a circa 18 minuti in questo video: https://developer.apple.com/videos/wwdc/2015/?id=408

Perché i vostri riferimenti di protocollo "io" può essere utilizzato solo come un vincolo generico non come un tipo.

Esempio: Diciamo che 2 strutture implementano il protocollo - Duke & Argento.

Se è stata creata una matrice di protocollo2 ([protocollo2]), la matrice potrebbe contenere entrambi i Duchi sono argenti.

myValue specifica espressamente che il valore restituito deve essere auto. Ciò significa che un Duca deve restituire un Duca e un Argento deve restituire un Argento. Pertanto, non è possibile avere Dukes & Silvers nello stesso array perché le loro funzioni MyValue hanno valori di ritorno diversi.

Per risolvere il problema, è possibile:

1) Effettuare il tipo di ritorno di myValue Protocollo2 in modo che Duchi e Silvers sia solo restituiscono un tipo Protocollo2

2) Fai una serie di farmaci generici che sono conformi al protocollo2