针对保留循环问题的解决方案是“父”对象应保留其“子”对象，但子对象不应该保留其父对象。因此，在图1中，document对象要保留page对象，但page对象不保留document对象。子对象对其父对象的引用是一个弱引用的例子，这部分内容在“对象的弱引用”有更充分的描述。
保留一个对象创建了一个对该对象的“强”引用。一个对象只有在它的所有强引用都被释放后才能被回收。因此，一个对象的生命周期取决于其强引用的所有者。在某些情况下，这种行为可能并不理想。您可能想要引用一个对象而不妨碍对象本身的回收。对于这种情况，您可以获取一个“弱”引用。弱引用是通过存储一个指向对象的指针创建的，而不是保留对象。
NSMutableArray *array;
NSUInteger i;
// ...
for (i = 0; i < 10; i++) {
NSNumber *allocedNumber = [[NSNumber alloc] initWithInteger: i];
[array addObject:allocedNumber];
[allocedNumber release];
}
在这段代码中，您需要在for循环的作用域内向allocedNumber发送release消息，以抵消之前的alloc。由于数组在用addObject:方法添加数字时对其进行了保留，因此只要它还在数组中就不会被释放。
要理解这一点，您要把自己放在实现这种集合类的作者的位置。您要确保交给您管理的对象不能在您的眼皮底下消失，所以您要在这些对象被加入集合中时向它们发送retain消息。如果它们被删除，您还必须相应地发送release消息，并且在您自己的dealloc方法中，您还应该向其余的对象发送release消息。
您可以使用常见的alloc和init消息来创建一个NSAutoreleasePool对象，并使用drain（如果您向一个自动释放池发送autorelease或retain消息，会引发异常—要了解release和drain之间的差异，请参考“垃圾回收”）销毁它。自动释放池应该总是在与它被创建时所处的相同上下文环境（方法或函数的调用，或循环体）中被销毁。
自动释放池被置于一个堆栈中，虽然它们通常被称为被“嵌套”的。当您创建一个新的自动释放池时，它被添加到堆栈的顶部。当自动释放池被回收时，它们从堆栈中被删除。当一个对象收到送autorelease消息时，它被添加到当前线程的目前处于栈顶的自动释放池中。
嵌套自动释放池的能力是指，您可以将它们包含进任何函数或方法中。例如，main函数可以创建一个自动释放池，并调用另一个创建了另外一个自动释放池的函数。或者，一个方法可以有一个自动释放池用于外循环，而有另一个自动释放池用于内循环。嵌套自动释放池的能力是一种很显著的优势，但是，当发生异常时也会有副作用
我们通常会提及自动释放池是被嵌套的，如清单1所示。但是，您也可以认为嵌套自动释放池位于一个堆栈中，其中，“最内层”的自动释放池位于栈顶。如前所述，嵌套自动释放池实际上是这样实现的：程序中的每个线程都维护一个自动释放池的堆栈。当您创建一个自动释放池时，它被压入当前线程的堆栈的栈顶。当一个对象被自动释放时—也就是说，当一个对象收到一条autorelease消息或者当它作为一个参数被传入addObject:类方法时—它总是被放入堆栈顶部的自动释放池中。
在垃圾回收环境中，release是一个空操作。因此，NSAutoreleasePool提供了drain方法，在引用计数环境中，该方法的作用等同于调用release，但在垃圾回收环境中，它会触发垃圾回收（如果自上次垃圾回收以来分配的内存大于当前的阈值）。因此，在通常情况下，您应该使用drain而不是release来销毁自动释放池。