我们知道，所有的OC类和对象，在runtime层都是用struct表示的，category也不例外，在runtime层，category用结构体category_t（在objc-runtime-new.h中可以找到此定义），它包含了：

1)、类的名字（name）

2)、类（cls）

3)、category中所有给类添加的实例方法的列表（instanceMethods）

4)、category中所有添加的类方法的列表（classMethods）

5)、category实现的所有协议的列表（protocols）

6)、category中添加的所有属性（instanceProperties）

typedef 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;

} category_t;

从category的定义也可以看出category的可为（可以添加实例方法，类方法，甚至可以实现协议，添加属性）和不可为（无法添加实例变量）。

需要注意的有两点：

1)、category的方法没有“完全替换掉”原来类已经有的方法，也就是说如果category和原来类都有methodA，那么category附加完成之后，类的方法列表里会有两个methodA

2)、category的方法被放到了新方法列表的前面，而原来类的方法被放到了新方法列表的后面，这也就是我们平常所说的category的方法会“覆盖”掉原来类的同名方法，这是因为运行时在查找方法的时候是顺着方法列表的顺序查找的，它只要一找到对应名字的方法，就会罢休^_^，殊不知后面可能还有一样名字的方法。

分类(category) > 本类 > 父类。即，优先调用cateory中的方法，然后调用本类方法，最后调用父类方法。

注意：category是在运行时加载的，不是在编译时。

category不能添加成员变量

实际上，Category实际上允许添加属性的，同样可以使用@property，但是不会生成_变量（带下划线的成员变量），也不会生成添加属性的getter和setter方法的实现，所以，尽管添加了属性，也无法使用点语法调用getter和setter方法（实际上，点语法是可以写的，只不过在运行时调用到这个方法时候会报方法找不到的错误，如下图）。但实际上可以使用runtime去实现Category为已有的类添加新的属性并生成getter和setter方法

需要注意的有两点：

1)、category的方法没有“完全替换掉”原来类已经有的方法，也就是说如果category和原来类都有methodA，那么category附加完成之后，类的方法列表里会有两个methodA。

2)、category的方法被放到了新方法列表的前面，而原来类的方法被放到了新方法列表的后面，这也就是我们平常所说的category的方法会“覆盖”掉原来类的同名方法，这是因为运行时在查找方法的时候是顺着方法列表的顺序查找的，它只要一找到对应名字的方法，就会罢休，殊不知后面可能还有一样名字的方法。

分类的执行优先级

4.1在本类和分类有相同的方法时，优先调用分类的方法再调用本类的方法。

4.2如果有两个分类，他们都实现了相同的方法，如何判断谁先执行？分类执行顺序可以通过targets,Build Phases,Complie Source进行调节，注意执行顺序是从上到下的。（只有两个相同方法名的分类）

1)无法向类中添加新的实例变量。

(2)名称冲突，即当类别中的方法与原始类方法名称冲突时，类别具有更高的优先级。

(3)如果多个分类中都有和原有类中同名的方法, 那么调用该方法的时候执行谁由编译器决定；编译器会执行最后一个参与编译的分类中的方法

实例变量本质上就是成员变量，只是实例是针对类而言，实例是指类的声明。{   }中的yourButton就是实例变量。id 是OC特有的类，本质上讲id等同于（void *）。所以id data属于实例变量。

成员变量用于类内部，无需与外界接触的变量。因为成员变量不会生成set、get方法，所以外界无法与成员变量接触。根据成员变量的私有性，为了方便访问，所以就有了属性变量。属性变量的好处就是允许让其他对象访问到该变量（因为属性创建过程中自动产生了set 和get方法）。当然，你可以设置只读或者可写等，设置方法也可自定义。所以，属性变量是用于与其他对象交互的变量。

可以看到在接口 @interface 括号里面的统称为”成员变量”，实例变量是成员变量中的一种！

实例变量的英文翻译是 Instance Variable (object-specific storage) 

实例的英文翻译为Instance(manifestation  of a  class)  说的是“类的表现”，说明实例变量应该是由类定义的变量！

除去基本数据类型int float ....等，其他类型的变量都叫做实例变量。

**实例变量+基本数据类型变量=成员变量**

1.分类是用于给原有类添加方法的,因为分类的结构体指针中，没有属性列表，只有方法列表。所以< 原则上讲它只能添加方法, 不能添加属性(成员变量),实际上可以通过其它方式添加属性> ;

2.分类中的可以写@property, 但不会生成setter/getter方法, 也不会生成实现以及私有的成员变量（编译时会报警告）;

3.可以在分类中访问原有类中.h中的属性;

4.如果分类中有和原有类同名的方法, 会优先调用分类中的方法, 就是说会忽略原有类的方法。所以同名方法调用的优先级为 分类 > 本类 > 父类。因此在开发中尽量不要覆盖原有类;

5.如果多个分类中都有和原有类中同名的方法, 那么调用该方法的时候执行谁由编译器决定；编译器会执行最后一个参与编译的分类中的方法。

分类与类扩展的区别：

1 类别中原则上智能增加方法

能添加属性的问题只是通过runtime解决没有setter/getter的问题而已

2 类扩展不仅可以增加方法，还可以增加实例变量（或者属性），只是该实例变量默认只是@private类型的（只能在自身类使用，不能再子类或者其他地方使用）

3 类扩展中声明的方法没有被实现，编译器会报警，但是类别中声明的方法没有被实现，编译器也会有警告。这是因为类扩展是在编译阶段被添加到类中，而类别是在运行时添加到类中

4 类扩展不能像类别那样拥有独立的实现部分 @implementaton 部分。也就是说，类扩展所声明的方法必须依托对应的类的实现部分来实现

5 定义在.m文件中的类扩展方法为私有方法，定义在.h中的类扩展的方法为公有方法。