Reactive Cocoa中@weakify和@strongify实现分析

时间：2021-10-09 08:13:46

使用rac的都知道@weakify和@strongify是在它扩库libextobjc中的一个宏，通过他可以实现__weak和__strong的效果，那它使怎么实现的呢。

1、xcode 查看展开效果

打开xcode找到product->PerformAction->Process “当前使用weakify或@strongify的文件”，你就可以看到这个宏展开之后的最终效果效果如下：

 @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。

2、手动展开

宏展开以@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 把参数传递给宏。
- 3、当宏的调用展开时，实际的参数就传递给metamacro_foreach_cxt了
第一个参数不展开变成如下样子:
metamacro_foreach_cxt(ext_weakify_,,__weak,self)

3、分解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!!完成

4、可变参数参数宏的使用

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
标签：

相关文章