在 ARC 下，直接分配给 ivar 时会自动复制块吗？

Question

假设ARC下的代码如下，

typedef void (^MyResponseHandler) (NSError *error);
@interface MyClass : NSObject
{
    MyResponseHandler _ivarResponseHandler;
}

- (void)myMethod:(MyResponseHandler)responseHandler
{
    _ivarResponseHandler = responseHandler;
    ...
}

问题：block 分配给 ivar 时是否会自动复制到堆中？

My previous question 暗示它在通过@property 分配时被复制。但是，今天我使用上面的代码并收到了一个EXC_BAD_ACCESS，通过更改为

_ivarResponseHandler = [responseHandler copy].

Answer 1

编辑：我之前的回答可能是错误的。

ARC docs 中的一些节选说：

3.可保留对象指针

可保留对象指针（或可保留指针）是可保留对象指针类型（可保留类型）的值。可保留对象指针类型共有三种：

• 块指针（通过将插入符号 (^) 声明符符号应用于函数类型而形成）

4.2.语义

在评估赋值运算符时会发生赋值。语义因限定而异：

• 对于 __strong 对象，首先保留新的指针；其次，左值加载了原始语义；第三，新的指针对象以原始语义存储到左值中；最后，旧指针被释放。这不是原子执行的；面对并发加载和存储时，必须使用外部同步来确保安全。

4.4.1。对象

如果一个对象声明为具有可保留对象所有者类型，但没有明确的所有权限定符，则其类型被隐式调整为具有 __strong 限定符。

7.5。块

除了作为初始化 __strong 参数变量或读取 __weak 变量的一部分完成的保留之外，每当这些语义要求保留块指针类型的值时，它具有 Block_copy 的效果。当优化器发现结果仅用作调用的参数时，它可能会删除此类副本。

所以我认为答案是可能，具体取决于优化器。

Answer 2

您的问题和解决方案表明我对您其他问题的回答可能是错误的。我基于the clang Objective-C Automatic Reference Counting documentation第7.5节的最后一段：

除了作为初始化__strong参数变量或读取__weak变量的一部分完成的保留之外，每当这些语义要求保留块指针类型的值时，它具有Block_copy的效果.当优化器发现结果仅用作调用的参数时，它可能会删除此类副本。

我认为“这些语义”是指整个文档，但如果“这些语义”仅指第 7.5 节，那么 ARC 只会为被块捕获的块插入 Block_copy。