引言

在Objective - C的世界里，Block是一项强大且独特的特性。它本质上是一种自包含的代码块，能够像对象一样被传递、存储和执行，这极大地增强了代码的灵活性和可复用性。Block在iOS和macOS开发中有着广泛的应用，比如在回调、排序、动画等场景中都能看到它的身影。本文将详细介绍Block的基本使用，帮助开发者更好地掌握这一重要特性。

一、Block的定义与基本语法

1.1 什么是Block

Block，也被称为闭包，它是一段可以在将来某个时间点执行的代码。Block可以捕获其所在上下文的变量，并且能够作为参数传递给其他函数或方法，也能作为返回值返回。

1.2 基本语法

无参数无返回值的Block

1
2
3
4
5
6
7
// 定义一个无参数无返回值的Block
void (^simpleBlock)(void) = ^{
    NSLog(@"This is a simple block.");
};

// 调用Block
simpleBlock();

在上述代码中，void (^simpleBlock)(void) 定义了一个名为 simpleBlock 的Block，它没有参数，也没有返回值。^{ ... } 是Block的实现部分，最后通过 simpleBlock(); 来调用这个Block。

有参数有返回值的Block

1
2
3
4
5
6
7
8
// 定义一个有两个整数参数并返回整数的Block
int (^addBlock)(int, int) = ^(int a, int b) {
    return a + b;
};

// 调用Block并获取返回值
int result = addBlock(3, 5);
NSLog(@"The result of addition is: %d", result);

这里，int (^addBlock)(int, int) 定义了一个名为 addBlock 的Block，它接受两个 int 类型的参数，并返回一个 int 类型的值。^(int a, int b) { ... } 是Block的实现，其中 (int a, int b) 是参数列表，return a + b; 是返回值。

二、Block捕获外部变量

2.1 捕获局部变量

Block可以捕获其所在上下文的局部变量，但需要注意的是，Block捕获的是局部变量的值，而不是变量本身。

1
2
3
4
5
6
7
8
9
10
int num = 10;
void (^captureBlock)(void) = ^{
    NSLog(@"The captured number is: %d", num);
};

// 修改外部变量的值
num = 20;

// 调用Block
captureBlock(); // 输出: The captured number is: 10

在这个例子中，captureBlock 捕获了局部变量 num 的值，即使在Block定义之后修改了 num 的值，Block内部使用的仍然是捕获时的值。

2.2 捕获静态变量和全局变量

捕获静态变量

静态变量会被Block捕获其地址，因此在Block内部可以修改静态变量的值，并且修改会影响到外部的静态变量。

1
2
3
4
5
6
7
8
static int staticNum = 10;
void (^modifyStaticBlock)(void) = ^{
    staticNum++;
    NSLog(@"The modified static number is: %d", staticNum);
};

// 调用Block
modifyStaticBlock(); // 输出: The modified static number is: 11

捕获全局变量

全局变量不会被Block捕获，Block会直接使用全局变量。因此在Block内部修改全局变量的值会影响到外部。

1
2
3
4
5
6
7
8
int globalNum = 10;
void (^modifyGlobalBlock)(void) = ^{
    globalNum++;
    NSLog(@"The modified global number is: %d", globalNum);
};

// 调用Block
modifyGlobalBlock(); // 输出: The modified global number is: 11

2.3 __block 修饰符

如果想要在Block内部修改外部局部变量的值，可以使用 __block 修饰符。使用 __block 修饰的变量会被封装成一个结构体，Block捕获的是该结构体的地址。

1
2
3
4
5
6
7
8
__block int blockNum = 10;
void (^modifyBlockNum)(void) = ^{
    blockNum++;
    NSLog(@"The modified block number is: %d", blockNum);
};

// 调用Block
modifyBlockNum(); // 输出: The modified block number is: 11

三、Block作为参数传递

3.1 自定义函数中使用Block参数

1
2
3
4
5
6
7
8
9
10
11
12
13
// 定义一个接受Block作为参数的函数
void performOperation(int a, int b, int (^operation)(int, int)) {
    int result = operation(a, b);
    NSLog(@"The result of the operation is: %d", result);
}

// 定义一个加法Block
int (^add)(int, int) = ^(int a, int b) {
    return a + b;
};

