ARC 弱局部变量的生命周期

Question

如果我有一段看起来像这样的代码：

- (void)testSomething
{
  __weak NSString *str = [[NSString alloc] initWithFormat:@"%@", [NSDate date]];
  NSLog(@"%@", str);
}

输出将是（null），因为没有对 str 的强引用，并且在我分配它后它会立即释放。这是有道理的，并在过渡到 ARC 指南中详细说明。

如果我的代码如下所示：

- (void)testSomething
{
  __weak NSString *str = [NSString stringWithFormat:@"%@", [NSDate date]];
  NSLog(@"%@", str);
}

然后它会正确打印出当前日期。显然，您希望它在非 ARC 世界中工作，因为 str 将被自动释放，因此在此方法退出之前有效。但是，在启用 ARC 的代码中，人们通常认为这两种形式（stringWithFormat 和 alloc/initWithFormat）是等价的。

所以我的问题是，像第二个示例这样的代码是否可以保证在 ARC 下工作。也就是说，如果我对通过我们通常认为的自动释放便利构造函数获得的对象有一个弱引用，那么 保证 在我通常会的相同范围内使用该引用是安全的吗没有ARC（即直到方法退出）？

Answer 1

自动释放和分配的约定在 ARC 的世界中仍然适用。唯一的区别是 ARC 将插入额外的保留/释放调用，以使泄漏对象或访问已解除分配的对象变得更加困难。

在这段代码中：

__weak NSString *str = [[NSString alloc] initWithFormat:@"%@", [NSDate date]];

对象保留（或等效）的唯一位置是分配。 ARC 会自动插入一个释放命令，导致它立即被释放。

同时，在这段代码中：

 __weak NSString *str = [NSString stringWithFormat:@"%@", [NSDate date]];

按照惯例，像这样的便利构造函数的返回值必须是一个自动释放的对象*。这意味着当前的 autoreleasepool 已经保留了该对象，并且在池耗尽之前不会释放它。因此，您几乎可以保证该对象将至少在您的方法的持续时间内存在 - 尽管您可能不应该依赖这种行为。

（*或以其他方式保留）

Answer 2

根本无法保证局部弱变量的生命周期。如果变量指向的对象被释放，那么之后弱变量将指向nil。

如果您对通过不返回保留对象的方法获得的对象有弱引用，则假设该对象在方法退出之前一直存在是不安全的。如果您想确保对象存在，请使用强引用。

这里有一个例子说明非保留方法的返回值不能保证在自动释放池中结束：

• 创建一个新的 iOS 项目（使用 ARC 和 Storyboards 的单一视图应用程序）

• 将此方法添加到AppDelegate.m:

  + (id)anObject
  {
      return [[NSObject alloc] init];
  }
  

• 替换-application:didFinishLaunchingWithOptions:：

  - (BOOL)application:(UIApplication *)application didFinishLaunchingWithOptions:(NSDictionary *)launchOptions
  {
      __weak id x = [AppDelegate anObject];
      NSLog(@"%@", x);
      return YES;
  }
  

• 重要提示：现在将 Debug 的优化级别设置为 -Os。

在本例中，+[AppDelegate anObject] 的作用类似于便利构造函数，但如果您在具有 -Os 优化的设备上执行它，您会看到记录了 (null)。这样做的原因是一个漂亮的 ARC 优化，它可以防止将对象添加到自动释放池中的开销。

您可能已经注意到我切换到不使用像 +[NSString stringWithFormat:] 这样的库方法。这些似乎总是将对象放入自动释放池中，这可能是出于兼容性原因。