关于结构的基本问题

Question

struct
{
int integer;
float real;
}
first_structure;

因此，我们可以通过编写来引用first_struct的成员

first_structure.integer = 7

如果我写：

    struct two_numbers
    {
    int integer;
    float real;
    }
    first_structure;

那么我可以使用标签*two_numbers*来创建第二个结构，如下所示：

struct two_numbers second_structure;

我也明白typedef可以用于创建同义词。

但我无法理解下面的代码（来自页面 http://developer.apple.com/library/ios/#documentation/Cocoa/Conceptual/ObjectiveC/Chapters/ocObjectsClasses.html):

typedef struct objc_class *Class;
typedef struct objc_object {
    Class isa;
} *id;

每个对象都有一个 isa 变量来告诉它它是哪个类的实例。

它怎么知道？？？请指导我理解这段代码的含义。

谢谢。

Answer 1

这是一个快捷方式：

struct objc_object
{
    Class isa;
};
typedef struct objc_object * id

id 类型是指向 objc_object 结构的指针。
因此，当使用 id 类型时，您将使用 -> 运算符而不是 .，因为它是一个指针。

请注意，Class 类型也是指向结构的指针。
这就是所谓的不透明类型。

它基本上意味着编译器将能够计算大小，因为我们只有一个指针，但它不知道实现细节。

这种模式用于隐藏结构的实际实现。
类型在头文件中定义，但实现仅在源文件中定义。

例如，在头文件中：

typedef struct A_Struct * A;

这是有效的，它定义了结构指针的类型，即使该结构实际​​上未知。

然后在源文件中：

struct A
{
    int x;
    int y;
};

这是真正的实现。用户将能够创建 A 类型对象，但无法访问成员，因为它们仅在源文件中可见。
用户将向您传递 A 类型对象，但您会将它们转换为 struct A，以便您可以访问它的成员。

IE：

void foo( A someObject )
{
    struct A * a;

    a    = ( struct A * )someObject;
    a->x = 42;
}

Answer 2

您可以看出，因为当实例化对象时，运行时会设置 isa 指针来反映类的名称。类似于 Objective-C 中“选择器”的使用方式 - 如果您不熟悉，基本上选择器是一个方法的名称。在幕后它只是一个 NSString，但它不一定是（替代实现 Cocotron 使用我相信的整数类型的枚举）。

基本上，运行时能够知道正在创建什么对象，因此可以设置 isa 指针。内省可以发挥作用，因为如果您将对象与“类”进行比较，您可能只是在幕后比较 NSString。

我希望这能解决您的疑虑，如果没有，我可以帮助您澄清