Objective-C中分类无法添加实例变量的底层原理

在 Objective-C 中，分类（category）无法添加实例变量，这是由于底层实现的限制。要理解这一点，需要先了解 Objective-C 的类和对象内存布局及运行时机制。

类和对象的内存布局

在 Objective-C 中，每个对象都是一个 objc_object 结构体，这个结构体包含一个指向 objc_class 结构体的指针。objc_class 结构体中包含了对象的元数据，包括方法列表、属性列表和实例变量列表等。

`objc_object` 结构体

struct objc_object {Class isa;  // 指向类的指针
};

`objc_class` 结构体

struct objc_class {Class superclass;            // 指向父类void *cache;                 // 方法缓存IMP *vtable;                 // 虚表struct class_ro_t *ro;       // 只读数据，包括方法列表、属性列表、实例变量列表等struct class_rw_t *rw;       // 可读写数据，包括方法列表、属性列表、实例变量列表等的缓存
};

分类的实现

分类在编译时会生成一个 category_t 结构体，它包含分类中定义的方法、属性和协议等信息。当程序运行时，Objective-C 运行时会将分类中的方法和属性添加到类的元数据中，但不会修改实例变量的布局。

`category_t` 结构体

struct category_t {const char *name;                    // 分类的名称classref_t cls;                      // 分类所属的类struct method_list_t *instanceMethods;  // 实例方法列表struct method_list_t *classMethods;     // 类方法列表struct protocol_list_t *protocols;      // 协议列表struct property_list_t *instanceProperties; // 属性列表
};

分类无法添加实例变量的原因

对象的内存布局在类定义时确定：
每个对象的内存布局在类定义时已经确定，包括实例变量的偏移量和内存大小。在类的定义完成后，对象的内存布局就固定了。如果允许分类添加实例变量，会改变对象的内存布局，从而导致内存访问错误。
实例变量的存储在对象内存中：
实例变量是在对象的内存中分配的。如果分类能添加实例变量，那么必须重新分配和布局所有现有的对象实例，这是不切实际的，且会引发内存管理问题。
分类是在运行时动态加载的：
分类的方法和属性是在程序运行时动态加载到类的元数据中的，而不是在编译时就固定的。这意味着在运行时加载分类时，无法调整对象的内存布局以添加新的实例变量。

示例

@interface MyClass : NSObject
@property (nonatomic, strong) NSString *name;
@end@implementation MyClass
@end@interface MyClass (Category)
- (void)categoryMethod;
@end@implementation MyClass (Category)
- (void)categoryMethod {NSLog(@"Category method");
}
@end

在这个示例中，MyClass 的内存布局在定义 MyClass 时就确定了。分类 MyClass (Category) 添加了一个方法，但没有添加任何实例变量。运行时将这个方法添加到 MyClass 的方法列表中，但不会也无法修改 MyClass 的内存布局。