Effective Objective－C 2.0 第13条：理解“类对象”的用意

对象类型并非在编译期就绑定好了，而是要在运行期查找。有个特殊类型id，他能指代任意的Objective-C对象类型。一般情况应该指明消息接收者的具体类型，这样的话，如果向其发送无法解读的消息，那么编译器会发出警告，而类型为id的对象则不然，编译器假定它能响应所有消息。

描述Objective-C对象所用的数据结构定义在运行期程序头文件里，id类型本身也是定义在这里：

typedef struct objc_object {
    Class isa;
} *id;

每个对象结构体的首个成员是Class类的变量。改变量定义了对象所属的类，通常称为“is a”指针。Class对象也定义在运行期程序库的头文件中。

typedef struct objc_class *Class;
struct objc_class {
    Class isa;
    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;
};

此结构体的首个变量为isa指针，这说明Class本身亦为Objective-C对象。结构体里还有个变量叫做super_class，它定义了本类的超类。类对象所属的类型是另外一个雷，叫做“元类”（metaclass），用来表述对象本身所具备的元数据。