OC中协议、分类、扩展：核心对比与总结
一张表理清三大特性，透彻理解本质区别
协议（Protocol）、分类（Category）和扩展（Extension）是Objective-C中三个容易混淆的核心特性。本文将从本质、能力、作用范围等维度进行纯理论对比，帮助你建立清晰的概念边界。
一、一句话定义
| 特性 | 本质定义 |
|---|---|
| 协议 | 一组方法签名的声明集合，定义行为规范，不提供实现 |
| 分类 | 为已有类添加新方法（及通过关联对象添加属性）的机制，运行时加载 |
| 扩展 | 匿名分类，为当前类添加私有成员（属性、实例变量、方法），编译时绑定 |
二、核心能力对比
| 能力维度 | 协议 | 分类 | 扩展 |
|---|---|---|---|
| 声明方法 | ✅ 仅声明 | ✅ 声明+实现 | ✅ 声明+实现 |
| 添加属性 | ✅ 仅声明（不生成存取方法） | ❌ 仅可通过关联对象模拟 | ✅ 可添加（需在主实现中合成） |
| 添加实例变量 | ❌ | ❌ | ✅ |
| 是否有名称 | ✅ 有名称 | ✅ 有名称 | ❌ 匿名 |
| 是否必须实现 | ✅ 遵守者必须实现（@required） | ✅ 必须实现 | ✅ 必须实现 |
三、作用范围对比
| 维度 | 协议 | 分类 | 扩展 |
|---|---|---|---|
| 影响范围 | 所有遵守该协议的类 | 全局，影响该类的所有实例 | 仅限当前类的实例（通常在本文件内可见） |
| 声明位置 | .h 文件（公开） | .h + .m 文件 | 通常在 .m 文件（私有） |
| 可见性 | 公开 | 公开（方法对外可见） | 私有（仅在实现文件中可见） |
| 作用对象 | 任意类（遵守者） | 已知类的任意实例 | 当前类自身 |
四、机制与时机对比
| 维度 | 协议 | 分类 | 扩展 |
|---|---|---|---|
| 加载时机 | 编译期类型检查 | 运行时加载（方法被添加到类的方法列表中） | 编译期绑定 |
| 多继承模拟 | ✅ 一个类可遵守多个协议 | ❌ | ❌ |
| 方法覆盖风险 | ❌ 无冲突（不提供实现） | ✅ 存在（多个分类同名方法由编译顺序决定） | ❌ 无冲突（同一类中唯一） |
| 依赖关系 | 遵守者依赖于协议 | 被扩展类无需感知分类的存在 | 扩展与主类紧密耦合（同一个文件） |
五、本质定位对比
| 特性 | 设计目的 | 解决的问题 |
|---|---|---|
| 协议 | 面向接口编程 | 解耦：定义契约，不关心实现者 |
| 分类 | 横向扩展能力 | 补强：为现有类追加功能，无需继承 |
| 扩展 | 封装实现细节 | 隐藏：将私有成员与公开接口分离 |
六、关键结论
-
协议：定义的是"规范"------它只声明"做什么"，由遵守者决定"怎么做"。核心价值在于解耦和标准化。
-
分类：扩展的是"功能"------它在不修改原类源码的前提下，向全局所有实例注入新方法。核心价值在于能力补充和代码组织。
-
扩展：隐藏的是"细节"------它仅为当前类的实现文件服务，将对外不可见的成员集中管理。核心价值在于封装和信息隐藏。
七、选择决策逻辑
需要定义一套接口规范，供多个类实现？
→ 使用协议
需要为已有类（尤其是系统类）添加便捷方法，且该功能应全局可用？
→ 使用分类
需要为当前类添加私有属性/变量，且不希望对外暴露？
→ 使用扩展三者各司其职，互不替代。合理运用可使代码在灵活性 （协议）、扩展性 （分类）和封装性（扩展）之间达到最佳平衡。