在 Objective-C 中，在块内将弱分配给强是什么意思？

Question

在 Objective-C 中，将 weak 分配给块内的 strong 是什么意思？幕后发生了什么？

例如

__weak __typeof(self) wself = self;

void (^cmd)() = ^(){
    __strong __typeof(self) sself = wself;
    if (!sself) return;
    ...
};

Answer 1

这里的意图有两个：

1. 首先是使用：

   __weak __typeof(self) wself = self;
   

   这可确保cmd 块不会保持对self 的强引用。这样可以确保，如果 cmd 是类的实例变量，那么您不会以强引用循环告终。如果你不使用这个wself 模式，那么以cmd 作为实例变量的类将永远不会被释放，并且你会泄漏以cmd 作为实例变量的对象。

   有关详细信息，请参阅Objective-C 编程：使用块文档的Avoid Strong Reference Cycles when Capturing self 部分。

2. 二、块内使用如下：

   __strong __typeof(self) sself = wself;
   if (!sself) return;
   

   这确保了，如果块开始执行，如果 wself 已经被释放，块将退出。但是如果wself 还没有被释放，通过分配sself，你可以确保在块执行期间对象将被保留。

   此外，如果您引用块中的任何 ivars，请注意您要取消引用它们（因为否则块中会隐含对 self 的引用，可能会导致强引用循环）。但是你不能使用弱指针取消引用 ivars（例如 wself->someIvar 是不允许的），但是你可以使用这个本地强指针（例如 sself->someIvar 可以）。一般来说，无论如何您都不应该取消引用 ivars，而应该使用属性，但这是使用对 self 的本地强引用的另一个原因。

通常，您会看到此构造与类属性（或 ivar）结合使用：

@property (nonatomic, copy) void (^commandBlock)(void);

而且，按照惯例，您通常会看到更具描述性的变量名称，weakSelf 和 strongSelf，因此：

__weak __typeof(self) weakSelf = self;

self.commandBlock = ^(){
    __strong __typeof(self) strongSelf = weakSelf;
    if (!strongSelf) return;
    ...
};

这种weakSelf/strongSelf 模式在您拥有自己的类的块属性并且想要 (a) 防止强引用循环（也称为保留循环）时非常常见；但是 (b) 想要确保有问题的对象不能在块的执行过程中被释放。

Answer 2

如果您不将weak 引用分配给strong，则weak 引用所引用的对象可以在块执行过程中被释放——这是您可能不会想到的。如果你分配给strong，只要强引用在范围内，对象就会被保留（除非在分配之前对象已经被释放）。

当您将弱引用分配给强编译器时，会将 Objective-C 运行时函数调用插入到代码中，该代码会根据需要增加对象引用计数器以保留它。当强变量超出范围时（或更早，在最后一次使用强变量之后）编译器插入的另一个调用会减少引用计数器。