为什么这个代码在ARC下泄漏？ （一个__weak实例变量）

Question

我面临一个奇怪的泄漏。以下Car类的对象永远不会被释放。

但是，如果我摆脱了实例变量_unsafe_self，而是在init方法中声明（并像之前那样分配）变量，那么泄漏就会消失。

可能导致这种情况的原因是什么？我认为__weak总是很弱，无论它是否是实例变量。

@interface Car : NSObject
@end

@implementation Car {
  id _obs;
  __weak Car *_unsafe_self;
}

- (id)init {
  if (!(self = [super init]))
    return nil;

  _unsafe_self = self;

  _obs = [[NSNotificationCenter defaultCenter]
          addObserverForName:NSWindowDidMoveNotification
          object:nil
          queue:[NSOperationQueue mainQueue]
          usingBlock:^(NSNotification *note) {
              NSLog(@"hello %@", _unsafe_self);
            }];

  return self;
}

- (void)dealloc {
  [[NSNotificationCenter defaultCenter] removeObserver:_obs];
}
@end

Answer 1

_unsafe_self与self->_unsafe_self相同，因此

中的块

_obs = [[NSNotificationCenter defaultCenter]
          addObserverForName:NSWindowDidMoveNotification
          object:nil
          queue:[NSOperationQueue mainQueue]
          usingBlock:^(NSNotification *note) {
              NSLog(@"hello %@", _unsafe_self);
            }];

捕获self，导致保留周期阻止self被解除分配。

这不会导致保留周期：

__weak Car *weakSelf = self;
_obs = [[NSNotificationCenter defaultCenter]
        addObserverForName:NSWindowDidMoveNotification
        object:nil
        queue:[NSOperationQueue mainQueue]
        usingBlock:^(NSNotification *note) {
            NSLog(@"hello %@", weakSelf);
        }];

---

使用属性self.unsafe_self会使代码中的内容更加明显，但已经有足够多的“属性与ivar”Q＆amp; As： - ）