iOS中，分类（category）为什么不能添加成员变量？
分类结构体如下∶
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; // 属性列表
// 其他可能的字段（如编译标记、未来扩展字段等）
struct category_t *next; // 指向下一个分类的指针
};
在 Objective-C 中，分类（Category）无法添加成员变量，这是由其设计机制和运行时特性决定的，主要原因如下：
一、类的内存布局在编译时已确定
1. 成员变量的存储方式
成员变量（实例变量，Ivar）是在类的定义（.h 或 .m）中声明的，它们的内存布局（如偏移量、类型）在编译阶段就已确定，并写入类的结构体 objc_class 中。每个类的实例对象在内存中会按照这个固定布局分配空间（包含所有成员变量）。
2. 分类的加载时机
分类是在运行时（程序运行期间）被加载的。此时，类的内存布局已经固定，无法动态修改。若允许分类添加成员变量，相当于要在运行时改变类的实例大小和内存布局，这会导致所有已存在的类实例（包括分类加载前创建的实例）的内存访问出错（如指针偏移错误），引发严重的安全问题。
二、分类的结构体设计不支持成员变量
分类的元数据存储在 category_t 结构体中，其中没有用于存储成员变量的字段（如 ivar_list_t）。
• 成员变量相关的信息由 objc_class 结构体中的 ivar_list_t *ivars 字段管理，而分类的作用是扩展方法、协议和属性（需手动实现存取方法），并非修改类的实例变量结构。
三、语言设计的初衷与限制
1. 分类的定位是“方法扩展”
分类的核心目的是在不修改原有类源码的前提下，为类添加新方法（实例方法/类方法）、声明协议或添加属性（需手动实现 getter/setter）。它的设计原则是“轻量级扩展”，而非对类进行结构性的修改（如添加成员变量）。
2. 强制使用子类实现结构性扩展
如果需要为类添加成员变量，Objective-C 要求通过**子类（Subclass）**实现。子类在编译阶段可以声明新的成员变量，其内存布局会在父类的基础上自然扩展，不会破坏原有类的结构。这符合面向对象设计中“扩展而非修改”的原则。
四、替代方案：关联对象（Associated Objects）
虽然分类不能直接添加成员变量，但可以通过 objc_setAssociatedObject/objc_getAssociatedObject（来自 <objc/runtime.h>）为对象动态关联值，模拟成员变量的效果：
// 在分类中声明属性（需手动实现存取方法）
@interface UIView (MyCategory)
@property (nonatomic, strong) NSString *myCustomString;
@end
// 实现关联对象（分类的 .m 文件）
@implementation UIView (MyCategory)
- (void)setMyCustomString:(NSString *)string {
objc_setAssociatedObject(self, @selector(myCustomString), string, OBJC_ASSOCIATION_RETAIN_NONATOMIC);
}
- (NSString *)myCustomString {
return objc_getAssociatedObject(self, @selector(myCustomString));
}
@end
• 原理：通过运行时的关联机制，将值存储在一个全局的哈希表中，键为对象指针和关联的标识（如 @selector），值为关联的数据。
• 限制：关联对象并非真正的成员变量，不会随对象销毁自动释放（需指定内存管理策略），且无法通过 @synthesize 自动生成存取方法。
总结
分类不能添加成员变量的核心原因是：
1. 类的内存布局在编译时固定，运行时无法修改；
2. 分类的结构体设计不包含成员变量存储字段；
3. 语言设计强制通过子类实现结构性扩展。
若需为类添加状态（数据），应使用子类；若仅需扩展行为（方法），分类是理想选择。关联对象则提供了一种灵活的运行时数据绑定方式，可在不修改类结构的前提下模拟成员变量的效果。
在 iOS 中，类的拓展（Extension） 是「匿名分类」，其核心特性是编译时会被合并到主类的定义中，因此可以直接添加成员变量和属性，且无需依赖 runtime 机制。以下分「如何添加」和「为什么能添加成员变量」两部分详细说明：
一、类的拓展如何添加属性和成员变量
拓展的语法与主类的 @interface 高度一致，直接在拓展中声明成员变量（用 {} 包裹）和属性即可，编译器会自动处理内存分配和 setter/getter 方法生成，无需额外操作。
代码示例：给 Person 类添加拓展
// 1. 主类 Person 的声明（.h 文件）
@interface Person : NSObject
@property (nonatomic, copy) NSString *name; // 主类原有属性
- (void)sayHello;
@end
// 2. Person 的拓展（通常写在 .m 文件中，隐藏实现细节）
@interface Person () {
// 拓展中直接添加「成员变量」
NSString *_extPrivateName; // 私有成员变量，仅在 Person.m 内部访问
NSInteger _extAge; // 私有成员变量
}
// 拓展中直接添加「属性」
@property (nonatomic, copy) NSString *extNickname; // 私有属性，自动生成 _extNickname 成员变量
@property (nonatomic, assign) BOOL extIsStudent; // 私有属性
@end
// 3. 主类的实现（.m 文件）
@implementation Person
// 拓展的属性无需手动实现 setter/getter（编译器自动生成），也可重写自定义逻辑
- (void)setExtNickname:(NSString *)extNickname {
_extNickname = [extNickname stringByAppendingString:@"_ext"];
}
- (void)sayHello {
// 直接访问拓展的成员变量和属性
_extPrivateName = @"张三_ext";
_extAge = 25;
self.extNickname = @"小张";
NSLog(@"Name: %@, ExtName: %@, Nickname: %@", self.name, _extPrivateName, self.extNickname);
}
@end
// 调用示例
Person *p = [[Person alloc] init];
p.name = @"张三";
[p sayHello];
// 输出：Name: 张三, ExtName: 张三_ext, Nickname: 小张_ext
二、为什么拓展能添加成员变量？核心原因是「编译时合并」
拓展能直接添加成员变量，本质是因为它与「分类（Category）」的编译时机和处理逻辑完全不同，核心在于「编译时被纳入主类的内存布局」：
1. 拓展的编译时机：属于主类的一部分
拓展不是独立的文件，而是在编译阶段被编译器识别为「主类的补充定义」，会与主类的 @interface（.h 中的声明）合并成一个完整的类定义。
例如上面的代码，编译时编译器会将拓展中的 _extPrivateName、_extAge 成员变量，以及 extNickname 属性对应的 _extNickname 成员变量，全部纳入 Person 类的初始成员变量列表（ivar list）。
2. 成员变量的内存分配：编译时确定偏移量
类的成员变量（ivar）内存布局在编译时确定：编译器会为每个 ivar 分配固定的「内存偏移量」（从类实例的起始地址到该 ivar 的距离），确保运行时能通过偏移量快速访问。
由于拓展的 ivar 在编译时就被合并到主类的 ivar list 中，编译器会同步为这些新 ivar 分配偏移量，与主类原有 ivar 一起构成完整的、固定的内存布局——这和在主类 @interface 中直接声明 ivar 完全一致，无需运行时动态修改。
3. 与分类（Category）的关键区别
分类是「运行时动态合并」：其方法、属性在编译时不会写入主类，而是在程序启动后（runtime 加载阶段）才被合并到主类的方法列表中。此时主类的 ivar list 早已被编译器锁定（无法新增），因此分类不能直接添加成员变量（只能通过「关联对象」模拟属性，本质是外挂式存储，不占主类内存）。
而拓展是「编译时静态合并」，ivay list 未锁定，自然能直接添加成员变量。
关键总结
• 拓展添加属性/成员变量：直接在拓展的 @interface () 中声明即可，编译器自动合并到主类，无需 runtime。
• 能添加成员变量的核心：拓展是主类的编译时补充，其 ivar 会被纳入主类的初始 ivar list，编译时确定内存偏移量，符合「类的 ivar 内存布局编译时固定」的规则。
