@weakify和@strongify浅析

前言

在RAC中@weakify和@strongify可以实现_weak和_strong的效果，即在block内部管理对self的引用，在项目中通常以下面这种形式展示出来

@weakify(self); // 定义了一个__weak的self_weak_变量 
[RACObserve(self, name) subscribeNext:^(NSString *name) { 
    @strongify(self); // 局域定义了一个__strong的self指针指向self_weak 
    self.textLabel.text = name; 
}];

看得多了就想知道它内部到底是怎么实现的~

内部实现

打开Xcode找到Product->PreformAction-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

宏展开

以@weakify为例：

• 第一层

#define weakify(...) \
    rac_keywordify \
    metamacro_foreach_cxt(rac_weakify_,, __weak, __VA_ARGS__)

分析：

1. rac_keywordify的宏定义是#define rac_keywordify autoreleasepool {},这么做是为了可以添加@~

2. metamacro_foreach_cxt(rac_weakify_,, __weak, __VA_ARGS__)，有多个参数，第一个参数是CONTEXT __typeof__(VAR) metamacro_concat(VAR, _weak_) = (VAR),第二个参数没有，第三个是weak，最后__VA_ARGS__是多参数的意思,代表self，缺省号代表一个可以变化的参数表。使用保留名__VA_ARGS__把参数传递给宏。当宏的调用展开时，实际的参数就传递给metamacro_foreach_cxt了

• 第二层

分解metamacro_foreach_cxt

#define metamacro_foreach_cxt(MACRO, SEP, CONTEXT, ...) \
        metamacro_concat(metamacro_foreach_cxt, metamacro_argcount(__VA_ARGS__))(MACRO, SEP, CONTEXT, __VA_ARGS__)

__VA_ARGS__是可变参数，获取在...中传入的N个参数

metamacro_argcount

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

回到metamacro_foreach_cxt就变成

metamacro_foreach_cxt##metamacro_argcount(__VA_ARGS__))(MACRO, SEP, CONTEXT, __VA_ARGS__)

metamacro_argcount既然返回的是参数个数那么就可以变成这样

metamacro_foreach_cxt##N(MACRO, SEP, CONTEXT, __VA_ARGS__)

N是参数个数，在这里是1

metamacro_foreach_cxt1的实现实现是这样的

#define metamacro_foreach_cxt1(MACRO, SEP, CONTEXT, _0) MACRO(0, CONTEXT, _0)

最终可以写成

metamacro_foreach_cxt1(rac_weakify_, , __weak, self) rac_weakify_(0,__weak,self)

@strongify原理也差不多，这里就不多说了

PS:@weakify、@strongify是不会联想的，不会联想weakify和strongify，经常使用可以把它们加入代码段

小结

RAC中对宏的使用出神入化，想弄清楚还是看源码多多推敲~