宏的理解

一、在宏里面，各种符号的意义：

// 1  \的作用：换行，因为#define只在当前行起作用，为了看的更简单、更直观，可以使用\换行显示。
// 2  #的作用：#的功能是将其后面的宏参数字符串化，简单地说就是宏变量的其左右加上双引号。
// 3  ##的作用：它表示将两个参数连接起来这种运算。注意函数宏必须是有意义的运算，因此你不能直接写AB来连接两个参数，而需要写成例子中的A##B。
// 4  _的作用：用来声明变量，跟普通代码一样。
// 5  __VA_ARGS__：总体来说就是将左边宏中 ... 的内容原样抄写在右边 __VA_ARGS__ 所在的位置。
// 6  __FILE__ ：宏在预编译时会替换成当前的源文件名。
// 7  __LINE__：宏在预编译时会替换成当前的行号。
// 8  __FUNCTION__：宏在预编译时会替换成当前的函数名称。
// 9 __COUNTER__:一个预定义的宏，这个值在编译过程中将从0开始计数，每次被调用时加1。因为唯一性，所以很多时候被用来构造独立的变量名称。
类似的宏还有 __TIME__,__STDC__, __TIMESTAMP__等,就完全当一个变量来使用即可。

二、举例学习：ReactiveCocoa中的metamacro_argcount宏的学习

#define metamacro_argcount(...)  metamacro_at(20, __VA_ARGS__, 20, 19, 18, 17, 16, 15, 14, 13, 12, 11, 10, 9, 8, 7, 6, 5, 4, 3, 2, 1)

#define metamacro_at(N, ...)  metamacro_concat(metamacro_at, N)(__VA_ARGS__)

#define metamacro_concat(A, B) metamacro_concat_(A, B)

#define metamacro_concat_(A, B) A ## B

#define metamacro_at20(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16, _17, _18, _19, ...) metamacro_head(__VA_ARGS__)

#define metamacro_head(...)  metamacro_head_(__VA_ARGS__, 0)

#define metamacro_head_(FIRST, ...) FIRST

如题：int a = metamacro_argcount(11, 22, 33, 44);

分析：

申明：在此用AAA代替20, 19, 18, 17, 16, 15, 14, 13, 12, 11, 10, 9, 8, 7, 6, 5, 4, 3, 2, 1

// 1.把11, 22, 33, 44当参数传入宏里面   
metamacro_argcount(11, 22, 33, 44)就相当于metamacro_at(20, 11, 22, 33, 44, AAA)

// 2.metamacro_concat(metamacro_at, N)(__VA_ARGS__)的计算
metamacro_at(20, 11, 22, 33, 44, AAA)相当于第二个宏里面的N为20.

// 3.#define metamacro_concat_(A, B) A ## B  结果为AB
计算metamacro_concat(metamacro_at, N)结果为metamacro_at20
metamacro_at(20, 11, 22, 33, 44, AAA)相当于metamacro_at20(11, 22, 33, 44, AAA)

// 4.带入metamacro_at20这个宏进行计算
依次把11，22，33，44，AAA（此时要把AAA拆开为20，19，...）带入上面的_0, _1, _2, ..., _19中，最后得出metamacro_at20这个宏中的...为4, 3, 2, 1
故这一步的最后结果为：metamacro_head(4, 3, 2, 1)

// 5.计算metamacro_head(4, 3, 2, 1)为metamacro_head_(4, 3, 2, 1, 0)
最后得出#define metamacro_head_(FIRST, ...) FIRST 中FIRST的结果为4

故最终结果为int a = 4;

还有一个神奇的宏的使用：

当使用诸如RAC(self, outputLabel)或RACObserve(self, name)时，发现写完逗号之后，输入第二个property的时候会出现完全正确的代码提示！这相当神奇。

探究一下，关键的关键是如下一个宏：

#define keypath(...) \ metamacro_if_eq(1, metamacro_argcount(__VA_ARGS__))(keypath1(__VA_ARGS__))(keypath2(__VA_ARGS__))

这个metamacro_argcount上面说过，是计算可变参数个数，所以metamacro_if_eq的作用就是判断参数个数，如果个数是1就执行后面的keypath1，若不是1就执行keypath2。

所以重点说一下keypath2：

#define keypath2(OBJ, PATH) \ (((void)(NO && ((void)OBJ.PATH, NO)), # PATH))

乍一看真挺懵，先化简，由于Objc里面keypath是诸如"outputLabel.text"的字符串，所以这个宏的返回值应该是个字符串，可以简化成：

#define keypath2(OBJ, PATH) (???????, # PATH)

先不管"??????"是啥，这里不得不说C语言中一个不大常见的语法（第一个忽略）：

int a = 0, b = 0;
a = 1, b = 2;
int c = (a, b);

这些都是逗号表达式的合理用法，第三个最不常用了，c将被b赋值，而a是一个未使用的值，编译器会给出warning。

去除warning的方法很简单，强转成void就行了：

int c = ((void)a, b);

再看上面简化的keypath2宏，返回的就是PATH的字符串字面值了(单#号会将传入值转成字面字符串)

(((void)(NO && ((void)OBJ.PATH, NO)), # PATH))

标记.png

绿色字体部分对传入的第一个参数OBJ和第二个正要输入的PATH做了点操作，这也正是为什么输入第二个参数时编辑器会给出正确的代码提示。强转void就像上面说的去除了warning。

但至于为什么加入红色字体部分的与NO做&&，我不太能理解，我测试时其实没有红色部分已经完成了功能，可能是作者为了屏蔽某些隐藏的问题吧。

这个宏的巧妙的地方就在于使得编译器以为我们要输入“点”出来的属性，保证了输入值的合法性（输了不存在的property直接报错的），同时利用了逗号表达式取逗号最后值的语法返回了正确的keypath。

总之，RAC对宏的使用达到了很高的水平，还有诸如RACTuplePack，RACTupleUnpack的宏就不细说了。

PS：上面介绍的metamacro和@strongify等宏确切来说来自RAC依赖的extobjc，作者是Justin Spahr-Summers，正是RAC作者之一。

慢慢来，一步一个巴掌印。。。。。