原文: http://wzxjiang.com/2016/05/12/weakify-and-strongify/?utm_source=tuicool&utm_medium=referral
使用rac的都知道@weakify和@strongify是在它扩库libextobjc中的一个宏，通过他可以实现__weak和__strong的效果，那它使怎么实现的呢。
@autoreleasepool {} __attribute__((objc_ownership(weak))) __typeof__(self) self_weak_ = (self);;
__attribute__((objc_ownership(strong))) __typeof__(self) self = self_weak_;
@autoreleasepool {} 实现了添加@的效果，attribute((objc_ownership(weak)))就是weak的实现，_typeof取类型，相当与创建了弱引用self的self_weak的局部变量。attribute((objc_ownership(strong))) 相当于_strong，创建了对self_weak的强引用，变量名为self。
宏展开以@weakify为例：
第一层：
#define weakify(...) \
ext_keywordify \
metamacro_foreach_cxt(ext_weakify_,, __weak, __VA_ARGS__)
分析：1、ext_keywordify autoreleasepool {}可以添加@
2、metamacro_foreach_cxt(ext_weakify_,, weak, _VA_ARGS)，有多个参数，第一个参数是 CONTEXT typeof(VAR) metamacro_concat(VAR, _weak) = (VAR);第二个没有，第三个是weak，最后是多参数的意思,代表self,缺省号代表一个可以变化的参数表。使用保留名 __VA_ARGS 把参数传递给宏。当宏的调用展开时，实际的参数就传递给metamacro_foreach_cxt了
第一个参数不展开变成如下样子:
metamacro_foreach_cxt(ext_weakify_,,__weak,self)
第二层：
分解metamacro_foreach_cxt
#define metamacro_foreach_cxt(MACRO, SEP, CONTEXT, ...) \
metamacro_concat(metamacro_foreach_cxt, metamacro_argcount(__VA_ARGS__))(MACRO, SEP, CONTEXT, __VA_ARGS__)
metamacro_concat的意思是连接第一个和第二个参数，因为参数数量是（参数的计算后面有解释）1,所以变成如下样子：
metamacro_foreach_cxt1(ext_weakify_,,__weak,self)
metamacro_foreach_cxt1分解后这样子：
metamacro_foreach_cxt1(ext_weakify_,,__weak,self)
由于MACRO(0, CONTEXT, _0)继续分解：
第一个参数是个宏把__weak，self放入MACRO(0, CONTEXT, _0)
如下：
weak _typeof(self) self_weak = (self);
strong的原理与此差不多，这里不再赘述。
OK!!完成
metamacro_concat(metamacro_foreach_cxt, metamacro_argcount(__VA_ARGS__))(MACRO, SEP, CONTEXT, __VA_ARGS__)
metamacro_argcount计算参数个数，文档说返回提供给该宏的参数个数（超过20个），至少一个必须提供，展开看下：
#define metamacro_argcount(...) \
metamacro_at(20, self, 20, 19, 18, 17, 16, 15, 14, 13, 12, 11, 10, 9, 8, 7, 6, 5, 4, 3, 2, 1)
metamacro_at展开如下：
#define metamacro_at(20, self) \
metamacro_concat(metamacro_at, N)(__VA_ARGS__)
因为metamacro_concat展开是A ## B连接的意思，metamacro_at连接（拼接）参数N于是变成如下样子：
metamacro_at20(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16, _17, _18, _19,...)
截断了前面20个参数因为...此时代表1
展开是这个：metamacro_head(1)，后面metamacro_head_(FIRST, ...) FIRST，因为返回第一个，所以参数参数个数是1
网友评论