为什么 NSString 在这段代码中会变成 Zombies？

Question

我刚刚遇到了一个问题。我使用 NSMutableArray 来保留需要加载的广告 ID。当一个 id 被预加载时，我将它从数组中删除。然后我发现，删除后，单位id变成了僵尸。

我试图重现这一点，我发现当从数组中提取广告 id 时，它不是僵尸。它只是从数组中删除后变成了僵尸。但是，还有一个 NSString* 引用它，怎么会这样呢？而如果它此时会变成僵尸，那么它应该每次都变成僵尸。但它只是偶尔发生。

 -(void)preloadNextRewardVideo
 {
     if([_allRewardVideoAds count])
     {
         NSString* adsName = [_allRewardVideoAds objectAtIndex:0];  //the element is not a zombie here
         GADRewardBasedVideoAd* ads = [self ensureRewardVideo:adsName];
         if(![ads isReady])
         {
             _currentRewardVideoName = adsName;
             [_allRewardVideoAds removeObjectAtIndex:0];
             GADRequest *request = [GADRequest request];
             [ads loadRequest:request withAdUnitID:adsName];  //here, adsName is a zombie
             _isRewarLoading = YES;
         }
     }
 }

Answer 1

值得仔细看看可可的memory management policies。这里的事情（在我看来）是，当您的代码分配字符串 adsName 时，preloadNextRewardVideo 方法所属的对象不会获得adsName 指向的字符串对象的所有权（'所有权'在这种情况下，意味着通过 alloc/init、new、copy 等为其分配和初始化空间，或者向其发送显式保留消息）。您所拥有的只是一个指向_allRewardVideoAds 数组所拥有的字符串对象的局部变量。是的，进行分配会增加保留计数，但保留是自动释放的，并且仅限于此方法的范围。一旦这个方法结束，没有任何东西会拥有那个字符串对象，它会被释放。

这不会是一个问题（并且不会创建 NSZombie 标志），除非您只是将adsName 发送到另一个对象（GADRewardBasedVideoAd* ads），我猜它也不会保留它。当然，ads 也是自动释放的（在此方法之外没有人拥有它），但那是什么，是先释放ads 还是adsName 的竞争条件？我怀疑你确实有竞争条件，因为 NSZombie 有时只出现，但我对自动释放的内部机制知之甚少，不知道它是如何工作的。

我认为 NSZombie 只是在告诉你，你有一个对象是：

• 被外部对象使用，并且
• 由于自动释放很快就会被销毁。

ARC 预计会出现问题，并使用 NSZombie 通知您。

你可以通过使用属性设置器（例如使用self.currentRewardVideoName = adsName）来解决这个问题，它为这个对象全局保留字符串对象，或者通过本地复制它（NSString* adsName = [[_allRewardVideoAds objectAtIndex:0] copy]）来确保你的对象拥有字符串到方法结束。

Answer 2

由于您没有启用 ARC，这意味着您需要自己手动管理内存。由于您没有启用 ARC，这意味着您需要自己手动管理内存。尽管大多数 API 会从方法返回一个自动释放的对象，但情况并非总是如此。

对于这种情况，NSArray 保留了自身包含的对象，因此它可能不需要从 objectAtIndex: 方法返回自动释放的对象，因为它应该自己保留作为优化。在这种情况下，我建议您在从数组中获取对象时调用保留对象并在此方法结束之前释放它。这将有助于这种情况。