Objective-C Block与函数指针比较、分析

本来不应该将OC block与函数指针进行比较的，这两者除了声明形式上类似，都可用来实现回调（CallBack）之外，其不同的地方会更多。

今天从一个小例子开始对Objective-C里面函数指针和Block进行剖析。
函数指针是C语言里面就有的，而Objective-C是C的超集，对C语言作了很多扩展（这种扩展主要是依赖编译器和运行时系统来完成的）。从表层来看，OC对C的扩展主要就是@符号的引入，包括定义类、协议、属性、装箱、@synchronized、抛出异常等等都有@符号的身影。

如果你也是做过C/C++开发，再来接触OC里面Block的话，应该也会有一种特别的亲切感。

基本用法

#import <Foundation/Foundation.h>
#import <stdlib.h>

//定义无参数、无返回值的函数
void voidVoidTest() {
    NSLog(@"In function voidVoidTest()...");
}
//无参数返回int
int intVoidTest() {
    NSLog(@"In function intVoidTest()...");
    return arc4random()%10;
}
//带一个int类型参数、返回int
int intIntTest(int val) {
    NSLog(@"In function intIntTest()...val=%i", val);
    return val<<1;
}

int main(int argc, const char * argv[]) {
    @autoreleasepool {
        //函数指针
        void (*funcVoidVoid)() = &voidVoidTest;
        //调用所指向的函数
        funcVoidVoid();
        int (*funcIntVoid)() = intVoidTest;
        NSLog(@"funcIntVoid called: %i", funcIntVoid());
        int (*funcIntInt)(int) = intIntTest;
        NSLog(@"funcIntInt called: %i", funcIntInt(20));
        
        //Block
        void (^voidVoidBlock)() = ^void (void){
            NSLog(@"In block voidVoidBlock...");
        };
        //调用block
        voidVoidBlock();
        
        int (^intVoidBlock)() = ^int (void) {
            NSLog(@"In block intVoidBlock...");
            return arc4random()%10;
        };
        NSLog(@"intVoidBlock called: %i", intVoidBlock());
        int (^intIntBlcok)(int) = ^int (int val) {
            NSLog(@"In block intIntBlcok...");
            return val<<1;
        };
        NSLog(@"intIntBlcok called: %i", intIntBlcok(100));
    }
    return 0;
}

以上代码分别对 无参数无返回值 、无参数返回int、int参数返回int 三种情况进行了示例。需要说明以下几点：

1. 对函数指针进行赋值的时候，直接使用预先定义好的函数的名称，或者在函数名称前面加上一个取地址符号**&**都是一样的，C里面函数名称本身就可以表示函数的地址。
2. Objective-C里面Block和函数指针声明形式上颇为相像，可看成是*号换成了**^**这个块特有的符号。
3. 定义block的时候，如果参数和返回值为void可以简写：

void (^voidVoidBlock)() = ^{
     NSLog(@"In block voidVoidBlock...");
 };
 voidVoidBlock();

4. 此外还可以通过typedef给函数指针和Block定义一个别名，例如：

typedef int (*FuncIntInt)(int);
typedef int (^IntIntBlock)(int);

//通过typedef定义类型
FuncIntInt func = intIntTest;
NSLog(@"typedef func: %i", func(1000));
IntIntBlock block = ^int (int val) {
    NSLog(@"In typedef block...val=%i", val);
    return val<<1;
};
NSLog(@"typedef block: %i", block(134));

Block和函数指针的异同

相似点

1. 函数指针和Block都可以实现回调的操作，声明上也很相似，实现上都可以看成是一个代码片段。
2. 函数指针类型和Block类型都可以作为变量和函数参数的类型。（typedef定义别名之后，这个别名就是一个类型）

不同点

1. 函数指针只能指向预先定义好的函数代码块（可以是其他文件里面定义，通过函数参数动态传入的），函数地址是在编译链接时就已经确定好的。
2. Block本质是Objective-C对象，是NSObject的子类，可以接收消息。
3. 函数里面只能访问全局变量，而Block代码块不光能访问全局变量，还拥有当前栈内存和堆内存变量的可读性（当然通过__block访问指示符修饰的局部变量还可以在block代码块里面进行修改）。
4. 从内存的角度看，函数指针只不过是指向代码区的一段可执行代码，而block实际上是程序运行过程中在栈内存动态创建的对象，可以向其发送copy消息将block对象拷贝到堆内存，以延长其生命周期。

---

• 关于第2点可以作一个实验，在定义block之后打一个断点，Cmd+R运行后，可以在调试窗口看到，block确实是一个对象，拥有isa指针。
• 另外，采用block写法，gcc编译出来可执行文件体积更大，这应该还是跟block是对象有关。