Perché dobbiamo fare [classe MyClass] in Objective-C?

Question

In Objective-C, è possibile richiamare i metodi di classe con:

[MyClass aClassMethod]; 

e si può interrogare tipo di un'istanza con:

[someInstance isKindOfClass:[MyClass class]]; 

Ma, perché abbiamo bisogno di fare [MyClass class], e non semplicemente fornire MyClass come questo:

[someInstance isKindOfClass:MyClass]; 

c'è una ragione che il compilatore va bene incontrare MyClass come ricevitore (un tipo di puntatore) ma non come argomento? È una limitazione dell'analisi della lingua? O forse una limitazione del compilatore?

Answer 1

Ooooh ... domanda divertente. La risposta è un c-ismo.

considerare:

@interface MyClass : NSObject 
@end 
@implementation MyClass 
@end 

Ora, supponiamo di avere:

... 
MyClass *m = nil; 
... 

In tale contesto, il compilatore vede MyClass come una definizione di tipo. Il * dice che la variabile m è un pointer to a hunk o' memory that contains one (or many -- don't forget your C pointer-fu) MyClass instances.

In altre parole, MyClass è un tipo.

Ma, nel contesto di qualcosa come:

[someInstance isKindOfClass: x ]; 

x deve essere un rvalue o, in termini umani, il valore di un'espressione. Un tipo, tuttavia, non può essere utilizzato come valore.

Questo [MyClass class] funziona in realtà è un po 'un hack, sia nella lingua che nel compilatore, in quanto la grammatica consente specificamente a un nome di tipo di essere il destinatario del messaggio (per essere l'obiettivo di una chiamata di metodo).

E, come un dato di fatto, si può fare:

typedef MyClass Foo; 
.... 
[MyClass class]; 
[Foo Class]; 

sarà tutto il lavoro. Tuttavia, non è possibile effettuare le seguenti operazioni ma il messaggio di errore è illuminante:

[NSUInteger class]; 

errore: 'NSUInteger' non è un nome di classe Objective-C o alias

---

Ora , perché non caso speciale dappertutto come un nome spoglio?

Questo collude nomi di tipi e valori e si finisce rapidamente per dover inghiottire qualcosa come [foo isKindOfClass: (MyClass)]; mentre il barattolo su [foo isKindOfClass: (MyClass *)]; che poi invade il territorio di typecasting in modo piuttosto scomodo.

Answer 2

Perché quello che i isKindOfClass si aspetta è una "classe", e questo è ciò che ottenere tornato da invocare: [MyClass class]

Answer 3

La mia prima risposta sguardo è perché [MyClass classe] restituisce un oggetto di tipo Class, e MyClass non eredita dalla classe ...

Answer 4

MyClass non è di tipo Class.

[MyClass class] è di tipo Class.

Se si ha familiarità con Java, il concetto è lo stesso.

java.lang.String non è di tipo java.lang.Class

java.lang.String.getClass() è di tipo java.lang.Class

Answer 5

interessante.

In Objective-C, il nome classe ha due ruoli, come un tipo di dati e un oggetto di classe. Come un nome del tipo di dati, è possibile fare cose come:

MyClass *anObject; 

come un oggetto di classe, il nome della classe può stare per l'oggetto di classe solo come destinatario del messaggio. E questo è il motivo per cui è necessario utilizzare

... isKindOfClass:[MyClass class] ... 

Tuttavia, non credo che questa è la risposta che può soddisfare il vostro bisogno. Per me, la risposta è "sì, quello che vuoi è plausibile, ma le specifiche dicono l'altro modo".

Riferimento: The Objective-C Programming Language Page 32, section: "Class Names in Source Code".

Answer 6

Sto pensando che MyClass sia in realtà una meta-classe. Si invia il messaggio di classe per ottenere la classe effettiva (di tipo Classe).

Answer 7

@John e @ryanprayogo - siete fondamentalmente sbagliati. MyClass è una classe, che è anche un oggetto, ma non eredita da NSObject. Objective-C è un po 'strano in questo modo, ma è davvero brillante se completamente spiegato (vedi here). La risposta qui, però, è come ha detto @yehnan, che un nome di classe può essere o un nome di tipo per i dichiaratori e i cast, o come un ricevitore per i messaggi. L'implementazione di [MyClass class] restituisce self (che è, all'interno del metodo, MyClass).Anche come ha detto @yehnan, il linguaggio potrebbe supportare passandolo come argomento, sebbene semplicemente non lo sia.

Answer 8

@yehnan lo cattura bene, ma mi dilungherò un po 'su questo. Sì, il compilatore può essere modificato per convertire automaticamente un identificatore di classe nel suo applicabile Class in posizioni in cui è un argomento anziché solo quando è il destinatario di un messaggio. Ma non c'è un sacco di richieste per quel tipo di complessità aggiunta nel compilatore (tradotto: più lento, più difficile da rilevare errori di codifica). Non dovresti chiamare cose che restituiscono Class molto spesso. Se lo sei, allora il tuo modello di oggetto è rotto. Il controllo di classe dovrebbe essere l'ultimo, disperato approccio dopo che tutto il resto ha avuto esito negativo (in particolare la tipizzazione corretta e quindi respondsToSelector:). Quindi, per questo tipo di evento raro, non ha molto senso complicare il compilatore in questo modo.