id类型是什么：

objc/objc.h

可见id是一个指向objc_object结构体的指针。

看一条语句就清晰了：

id obj = [[NSObject alloc] init];

所以对象obj就是一个objc_object结构体。它们都有个成员变量isa，其类型为objc_class。它又是一个指针，指向objc_class结构体，那么下面再看objc_class里面有什么。

objc_class是什么：

objc/runtime.h

逐条阅读，英文不太糟糕的应该都没有障碍：

• struct objc_class *isa; （最不好理解的）
  指向另一个类的指针，这个“另一个类”是“元类”(metaclass)。�元类用来表述类对象本身所具备的元数据。“类方法”就定义于此，因为这些方法可以理解成类对象的实例方法。每个类仅有一个“类对象”，而每个“类对象”仅有一个与之相关的“元类”。（引自《Effective Objective-C 2.0》57页）（注意，“类对象”在这句话里是一个整体，而不是解释成类的对象）
• struct objc_class *super_class;
  指向另一个类的指针，这个“另一个类”是超类，确立继承关系。
• const char *name;
  �实例名
• long version;
  版本
• long info;
  其他信息
• long instance_size;
  实例大小
• struct objc_ivar_list *ivars;
  实例变量列表，提供实例变量信息，比如类的实例有多少个实例变量。
• struct objc_method_list **methodLists;
  实例方法列表，提供实例方法信息，比如类的实例实现了多少个方法。
• *struct objc_cache cache;
  缓存区
• struct objc_protocol_list *protocols;
  实例实现的协议

</br>
具体的例子总是更容易理解的，�现在从抽象到具体。
我自定义了一个类（btw，�许多人写博都喜欢把自定义的类叫SomeClass、MyClass、CustomClass等等，这些类名依然会让人感觉到很抽象），所以我自定义类会叫Kardel。

Kardel *myKar = [[Kardel alloc] init];

为了更直观，我把myK定义成id类型：

id myKar = [[Kardel alloc] init];

如上所言，id是一个指向objc_object结构体的指针，myK这个实例自然就是一个objc_object结构体了。然后，��根据我们上面所见，objc_object结构体——即实例里面只有一个成员变量，isa指针。它会告诉我们这个实例所属的类。

结论1：类的实例是objc_object结构体

</br>

结论2：类是objc_class结构体

</br>

结论3：objc_class结构体中还有objc_class，即类里面的类——“元类”

</br>
三者之间的继承关系：

Numbers绘图（改自《Effective Objective-C 2.0 图2-6》）

还有值得思考的问题是为什么要这么做：实例里面没有存放很多信息（只有一个指针，靠其得知它是什么类），而类负责存放实例的信息，元类负责存放的是类的信息。