添加到容器（NSDictionary、NSArray）时，您能帮我理解块类型吗？

Question

通常块可以有 3 种类型：NSGlobalBlock、NSStackBlock、NSMallocBlock。举个例子：

    void (^aBlock)(NSString *someString) = ^(NSString *someString){
        NSLog(@"Block was executed. %@", someString);
    };
    NSDictionary *dictionary = [NSDictionary dictionaryWithObject:aBlock forKey:@"aBlock"];

因为如果我执行 po dictionary aBlock 不会捕获周围的范围，我会得到 ​​p>

aBlock = NSGlobalBlock:0x165dde60> 这是正确的

如果我那么做：

    NSString *string = @"Test";
    void (^aBlock)(NSString *someString) = ^(NSString *someString){
        NSLog(@"Block was executed. %@ %@", someString, string);
    };
    NSDictionary *dictionary = [NSDictionary dictionaryWithObject:aBlock forKey:@"aBlock"];

然后po字典，我得到：

aBlock = NSMallocBlock:0x165dde60> 这让我很困惑

这不应该是 NSStackBlock 并且只有在我这样做时才成为 NSMallocBlock：

 NSDictionary *dictionary = [NSDictionary dictionaryWithObject:[aBlock copy] forKey:@"aBlock"];

我在使用 ARC 的 iOS 7.1 上，据我所知，块在向下传递堆栈时默认不应在 ARC 中复制，而应仅在向上传递堆栈时复制（从函数返回）。

我错过了什么？

Answer 1

字典中块对象的类型在这些行上已经是 NSMallocBlock 了，不是从 NSDictionary +dictionaryWithObject:forKey: 方法复制而来的。

void (^aBlock)(NSString *someString) = ^(NSString *someString){
    NSLog(@"Block was executed. %@ %@", someString, string);
};

ARC编译环境下这个aBlock变量默认为__strong。

__strong void (^aBlock)(NSString *someString) = ^(NSString *someString){
...

所以块对象由 aBlock 变量保留。实际上，根据 LLVM 源码，编译器发出 retain 代码，用于将对象存储到 __strong 变量中就行了。

1. https://github.com/llvm-mirror/clang/blob/master/lib/CodeGen/CGObjC.cpp#L2091
2. https://github.com/llvm-mirror/clang/blob/master/lib/CodeGen/CGObjC.cpp#L2109
3. https://github.com/llvm-mirror/clang/blob/master/lib/CodeGen/CGObjC.cpp#L1920
4. https://github.com/llvm-mirror/clang/blob/master/lib/CodeGen/CGObjC.cpp#L1944

EmitARCRetainBlock：

llvm::Value *CodeGenFunction::EmitARCRetainBlock(llvm::Value *value, bool mandatory) {
    llvm::Value *result = emitARCValueOperation(*this, value,
        CGM.getARCEntrypoints().objc_retainBlock, "objc_retainBlock");

这个objc_retainBlock是objc4中的一个运行时函数。

http://opensource.apple.com/source/objc4/objc4-551.1/runtime/NSObject.mm

id objc_retainBlock(id x) {
    return (id)_Block_copy(x);
}

因此，块对象被这个_Block_copy从堆栈复制到堆。

除此之外，您还可以使用 __weak 查看块对象的 __NSStackBlock__ 类型。

__weak void (^aBlock)(NSString *someString) = ^(NSString *someString){
    NSLog(@"Block was executed. %@ %@", someString, string);
};

在这种情况下，块对象并没有被aBlock变量保留，并且块对象不是普通的Objective-C对象，所以块对象可以存在堆栈上。是的，它是 __NSStackBlock__ 对象。在存储到 NSMutableDictionary 之前，您可能需要调用 copy 或 Block_copy。