使用 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

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

Answer 1

为d 尝试一些自定义类而不是NSData，例如MyData。在其中实现dealloc 方法并在其中设置断点。你会看到，dealloc 被自动释放池调用在最后一个NSAssert。只有在那一周之后，引用才会变为nil。

添加： 看起来我必须扩展我的答案才能清楚地说明为什么它会这样工作。 首先，让我们看看您的示例（来自 cmets）：

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;”在一开始。

在多线程环境下弱引用可以变成nil 之后 if.

正确编写的函数应该如下所示：

  // ...
  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 之前自动释放。