// 调用函数并传递Block
performOperation(3, 5, add);

在这个例子中，performOperation 函数接受两个整数和一个Block作为参数，在函数内部调用这个Block并输出结果。

3.2 在系统API中使用Block参数

在iOS开发中，很多系统API都使用了Block作为参数，比如数组排序。

1
2
3
4
5
NSArray *numbers = @[@3, @1, @4, @2];
NSArray *sortedNumbers = [numbers sortedArrayUsingComparator:^NSComparisonResult(NSNumber *obj1, NSNumber *obj2) {
    return [obj1 compare:obj2];
}];
NSLog(@"The sorted numbers are: %@", sortedNumbers);

这里，sortedArrayUsingComparator: 方法接受一个Block作为参数，这个Block定义了排序的规则。

四、Block作为返回值

1
2
3
4
5
6
7
8
9
10
11
12
13
// 定义一个返回Block的函数
int (^returnBlock())(int, int) {
    return ^(int a, int b) {
        return a * b;
    };
}

// 调用函数获取Block
int (^multiplyBlock)(int, int) = returnBlock();

// 调用Block
int product = multiplyBlock(3, 5);
NSLog(@"The product is: %d", product);

在这个例子中，returnBlock 函数返回一个Block，这个Block实现了两个整数相乘的功能。

五、Block的内存管理

5.1 Block的类型

根据存储位置的不同，Block可以分为以下三种类型：

  • NSGlobalBlock：当Block不捕获任何外部变量时，会被创建为全局Block，存储在全局数据区。
    1
    2
    3
    4
    void (^globalBlock)(void) = ^{
        NSLog(@"This is a global block.");
    };
    NSLog(@"The class of globalBlock is: %@", [globalBlock class]); // 输出: __NSGlobalBlock__
  • NSStackBlock：当Block捕获了外部变量，但没有进行复制操作时，会被创建为栈Block，存储在栈区。栈Block在其所在的栈帧销毁后就会失效。
    1
    2
    3
    4
    5
    int num = 10;
    void (^stackBlock)(void) = ^{
        NSLog(@"The number is: %d", num);
    };
    NSLog(@"The class of stackBlock is: %@", [stackBlock class]); // 输出: __NSStackBlock__
  • NSMallocBlock：当对栈Block进行复制操作时，会将其复制到堆区，成为堆Block。堆Block的生命周期由开发者管理。
    1
    2
    3
    4
    5
    6
    int num = 10;
    void (^stackBlock)(void) = ^{
        NSLog(@"The number is: %d", num);
    };
    void (^heapBlock)(void) = [stackBlock copy];
    NSLog(@"The class of heapBlock is: %@", [heapBlock class]); // 输出: __NSMallocBlock__

5.2 复制和释放操作

对不同类型的Block进行复制操作会有不同的效果：

  • NSGlobalBlock：复制操作不会产生新的Block，仍然返回原来的Block。
  • NSStackBlock：复制操作会将栈Block复制到堆区，生成一个NSMallocBlock。
  • NSMallocBlock：复制操作会增加引用计数。

当Block的引用计数为0时，会自动调用其 dispose 函数进行释放操作。对于捕获了对象的Block，dispose 函数会对捕获的对象进行释放。

六、Block使用中的注意事项

6.1 循环引用问题

如果Block捕获了包含它的对象，并且该对象又持有该Block，就会产生循环引用。可以使用 __weak 修饰符来避免循环引用。

1
2
3
4
__weak typeof(self) weakSelf = self;
self.block = ^{
    [weakSelf doSomething];
};

6.2 线程安全问题

在多线程环境下使用Block时，需要注意线程安全问题。特别是在修改共享数据时，需要进行适当的同步操作。

七、总结

Block是Objective - C中一个非常强大的特性，它为开发者提供了一种简洁、高效的方式来处理代码块。通过本文的介绍，我们了解了Block的基本定义、语法、变量捕获、作为参数和返回值的使用、内存管理以及使用中的注意事项。掌握这些基本使用方法，将有助于开发者在实际开发中更加灵活地运用Block，提高代码的质量和可维护性。希望本文能对开发者们有所帮助。

许可协议

本文采用 署名-非商业性使用-相同方式共享 4.0 国际 许可协议，转载请注明出处。