分析器标记此构造的潜在泄漏

Question

使用以下代码，分析器将 setMyDict 选择器调用标记为潜在泄漏，并在 dealloc 中声明“调用者此时不拥有引用计数的错误递减”

- (id)init {
  if (self = [super init]) {
      [self setMyDict:[[NSMutableDictionary alloc] init]];
  }
  return self;
}

- (void)dealloc {
  [[self myDict] release];
  [super dealloc];
}

@synthesize myDict = _myDict;

我不明白这一点。我认为，通过 alloc init 对象将保留计数增加一，并且指针通过综合属性存储在 _myDict 中。如果我改用这段代码

- (id)init {
  if (self = [super init]) {
    _myDict = [[NSMutableDictionary alloc] init];
  }
  return self;
}

- (void)dealloc {
  [_myDict release];
  [super dealloc];
}

分析器不会抱怨。我错过了什么？

Answer 1

@synthesize 为您正在合成的对象提供 setter 和 getter。

setter 方法看起来像这样（取自 Apple 文档）

-(void)setMyDict:(NSMutableDictionary *)newDict {
    if (myDict != newDict) {
       [myDict release];
       myDict = [newDict retain];
    }
}

当你这样做时，你正在制造泄漏：

[self setMyDict:[[NSMutableDictionary alloc] init]];

因为你永远不会释放新分配的字典。

解决此问题的方法是：

NSMutableDictionary * dict = [[NSMutableDictionary alloc] init];
[self setMyDict:dict];
[dict release];

这可以解决泄漏问题。

在dealloc方法中，你应该使用：

[myDict release]; // Or whatever your property is called.