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]];

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

（*或以其他方式保留）

Answer 2

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

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

下面是一个示例，显示非保留方法的返回值不能保证最终出现在自动释放池中：

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

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

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

• 替换 -application:didFinishLaunchingWithOptions::

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

• 重要：现在将调试的优化级别设置为 -Os.

在此示例中，+[AppDelegate anObject] 的作用类似于便捷构造函数，但如果您在使用 -Os 的设备上执行它，您将看到记录 (null)优化。其原因是巧妙的 ARC 优化，可以防止将对象添加到自动释放池的开销。

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