Perché NSOrderedSet non eredita da NSSet?

Question

Sicuramente un insieme ordinato è un caso più specifico di un insieme, quindi perché fa NSOrderedSet ereditare da NSObject piuttosto che NSSet?

Answer 1

Sono passato attraverso l'interfaccia di NSSet e hai ragione, i set ordinati sembrano soddisfare Liskov substitution principle e potrebbero quindi ereditare da NSSet.

C'è un po 'di metodo che rompe questo: mutableCopy. Il valore di ritorno di mutableCopy deve essere un NSMutableSet, ma NSMutableOrderedSet dovrebbe ereditare da NSOrderedSet. Non puoi avere entrambi.

Lasciami spiegare con un po 'di codice. In primo luogo, diamo un'occhiata a un corretto comportamento delle NSSet e NSMutableSet:

NSSet* immutable = [NSSet set]; 
NSMutableSet* mutable = [immutable mutableCopy]; 

[mutable isKindOfClass:[NSSet class]]; // YES 
[mutable isKindOfClass:[NSMutableSet class]]; // YES 

Ora, facciamo finta NSOrderedSet eredita da NSSet, e NSMutableOrderedSet eredita da NSOrderedSet:

//Example 1 
NSOrderedSet* immutable = [NSOrderedSet orderedSet]; 
NSMutableOrderedSet* mutable = [immutable mutableCopy]; 

[mutable isKindOfClass:[NSSet class]]; // YES 
[mutable isKindOfClass:[NSMutableSet class]]; // NO (this is the problem) 

E se NSMutableOrderedSet ereditato da NSMutableSet invece? Poi abbiamo un problema diverso:

//Example 2 
NSOrderedSet* immutable = [NSOrderedSet orderedSet]; 
NSMutableOrderedSet* mutable = [immutable mutableCopy]; 

[mutable isKindOfClass:[NSSet class]]; // YES 
[mutable isKindOfClass:[NSMutableSet class]]; // YES 
[mutable isKindOfClass:[NSOrderedSet class]]; // NO (this is a problem) 

Nell'esempio 1, non sarebbe in grado di passare un NSOrderedSet in una funzione che si aspetta un NSSet perché il comportamento è diverso. Fondamentalmente, si tratta di un problema di compatibilità con le versioni precedenti.

Nell'esempio 2, non è possibile passare un NSMutableOrderedSet in una funzione che si aspetta un NSOrderedSet poiché il primo non eredita da quest'ultimo.

Tutto questo perché NSMutableOrderedSet non può ereditare da entrambi NSMutableSet e NSOrderedSet perché Objective-C non ha ereditarietà multipla. Il modo per aggirare questo è quello di creare protocolli per NSMutableSet e NSOrderedSet, perché quindi NSMutableOrderedSet può implementare entrambi i protocolli. Immagino che gli sviluppatori Apple fossero più semplici senza i protocolli aggiuntivi.