Objective-C：子父类型循环引用，泄漏？

Question

在这样的关系中如何避免内存泄漏？

@class Node;

@interface Node : NSObject {
  Node *parent;
  Node *child;
  id object;
}

-(id)initWithObject:(id)anObject;
-(id)object;
-(void)setChild:(Node *)aNode;
-(void)setParent:(Node *)aNode;

@end


@implementation Node

-(id)initWithObject:(id)anObject {
  if (self = [self init]) {
    object = [anObject retain];
  }
  return self;
}

-(id)object {
  return object;
}

-(void)setParent:(Node *)aNode {
  [parent release];
  parent = [aNode retain];
}

-(void)setChild:(Node *)aNode {
  [child release];
  child = [aNode retain];
  [child setParent:self];
}

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

@end

---

Node *root = [[Node alloc] initWithObject:@"foo"]; // root retain = 1
Node *child = [[Node alloc] initWithObject:@"bar"]; // child retain = 1

[root setChild:child]; // child retain = 2, root retain = 2

[root release]; // root retain = 1
[child release]; // child retain = 1

/* Leaking! */

如果您不知道预先 root 应该被释放，您只关心您不再需要它，引用计数如何以及在何处降至零？

此外，Leaks 应用程序甚至会将此检测为泄漏吗？我怀疑我可能被这个咬了，因为我试图追查似乎是泄漏的地方，但 Leaks 声称我没有泄漏。由于 child 仍然引用 parent，反之亦然，我敢说 Leaks 认为对象仍然被引用，因此没有泄漏。

Answer 1

根据经验，在父子关系中保留分层祖先是个坏主意。它会导致这些“保留周期”，在这些“保留周期”中，您的对象不会在它们应该被释放时被释放。 here 对问题有很好的解释，并附有精美的图片和建议。

Answer 2

retain cycles 上的 Apples 文档还指出了如何破解它们：在一侧使用 weak references，在这种情况下可能是为了父母。

请注意，您发布的内容还有其他问题： 考虑例如-setChild: 当aNode==child。 child 实例将在 -retain 之前被释放，如果没有其他东西持有对它的（强）引用。

要解决这个问题，请使用：

if (aNode != child) {
    // ... same as before
}

或：

Node *tmp = child;
child = [aNode retain];
[tmp release];