在 ARC 下未删除对象

Question

当第二个对象被解除分配时，在第二个对象中创建的对象不会被解除分配，除非我在解除分配中将指针设置为 nil，这似乎不正确。

我认为 ARC 应该在对象被释放时默认将所有指针设置为 nil，从而释放所有拥有的对象。

这是我的代码（只是核心）：

@interface Obj1 : NSObject
{
    Obj2 *obj2;   
}

@interface Obj2 : NSObject
{
}

@implementation Obj1

-(void)dealloc
{
    obj2 = nil;  // <--- This is needed to get obj2 to be dealloc'd.
    NSLog(@"Obj1 dealloc");
}

-(id)init
{
    if ((self = [super init]) == nil)
        return nil;

    obj2 = [[Obj2 alloc] init];

    return self;
}

@end

@implementation Obj2

-(void)dealloc
{
    NSLog(@"Obj2 dealloc");
}

-(id)init
{
    if ((self = [super init]) == nil)
        return nil;

    return self;
}

@end

我做错了吗？我读过的所有内容都说这应该有效。没有其他人持有 obj2 ，因为将其设置为 nil 会释放它。我已经尝试了带有和不带有 dealloc 函数的代码，以防万一它搞砸了，我得到了相同的结果。

有问题的文件正在编译为 obj-c++，但我没有对 c++ 和对象做任何事情。

谢谢。

Answer 1

这绝对应该按照您期望的方式工作。您可能在您从示例中混淆或剪辑的代码中意外地做了一些事情。为了演示，您可以将下面的代码保存到某个文件中，例如arc_tst.m，编译它并从终端运行它。您会看到它打印出所有预期的日志语句，然后通过解除分配两个对象而结束。这些对象与您在此处发布的示例代码中的模型完全相同（证明问题很可能在您的实际代码的其他部分中）。

要编译它，假设你把它命名为arc_tst.m，切换到保存文件的目录，然后输入以下内容：

$ clang -fobjc-arc -o arc_tst arc_tst.m -framework foundation
$ ./arc_tst

arc_tst.m

// build with: clang -fobjc-arc -o arc_tst arc_tst.m -framework foundation

#import <Foundation/Foundation.h>

@class Obj1, Obj2;

@interface Obj1 : NSObject
{
  Obj2* _obj2;
}

@end

@interface Obj2 : NSObject
{
}

@end

@implementation Obj1

- (id)init
{
  if( (self = [super init]) )
  {
    _obj2 = [[Obj2 alloc] init];
  }
  return self;
}

- (void)dealloc
{
  NSLog(@"Obj1 Dealloc");
}

@end

@implementation Obj2

- (id)init
{
  if( (self = [super init]) )
  {
  }
  return self;
}

- (void)dealloc
{
  NSLog(@"Obj2 Dealloc");
}

@end

int main (int argc, char const *argv[])
{
 @autoreleasepool {
  Obj1* obj = [[Obj1 alloc] init];
  NSLog(@"after alloc, have obj1: %@", obj);
  sleep(2);
  NSLog(@"after sleep, have obj1: %@", obj);
  obj = nil; // force ARC to trash obj
  NSLog(@"after nil on obj1, about to exit");
 }
 return 0;
}