弱属性不使用 ARC 归零

Question

对于持有弱引用的对象，我有以下简单代码：

// 接口

@interface GMWeakRefObj : NSObject
@property (weak) id object;
@end

// 实现

@implementation GMWeakRefObj 
@synthesize object;
@end

当我运行以下测试代码时，它在第二个断言上失败：

NSData* d = [[NSData alloc] init];
GMWeakRefObj* weakRef = [[GMWeakRefObj alloc] init];
weakRef.object = d;
NSAssert(weakRef.object != nil, @"Reference wasn't assigned");
d = nil;
NSAssert(weakRef.object == nil, @"Reference wasn't zeroed"); // <-- FAIL

Aren ARC弱引用不应该归零吗？如果是这样，我做错了什么？

Answer 1

尝试使用一些自定义类来代替 d 的 NSData，例如 MyData。在其中实现dealloc方法并在其中设置断点。您将看到，dealloc 由自动释放池在最后一个 NSAssert 之后调用。只有在那一周之后，引用才会变为nil。

添加：
看来我必须扩展我的答案才能弄清楚为什么它会这样工作。
首先，让我们看一下您的示例（来自注释）：

NSData* data = [[NSData alloc] init];
__weak NSData* weakRef = data;
data = nil;
NSAssert(weakRef == nil, @"Failed to zero");

它按预期工作，weakRef 在 data = nil 之后变为 nil。下一个示例也可以工作：

NSData* data = [[NSData alloc] init];
__weak NSData* weakRef = data;
NSLog(@"%@", data);
data = nil;
NSAssert(weakRef == nil, @"Failed to zero");

但上一个示例不起作用：

NSData* data = [[NSData alloc] init];
__weak NSData* weakRef = data;
NSLog(@"%@", weakRef);
data = nil;
NSAssert(weakRef == nil, @"Failed to zero");

唯一的区别是我们使用弱引用来输出日志。为什么？

（答案的其余部分可能是错误的:)）

想象您NSLog（或我们在data = nil之前调用的任何其他函数/选择器） ）依赖于它的参数不为nil。例如，它有“if (arg == nil) return;”一开始。

在多线程环境中，弱引用可以在if之后变成nil。

所以正确编写的函数应该是这样的：

  // ...
  T* local_arg = arg;   // NOTE: it is strong!
  if (local_arg == nil)
    return;
  // work with local_arg here, not with arg
  // ...

但通常我们不想在任何地方都这样做——它会很难看。所以我们要确保争论不会在中间的某个地方消失。编译器通过自动释放弱引用来为我们做到这一点。

因此，应该清楚您的 GMWeakRefObj 测试用例为何不起作用 - weakRef 在调用 setObject setter 之前自动释放。