gpt4 book ai didi

objective-c - 为什么不能将 ivar 的地址传递给 ARC 下的 "id __autoreleasing *"参数?

转载 作者:太空狗 更新时间:2023-10-30 03:45:35 24 4
gpt4 key购买 nike

在 ARC 下,输出参数采用以下形式(默认情况下;这等同于 NSError **):

- (BOOL)tryWithError:(NSError *__autoreleasing *)err;

来自Transitioning to ARC Release Notes ,如果我们传递一个 __strong 局部变量的地址,编译器将创建一个临时变量并生成以下代码:

NSError *error; // strong
BOOL ok = [myObject tryWithError:&error];

// translated to

NSError *__strong error;
NSError *__autoreleasing tmp = error;
BOOL ok = [myObject tryWithError:&tmp];
error = tmp;

但是如果我们用一个实例变量来做:

@implementation Foo {
NSError *_error; // strong
}
- (void)bar
{
[myObject tryWithError:&_error];
}
...

这给了我们错误

Passing address of non-local object to __autoreleasing parameter for write-back.

为什么这是无效的?编译器不能自动将这样的代码翻译成这个吗?

- (void)bar
{
NSError *__autoreleasing tmp = _error;
[myObject tryWithError:&tmp];
_error = tmp;
}

毕竟,这就是我要写的解决问题的方法!

注意:在参数类型will reduce the compiler's work slightly中加入out关键字因为它不必将当前值读入临时变量——但这不会处理错误。

最佳答案

不能将指向 ivar 的指针传递给 ARC 下的“id __autoreleasing *”参数,因为这种传递回写的格式不正确。 respective section in the ARC specification列出了 pass-by-writeback 的合法形式,这里唯一适用的是

&var, where var is a scalar variable of automatic storage duration with retainable object

,因此只允许自动存储持续时间(局部变量)。

为什么这是无效的:我很确定这里的原因是与旧代码的兼容性:

1) You should only look at the error writeback in the failure case .在成功的情况下,根本无法保证错误指针中的内容。

2) 一般来说,是否应该使用回写值取决于方法的约定。这是编译器无法检查的内容。

这是与 &error 类型匹配的代码版本( NSError * __autoreleasing * ) 到写回的类型 ( NSError ** 被解释为 NSError * __autoreleasing * )。如果ok是YES,错误值不会被触及。

NSError * __autoreleasing error;
BOOL OK = [myObject performOperationWithError:&error];
if (!OK) {
// use error
}

然而,那些__autoreleasing很丑,所以不要强制我们使用 __autoreleasing在所有地方,编译器允许我们传递 __strong (但本地)变量以及(默认所有权):

NSError *error;
BOOL OK = [myObject performOperationWithError:&error];
if (!OK) {
// use error
}

根据文档,它被重写为:

NSError * __strong error;
NSError * __autoreleasing tmp = error;
BOOL OK = [myObject performOperationWithError:&tmp];
error = tmp;
if (!OK) {
// use error
}

完全没有问题,错误只会在成功的情况下使用。

现在让我们看一下 __strong实例变量 _error .为什么编译器不允许这样做?这是重写的样子:

NSError * __autoreleasing tmp = _error;
BOOL OK = [myObject performOperationWithError:&tmp];
_error = tmp;
if (!OK) {
// use error
}

这里的问题是 tmp 中的回写将总是被使用(分配给实例变量 _error ),忽略方法的约定回写应该只在错误情况下使用(或一般情况下任何情况)该方法的文档说)。将最后一个错误分配给实例变量的安全方法是

NSError * __autoreleasing tmp = _error;
BOOL OK = [myObject performOperationWithError:&tmp];
if (!OK) {
_error = tmp;
// use error
} else {
_error = nil; // Make sure that _error is nil if there was no error.
}

这仅适用于返回错误的 Cocoa 方法的约定。通常,编译器无法判断方法将如何处理 id *。 : 那里可能有使用不同约定的旧方法。因此,如果您真的想将写回存储在 __strong 中实例变量,您目前必须自己多走一英里,我不希望这会改变。

关于objective-c - 为什么不能将 ivar 的地址传递给 ARC 下的 "id __autoreleasing *"参数?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/14195017/

24 4 0
Copyright 2021 - 2024 cfsdn All Rights Reserved 蜀ICP备2022000587号
广告合作:1813099741@qq.com 6ren.com