与 iOS 中的 setter/getter 相关的奇怪的 EXC_BAD_ACCESS 崩溃

Question

有人可以解释为什么我的代码崩溃了吗？崩溃发生在 foo 方法的块内。 我有 EXC_BAD_ACCESS 或“对象错误：双重释放”。当我将“启用僵尸对象”设置为 ON 时，我还收到了“-[NSObject description]: message sent to deallocated instance”。

@interface ViewController ()
@property (nonatomic, strong) NSObject *obj;
@end

@implementation ViewController

// just adding button
- (void)viewDidLoad {
    [super viewDidLoad];
    UIButton *btn = [UIButton buttonWithType:UIButtonTypeSystem];
    [btn setTitle:@"test" forState:UIControlStateNormal];
    btn.frame = CGRectMake(100, 100, 100, 100);
    [btn addTarget:self action:@selector(btnAction:) forControlEvents:UIControlEventTouchUpInside];
    [self.view addSubview:btn];
}

// fired by button
- (void)btnAction:(id)sender {
    for (int i = 0; i < 100; i++) {
        [self foo];
    }
}

// I want to understand this method
- (void)foo {
    NSLog(@"foo");

    self.obj = NSObject.new;
    dispatch_async(dispatch_get_global_queue(DISPATCH_QUEUE_PRIORITY_DEFAULT, 0), ^{
        NSLog(@"%@", [[self obj] description]);  // sometimes crash happenes here with a message "-[NSObject description]: message sent to deallocated instance"
    });
}

@end

看起来 self.obj 在 [self obj] 和 [obj description] 之间被释放。但我不确定为什么。

我认为来自 [self obj] 的对象应该归其作用域所有，即使 self.obj = NSObject.new 在其他线程上同时执行也不应该被释放。 是不是我的理解错了？

我正在使用 ARC 在 iOS 7.0.4 上进行测试。谢谢！

Answer 1

您有一个 for 循环正在调用您的 -foo 方法，因此 self.obj 正在迅速设置为新值。每次发生这种情况时，您都会异步执行访问 (nonatomic) 属性的代码。但是，即使在从多个线程访问时始终获得该属性的正确值，主线程也很可能在后台线程完成使用该属性的先前值之前将该属性设置为新值。一旦属性更改为新值，它就会释放分配给它的先前对象。

由于您从多个线程访问您的属性，您希望它是原子的，而不是非原子的，因此将您的属性更改为：

@property (strong) NSObject *obj;

atomic 是默认值。使用异步块执行以下操作可能也更安全：

dispatch_async(dispatch_get_global_queue(DISPATCH_QUEUE_PRIORITY_DEFAULT, 0), ^{
    NSObject *obj = self.obj;
    if (self.obj) {
        NSLog(@"%@", [obj description]);
    }
});

如果您这样做，您应该不会再看到崩溃，因为 obj 将始终是 nil 或在块内具有强引用的有效对象。

但是，您可能不会从中获得预期的结果。对于异步块的每次执行，不能保证您将获得您正在创建的NSObject 的后续实例。有时它会执行您的块，其中obj 两次都是同一个对象，并且您永远看不到某些已创建的对象。这是因为您的异步块没有在您调用块之前立即获取实例集，而是从属性中获取它。如果您希望它使用之前的实例集，您必须执行以下操作：

__block NSObject *obj = NSObject.new;
dispatch_async(dispatch_get_global_queue(DISPATCH_QUEUE_PRIORITY_DEFAULT, 0), ^{
    NSLog(@"%@", [obj description]);
});

这应该始终使用您专门为异步块的调用创建的实例。

Answer 2

在后台记录完成时，self.obj 可能不同或正在更改中。

使用这样的局部变量：

- (void)foo {
    NSLog(@"foo");

    NSObject *val = [NSObject new];
    self.obj = val;
    dispatch_async(dispatch_get_global_queue(DISPATCH_QUEUE_PRIORITY_DEFAULT, 0), ^{
        NSLog(@"%@", val);
    });
}

这将避免线程问题并确保NSLog 记录正确的实例。

Answer 3

我怀疑这个问题是由nonatomic 属性引起的，因为您重新分配self.obj 100 次我认为后台线程有可能读取部分重新分配的对象指针。

请尝试：

@property (atomic, strong) NSObject *obj;