Objective-c對象是所有相同類型的C結構嗎？

Question

我想知道該語言的面向對象的特徵是如何在C.

實現爲<objc/runtime.h>定義，id類型是一個指向objc_object，和objc_object類型是C-結構僅具有一個成員isa存儲一個Class。那麼在哪裏以及如何存儲任何對象的實例變量的實際值？還有一件事情，所有Objective-C對象指針都可以被轉換到id（這是一個指向C結構的指針，其中沒有諸如繼承之類的功能），Objective-C類只是限定符爲編譯器，並且所有實例同等類型objc_object？

加入：

NSObject *obj = [NSObject new]; 
objc_object *objStruct = (__bridge objc_object *)obj; 
NSLog(@"obj: %@", NSStringFromClass(objStruct->isa)); 

NSString *str = [NSString new]; 
objc_object *strStruct = (__bridge objc_object *)str; 
NSLog(@"str: %@", NSStringFromClass(strStruct->isa)); 

此代碼編譯和輸出：

obj: NSObject, str: __NSCFConstantString 

兩個obj和str可澆鑄objc_object *，這意味着這兩個變量是相同的類型，指針不？

解決

明白！我誤解了指針投射的工作原理。 obj和str是不同結構類型的指針，但通常在內存的前端都具有類型成員isa，因此可以將其視爲objc_object。下面的代碼模仿這種機制：

typedef struct { 
    int isa; 
} Fake_NSObject; 

typedef struct { 
    int isa; 
    char *string; 
} Fake_NSString; 

Fake_NSObject obj = {1}; 
Fake_NSObject *objPtr = &obj; 
NSLog(@"obj: %d", objPtr->isa); // prints 1 

Fake_NSString str = {2, "abc"}; 
Fake_NSString *strPtr = &str; 
NSLog(@"str: %d", strPtr->isa); // prints 2 

Fake_NSObject *objPtr2 = (Fake_NSObject *)strPtr; // this is ok. 
NSLog(@"obj2: %d", objPtr2->isa); // prints 2 

Fake_NSString *strPtr2 = (Fake_NSString *)objPtr; // this is invalid, but still works. 
NSLog(@"str2: %d", strPtr2->isa); // prints 1 

謝謝！

Answer 1

然後在哪裏以及如何存儲實例變量的實際值？

它們存儲在與對象相同的位置。正如你所說，id代表一個指向任何類型的對象。然而，它沒有定義任何特定的類型 - 它沒有說任何關於對象類型的實際。

objc_object只是一個基本類型，相當於NSObject。看看NSObject.h，你會發現NSObject的實例只有一個實例變量，即isa指針。 NSProxy也是如此，這是Objective-C中的另一個根類。 NSObject或NSProxy的子類可以添加自己的實例變量，這些實例變量會附加到父級結構中。

如果所有的Objective-C對象指針可以強制轉換爲 ID，都是Objective-C類只是編譯器預選賽，並 在運行時所有這些情況下同樣objc_object的類型？

我不確定你在問什麼。編譯器不會阻止你發送任何消息給任何對象（儘管它會警告你是否認爲你發送消息給一個不支持它的對象），所以從某種意義上說，編譯器並不關心關於各種對象類型。另一方面，不同類型的對象與不同 - 不存在所有類都轉換爲的通用類型。

id非常類似於void *。 void *是一個通用指針，您可以將任何指針強制轉換爲void *，但這並不意味着所有指針都是等價的。 id與添加的限制幾乎相同，您分配給類型爲id的變量的指針必須指向Objective-C對象。