分析器标记了该结构的潜在泄漏

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.