无法理解 NSError/NSObject 指针传递行为

Question

尽管我已经阅读了 Why does NSError need double indirection? (pointer to a pointer) 和 NSError * vs NSError ** 等等，但我现在对指针的指针感到困惑。

我已经做了一些思考，但仍有一些问题。

这是我写的：

NSError *error = [NSError errorWithDomain:@"before" code:0 userInfo:nil];
NSLog(@"outside error address: %p", &error];
[self doSomethingWithObj:nil error:&error];

为了测试上面的NSError方法，我写了这个：

- (id)doSomethingWithObj:(NSObject *)obj error:(NSError *__autoreleasing *)error
{
    NSLog(@"inside error address: %p", error);
    id object = obj;
    if (object != nil)
    {
        return object;
    }
    else
    {
        NSError *tmp = [NSError errorWithDomain:@"after" code:0 userInfo:nil];
        *error = tmp;
        return nil;
    }
}

但是我发现这两个日志地址是不同的。这是为什么呢？

2016-08-19 19:00:16.582 Test[4548:339654] outside error address: 0x7fff5b3e6a58
2016-08-19 19:00:16.583 Test[4548:339654] inside error address: 0x7fff5b3e6a50

他们不应该是一样的，因为那只是一个简单的价值副本吗？如果它们应该不同，指向指针的指针如何最终指向同一个NSError 实例？

Answer 1

调用者中的变量类型为NSError*。地址的类型为NSError* *。函数期望NSError* __autoreleasing *。因此编译器会创建一个NSError* __autoreleasing 类型的隐藏变量，在调用前将NSError* 复制到隐藏变量中，并在调用后将其复制回来以获得__autoreleasing 的语义。

Answer 2

因此，在第一行初始化之后，error 是一个指向 NSError 对象的指针。

在第一个日志中，您记录的是 指针 所在的地址。这就是 & 地址操作符的效果。无论如何，就是将地址传递给 doSomething 方法。

你正在传入：指针 -> 指针 -> nserror-object。

但请注意 doSomething 签名中的 双重间接。自动释放注解使其难以被发现，但它的 NSError **.

因此编译器会获取您的参数并“解包”两次。

它从指针 -> 指针 -> nserror-object 开始。然后在第一次间接之后它变成指针-> nserror-object。然后在第二次间接之后它变成 nserror-object。

Ergo，您正在记录两件不同的事情。第一个是指向 nserror-object 的指针的地址。第二个是nserror-object本身的地址。

编辑： @MANIAK_dobrii 指出 error 指向的对象在前后情况下本身不同。

确实如此。如果在 doSomething 中发生错误，那么它会在 else 子句中创建一个全新的 NSError 实例。然后它将其加载回error 指针。这就是为什么您会看到两个不同的地址，之后 error 指针完全指向另一个对象。