block究竟是不是对象?

block

block是OC中经常使用到的一个实现，其实用更多的时候像是一个函数实现。而事实上，在更多的场景中，block的使用似乎更加接近于对象.那么block究竟是不是对象？

block结构

在apple开源的代码实现中中，可以看到block的结构：

// Values for Block_layout->flags to describe block objects
enum {
    BLOCK_DEALLOCATING =      (0x0001),  // runtime
    BLOCK_REFCOUNT_MASK =     (0xfffe),  // runtime
    BLOCK_NEEDS_FREE =        (1 << 24), // runtime
    BLOCK_HAS_COPY_DISPOSE =  (1 << 25), // compiler
    BLOCK_HAS_CTOR =          (1 << 26), // compiler: helpers have C++ code
    BLOCK_IS_GC =             (1 << 27), // runtime
    BLOCK_IS_GLOBAL =         (1 << 28), // compiler
    BLOCK_USE_STRET =         (1 << 29), // compiler: undefined if !BLOCK_HAS_SIGNATURE
    BLOCK_HAS_SIGNATURE  =    (1 << 30), // compiler
    BLOCK_HAS_EXTENDED_LAYOUT=(1 << 31)  // compiler
};

#define BLOCK_DESCRIPTOR_1 1
struct Block_descriptor_1 {
    uintptr_t reserved;
    uintptr_t size;
};

#define BLOCK_DESCRIPTOR_2 1
struct Block_descriptor_2 {
    // requires BLOCK_HAS_COPY_DISPOSE
    void (*copy)(void *dst, const void *src);
    void (*dispose)(const void *);
};

#define BLOCK_DESCRIPTOR_3 1
struct Block_descriptor_3 {
    // requires BLOCK_HAS_SIGNATURE
    const char *signature;
    const char *layout;     // contents depend on BLOCK_HAS_EXTENDED_LAYOUT
};

struct Block_layout {
    void *isa;
    volatile int32_t flags; // contains ref count
    int32_t reserved; 
    void (*invoke)(void *, ...);
    struct Block_descriptor_1 *descriptor;
    // imported variables
};

所以单从block的实现结构中，可以看得出来，block中是具备isa指针的，而这一特征基本上可以认定是OC对象的一个标志性特征.

从这个也可以得出block与函数实现之间的区别

• block是一个结构体实现，其中包含了更多的信息，比如类型，标志位，预留位，block实现，block描述等，而不单单是一个函数实现；
• block作为一种重要的数据类型，是可以作为参数以及返回值进行传递的，而函数显然不行.

block的继承关系

既然从block的实现机构中，发现block似乎与OC的类有着极大的相似性，那么block究竟是OC中的一个真实存在的类还是只是看起来像一个类呢？
首先来看一个方法：

/***********************************************************************
* object_getClass.
* Locking: None. If you add locking, tell gdb (rdar://7516456).
**********************************************************************/
Class object_getClass(id obj)
{
    if (obj) return obj->getIsa();
    else return Nil;
}

使用object_getClass可以获取到当前对象(包括类对象)的$isa$指向的类.

然后，尝试遍历一下block的继承关系：

    void(^block)(void) = ^{
        
    };
    // 获取isa指向的类
    Class cls = object_getClass(block);
    while (cls) {
        NSLog(@"superClass --> %@", cls);
        cls = class_getSuperclass(cls);
    }

日志输出：

superClass --> __NSGlobalBlock__
superClass --> NSBlock
superClass --> NSObject

根据输出就可以看出来，其实block真真实实的是一个实例对象，其父类是NSBlock,根类是NSObject.

结论

日常开发中使用的block是不折不扣的实例对象，而不仅仅是像一个对象，跟其他继承自NSObject的类本质上一样，使用起来可以和其他实例对象一摸一样并没有任何区别,不用有任何顾虑.

block基本使用
block实现原理
block签名的使用
block变量捕获