http://pernghh.pixnet.net/blog/trackback/eac87d412e/33563409
本文来自台湾的某开发人员的博客,被墙,感觉讲的比较易懂,所以引过来。文字简体化了,原来是繁体,变数=变量,这个注意一下。
本章学习目标: 1. 了解何谓block。 2. 了解block的使用方法。 注:变数=变量
Block 是iOS在4.0之后新增的程式语法,严格来说block的概念并不算是基础程式设计的范围,对初学者来说也不是很容易了解,但是在iOS SDK 4.0之后,block几乎出现在所有新版的API之中,换句话说,如果不了解block这个概念就无法使用SDK 4.0版本以后的新功能,因此虽然block本身的语法有点难度,但为了使用iOS的新功能我们还是得硬着头皮去了解这个新的程式概念。
1.初探Block
在这一小节我们先用一些简单范例来导入block的概念。
1.1 宣告和使用Block:
我们使用「^」运算子来宣告一个block变数,而且在block的定义最后面要加上「;」来表示一个完整的述句(也就是将整个block定义视为前面章节所介绍的简单述句,因为整个定义必须是一个完整的句子,所以必须在最后面加上分号),下面是一个block的范例:
2 | int (^myBlock)( int ) = ^( int num) |
4 | return num * multiplier; |
我们宣告一个「myBlock」变数,用「^」符号来表示这是一个block。这是block的完整定义,这个定义将会指定给「myBlock」变数。表示「myBlock」是一个回传值为整数(int)的block。它有一个参数,型态也是整数。这个参数的名字叫做「num」。这是block的内容。
值得注意的地方是block可以使用和本身定义范围相同的变数,可以想像在上面的例子中multiplier 和myBlock 都是某一个函数内定义的两个变数也就是这个变数都在某个函数两个大括号「{」和「 }」中间的区块,因为它们的有效范围是相同的,因此在block中就可以直接使用 multiplier 这个变数,此外当把block定义成一个变数的时,我们可以直接像使用一般函数般的方式使用它:
2 | int (^myBlock)( int ) = ^( int num) |
4 | return num * multiplier; |
6 | printf ( "%d" , myBlock( 3 )); |
1.2
直接使用Block
:
在很多情况下,我们并不需要将block宣告成变数,反之我们可以直接在需要使用block的地方直接用内嵌的方式将block的内容写出来,在下面的例子中qsort_b函数,这是一个类似传统的qsort_t函数,但是直接使用block做为它的参数:
01 | char *myCharacters[3] = { "TomJohn" , "George" , "Charles Condomine" }; |
02 | qsort_b (myCharacters, 3, |
04 | ^( const void *l, const void *r) |
06 | char *left = *( char **)l; |
07 | char *right = *( char **)r; |
08 | return strncmp (left, right, 1 ); |
1.3
__block 变量
:
一般来说,在block内只能读取在同一个作用域的变数而且没有办法修改在block外定义的任何变数,此时若我们想要这些变数能够在block中被修改,就必须在前面挂上__block的修饰词,以上面第一个例子中的 multiplier 来说,这个变数在 block 中是唯读的,所以 multiplier = 7 指定完后,在 block 中的 multiplier 就只能是 7 不能修改,若我们在 block 中修改 multiplier,在编辑时就会产生错误,因此若想要在 block 中修改 multiplier ,就必须在 multiplier 前面加上 __block 的修饰词,请参考下面的范例:
01 | __block int multiplier = 7; |
02 | int (^myBlock)( int ) = ^( int num) |
12 | return num * multiplier; |
2. Block概要
Block 提供我们一种能够将函数程式码内嵌在一般述句中的方法,在其他语言中也有类似的概念称做「closure」,但是为了配合Objective-C的贯例,我们一律将这种用法称为「block」
2.1 Block 的功能
Block 是一种具有匿名功能的内嵌函数,它的特性如下: 如一般的函数般能拥有带有型态的参数。拥有回传值。可以撷取被定义的词法作用域(lexical scope)状态。可以选择性地修改词法作用域的状态。
注:词法作用域(lexical scope)可以想像成是某个函数两个大括号中间的区块,这个区块在程式执行时,系统会将这个区块放入堆叠记忆体中,在这个区块中的宣告的变数就像是我们常听到的区域变数,当我们说block可以撷取同一词法作用域的状态时可以想像block变数和其他区域变数是同一个层级的区域变数(位于同一层的堆叠里),而block的内容可以读取到和他同一层级的其他区域变数。
我们可以拷贝一个block,也可以将它丢到其他的执行绪中使用,基本上虽然block在iOS程式开发中可以使用在C/C++开发的程式片段,也可以在Objective-C中使用,不过在系统的定义上,block永远会被视为是一个Objective-C的物件。
2.2 Block 的使用时机
Block 一般是用来表示、简化一小段的程式码,它特别适合用来建立一些同步执行的程式片段、封装一些小型的工作或是用来做为某一个工作完成时的回传呼叫(callback) 。在新的iOS API中block被大量用来取代传统的delegate和callback,而新的API会大量使用block主要是基于以下两个原因:
可以直接在程式码中撰写等会要接着执行的程式,直接将程式码变成函数的参数传入函数中,这是新API最常使用block的地方。
可以存取区域变数,在传统的callback实作时,若想要存取区域变数得将变数封装成结构才能使用,而block则是可以很方便地直接存取区域变数。
3. 宣告和建立Block
3.1 宣告Block的参考
Block 变数储存的是一个block的参考,我们使用类似宣告指标的方式来宣告,不同的是这时block变数指到的地方是一个函数,而指标使用的是「*」,block则是使用「^」来宣告,下面是一些合法的block宣告:
2 | void (^blockReturningVoidWithVoidArgument)( void ); |
5 | int (^blockReturningIntWithIntAndCharArguments)( int , char ); |
8 | void (^arrayOfTenBlocksReturningVoidWinIntArgument[10])( int ); |
3.2 建立一个Block
我们使用「^」来开始一个block,并在最后使用「;」来表示结束,下面的范例示范了一个block变量,然后再定义一个block把它指定给block变量:
3.3 全局的Block
可以在档案中宣告一个全域的block,请参考以下范例:
2 | int (^getGlobalInt)( void ) = ^( void ){ |
4. Block和变量
4.1 变量的型态
我们可以在block中遇到平常在函数中会遇到的变量类型:
全域(global)变量或是静态的区域变量(static local)。
全域的函数。
区域变量和由封闭领域(enclosing scope)传入的参数。
除了上述之外block额外支援了另外两种变量:在函数内可以使用__block 变量,这些变量在block中是可被修改的。汇入常数(const imports)。此外,在方法的实作里,block可以使用Objective-C的实体变量(instance variable)。
下列的规则可以套用到在block中变量的使用:
可以存取全域变量和在同一领域(enclosing lexical scope)中的静态变量。
可以存取传入block的参数(使用方式和传入函数的参数相同)。
在同一领域的区域变数在block中将视为常数(const)。
可以存取在同一领域中以__block 为修饰词的变数。
在block中宣告的区域变数,使用方式和平常函数使用区域变数的方式相同。
下面的例子介绍了区域变数(上述第三点)的使用方式:
2 | void (^printXandY)( int ) = ^( int y) |
printXAndY( 456 );//将会印出123 456
就如上面第三点所提到的,在上例中的int x = 123的变量x,在传入block后将视同常数,因此若我们在block中试着去修改x的值时就会产生错误.若在block中想要修改上面的变数x,必须将x宣告加上修饰词__block,请参考接下来这一小节的介绍。
4.2 __block 型态变量
我们可以藉由将一个由外部汇入block的变数放上修饰词__block来让这个变数由唯读变成可以读和写,不过有一个限制就是传入的变数 在记忆体中必须是一个占有固定长度记忆体的变数,__block修饰词无法使用于像是变动长度的阵列这类不定长度的变数,请参考下面的范例:
3 | void (^printXandY)( int ) = ^( int y) |
下面我们使用一个范例来介绍各类型的变数和block之间的互动:
01 | extern NSInteger CounterGlobal; |
02 | static NSInteger CounterStatic; |
04 | NSInteger localCounter = 42 ; |
05 | __block char localCharacter; |
06 | void (^aBlock)( void ) = ^( void ) |
10 | CounterGlobal = localCounter; |
11 | localCharacter = 'a' ; |
4
.3 物件和Block变量
Block 支援在Objective-C、C++物件和其他block中当作变数来使用,不过因为在大部分的情况我们都是使用Objective-C的撰写程式,因 此在这一小节我们仅针对Objective-C的情况进行介绍,至于其他两种情况就留给有兴趣的读者再自行深入研究了。
4.3.1Objective-C物件
在拥有参考计数(reference-counted)的环境中,若我们在block中参考到Objective-C的物件,在一般的情况下它将会自动增加物件的参考计数,不过若以__block为修饰词的物件,参考计数则是不受影响。
如果我们在Objective-C的方法中使用block时,以下几个和记忆体管理的事是需要额外注意的:
若直接存取实体变量(instance variable),self的参考计数将被加1。
若透过变数存取实体变数的值,则只变数的参考计数将被加1。
以下程式码说明上面两种情况,在这个假设instanceVariable是实体变量:
04 | doSomethingWithObject (instanceVariable); |
07 | id localVaribale = instanceVariable; |
08 | dispatch_async(queue,^{ |
11 | doSomethingWithObject (localVaribale); |
5. 使用Block
5.1 呼叫一个Block
当block宣告成一个变量时,我们可以像使用一般函数的方式来使用它,请参考下面两个范例:
01 | int (^oneFrom)( int ) = ^( int anInt){ |
04 | printf ( "1 from 10 is %d" , oneFrom(10)); |
08 | float (^distanceTraveled)( float , float , float ) = ^( float startingSpeed, float acceleration, float time ) |
10 | float distance = (startingSpeed * time ) + ( 0.5 * acceleration * time * time ); |
13 | float howFar = distanceTraveled( 0.0 , 9.8 , 1.0 ); |
在一般常见的情况中,若是将block当做是参数传入函数,我们通常会使用「内嵌」的方式来使用block。
5.2 将Block当作函数的参数
我们可以像使用一般函数使用参数的方式,将block以函数参数的型式传入函数中,在这种情况下,大多数我们使用block的方式将不会倾向宣告block而是直接以内嵌的方式来将block传入,这也是目前新版SDK中主流的做法,我们将补充前面章节的例子来说明:
1 | char *myCharacters[3]={ "TomJohn" , "George" , "Charles Condomine" }; |
2 | qsort_b(myCharacters, 3, sizeof ( char *),^( const void *l, const void *r){ |
3 | char *left = *( char **)l; |
4 | char *right = *( char **)r; |
5 | return strncmp (left, right, 1 ); |
在上面的例子中,block本身就是函数参数的一部分,在下一个例子中dispatch_apply函数中使用block,dispatch_apply的定义如下:
1 | void dispatch_apply( size_t iterations,dispatch_queue_t queue, void (^block)( size_t )); |
这个函数将一个block提交到发送伫列(dispatch queue)中来执行多重的呼叫,只有当伫列中的工作都执行完成后才会回传,这个函数拥有三个变数,而最后一个参数就是block ,请参考下面的范例:
2 | dispatch_queue_t queue = dispatch_get_global_queue ( DISPATCH_QUEUE_PRIORITY_DEFAULT , 0 ); |
3 | dispatch_apply(count, queue, ^( size_t i)) |
5.3 将Block当作方法的参数
在SDK中提供了许多使用block的方法,我们可以像传递一般参数的方式来传递block,下面这个范例示范如何在一个阵列的前5笔资料中取出我们想要的资料的索引值:
02 | NSArray *array = [ NSArray arrayWithObjects : @ "A" , @ "B" , @ "C" , @ "A" , @ "B" , @ "Z" , @ "G" , @ "are" , @ " Q" ,nil ]; |
04 | NSSet *filterSet = [ NSSet setWithObjects : @ "A" , @ "B" , @ "Z" , @ "Q" , nil ]; |
05 | BOOL (^test)(id obj,NSUInteger idx, BOOL *stop); |
06 | test = ^ ( id obj, NSUInteger idx, BOOL *stop) |
10 | if ([filterSet containsObject : obj]) { |
16 | NSIndexSet *indexes = [array indexesOfObjectsPassingTest :test]; |
17 | NSLog ( @ "indexes: %@" , indexes); |
5
.4
该避免的使用方式
在下面的例子中,block是for回圈的区域变数因此在使用上必须避免将区域的block指定给外面宣告的block:
03 | void (^blockArray[3])( void ); |
04 | for ( int i = 0; i < 3; ++i) { |
05 | blockArray[i] = ^{ printf ( "hello, %d\n" , i); }; |
10 | void dontDoThisEither() { |
14 | block = ^{ printf ( "got i at: %d\n" , i); }; |