Objective-C - 弱属性 - getter autoreleases（自动引用计数）

Question

我对 ARC（自动引用计数）中的 weak 属性有疑问

我的理解（如果我错了请纠正我）：

weak 属性的行为类似到 assign 属性，除了当该属性指向的实例被销毁时，ivar 会指向 nil。

问题：

1. 我只是觉得weak属性的getter保留并自动释放。它不是应该像 assign 属性的 getter 一样，其中 getter 不保留和自动释放吗？（请参阅程序）

程序：

我在下面给出了具有实际输出和我的预期输出的程序。

注意 - 当我将属性从weak更改为分配时，我的预期输出得到满足

#import<Foundation/Foundation.h>

@interface A : NSObject
- (void) dealloc;
@end

@implementation A
- (void) dealloc
{
    printf("\tinstance of A deallocated = %p\n", self);
}
@end

@interface B : NSObject
@property (weak) A* xa1;
- (void) dealloc;
@end

@implementation B
@synthesize xa1;
- (void) dealloc
{
    printf("\tinstance of B deallocated = %p\n", self);
}
@end


int main()
{
    B* b1 = [[B alloc] init];

    @autoreleasepool                        //autoreleasepool 1
    {   
        {                                   //block 1
            A* a1 = [[A alloc] init];
            printf("\ta1 = %p\n", a1);

            b1.xa1 = a1; 

            A* a3 = b1.xa1;

            printf("--- end of block 1\n");
        }                                       //at this point i expected instance pointed by a1 to be destroyed

        printf("--- end of autoreleasepool 1\n");
    }   

    printf("---- end of main\n");

    return(0);
}

实际输出：< /strong>

    a1 = 0x10d713f50
--- end of block 1
--- end of autoreleasepool 1
    instance of A deallocated = 0x10d713f50
---- end of main
    instance of B deallocated = 0x10d713d30

我的预期输出：

    a1 = 0x10d713f50
--- end of block 1
    instance of A deallocated = 0x10d713f50
--- end of autoreleasepool 1
---- end of main
    instance of B deallocated = 0x10d713d30

谢谢

Answer 1

在属性上提供 weak 会假定 ivar 拥有 __weak 所有权，即它只是 @synthesize 的指令。

根据 http://clang.llvm.org/docs/AutomaticReferenceCounting.html § 4.2，读取 __weak 变量需要保留该对象（当然，然后释放）：

在对象左值上执行左值到右值转换时会发生读取。

• 对于 __weak 对象，当前指针被保留，然后在当前完整表达式结束时释放。这必须针对分配和指向对象的最终发布以原子方式执行。
• 对于所有其他对象，左值会加载原始语义。

它没有说明原因，但想一想如果从 __weak 变量获得的对象在您开始使用它之前就死掉了，会发生什么。弱指针的目的是确保您有 nil 或具有已知生命周期的有效对象，这就是为什么读取其值意味着保留指针对象（然后属性的 getter 返回它自动释放）。

这并不是 Obj-C 独有的，它是所有弱指针实现（引用计数和垃圾收集）的常见习惯用法。弱指针不能直接给出指针值，它们必须创建指向“持有”对象的强指针，以确保它在调用者开始使用它之前不会消失。在Obj-C中，是retain-autorelease；在C++中，weak_ptr首先创建shared_ptr，在垃圾收集环境中，返回强引用并默默延长对象的生命周期。

Answer 2

x1 的 Getter 看起来像：

function -[B xa1] {
    var_8 = rdi;
    var_0 = rsi;
    rdi = objc_loadWeakRetained(var_8 + *_OBJC_IVAR_$_B.xa1);
    rax = [rdi autorelease];
    return rax;
}

因此，当您获取

A* a3 = b1.xa1;

a1 == b1.xa1 中的属性时，将获得 autorelease 调用并由 autoreleasepool 保留