在ios4之后,引入了代码块的特性,在gcd中会经常的用到,所以决定好好的看看代码块文档,把这块总结一下。从头开始讲解代码块。
1.声明和使用代码块
一般用^操作符声明一个块变量,并作为块的开始符。而块的本身用{}包括起来,就像下面那样。
int multiplier = 7; |
int (^myBlock)(int) = ^(int num) { |
return num * multiplier; |
}; |
其实意思就是前半句声明了一个名字为myBlock的代码块,有一个int类型的参数,并返回一个int类型的值;后面的半句就是一个块的定义,然后赋值给myBlock。
如果我们像上面那样,声明一个块像一个变量一样,我们就可以像使用函数一样使用它,如下:
int multiplier = 7; |
int (^myBlock)(int) = ^(int num) { |
return num * multiplier; |
}; |
|
printf("%d", myBlock(3)); |
// prints "21" |
2.直接使用block
在大多数情况下,我们不需要去声明一个块变量,我们直接写一个简单的代码块作为参数传递就行。下面的代码函数qsort_b的第三个参数就是一个代码块。
char *myCharacters[3] = { "TomJohn", "George", "Charles Condomine" }; |
|
qsort_b(myCharacters, 3, sizeof(char *), ^(const void *l, const void *r) { |
char *left = *(char **)l; |
char *right = *(char **)r; |
return strncmp(left, right, 1); |
}); |
|
// myCharacters is now { "Charles Condomine", "George", "TomJohn" } |
一些cocoa frameworks的方法采用一个block作为一个参数,典型的是对一个集合对象进行操作,或者是在一个操作完成之后使用回调。下面的例子是NSArray类的方法sortedArrayUsingComparator:怎样使用一个block。此方法使用一个block作为一个参数。
NSArray *stringsArray = [NSArray arrayWithObjects: |
@"string 1", |
@"String 21", |
@"string 12", |
@"String 11", |
@"String 02", nil]; |
|
static NSStringCompareOptions comparisonOptions = NSCaseInsensitiveSearch | NSNumericSearch | |
NSWidthInsensitiveSearch | NSForcedOrderingSearch; |
NSLocale *currentLocale = [NSLocale currentLocale]; |
|
NSComparator finderSortBlock = ^(id string1, id string2) { |
|
NSRange string1Range = NSMakeRange(0, [string1 length]); |
return [string1 compare:string2 options:comparisonOptions range:string1Range locale:currentLocale]; |
}; |
|
NSArray *finderSortArray = [stringsArray sortedArrayUsingComparator:finderSortBlock]; |
NSLog(@"finderSortArray: %@", finderSortArray); |
|
|
block的一个强大的功能是可以修改同一作用雨的变量,我们只需要在变量的前面加上一个_block标识符。下面的例子和上面的相同,只是添加功能用于记录相同元素的个数。
NSArray *stringsArray = [NSArray arrayWithObjects: |
@"string 1", |
@"String 21", // <- |
@"string 12", |
@"String 11", |
@"Strîng 21", // <- |
@"Striñg 21", // <- |
@"String 02", nil]; |
|
NSLocale *currentLocale = [NSLocale currentLocale]; |
__block NSUInteger orderedSameCount = 0; |
|
NSArray *diacriticInsensitiveSortArray = [stringsArray sortedArrayUsingComparator:^(id string1, id string2) { |
|
NSRange string1Range = NSMakeRange(0, [string1 length]); |
NSComparisonResult comparisonResult = [string1 compare:string2 options:NSDiacriticInsensitiveSearch range:string1Range locale:currentLocale]; |
|
if (comparisonResult == NSOrderedSame) { |
orderedSameCount++; |
} |
return comparisonResult; |
}]; |
|
NSLog(@"diacriticInsensitiveSortArray: %@", diacriticInsensitiveSortArray); |
NSLog(@"orderedSameCount: %d", orderedSameCount); |
|
|
3.block变量的声明
block的声明和函数指针差不多,只是把*改为了^
void (^blockReturningVoidWithVoidArgument)(void); |
int (^blockReturningIntWithIntAndCharArguments)(int, char); |
void (^arrayOfTenBlocksReturningVoidWithIntArgument[10])(int); |
也可以使用typedef去声明block,方便以后使用,如下:
typedef float (^MyBlockType)(float, float); |
|
MyBlockType myFirstBlock = // ... ; |
MyBlockType mySecondBlock = // ... ; |
4.变量的作用域对于其在块中的影响:
_block int x = 123; // x lives in block storage |
|
void (^printXAndY)(int) = ^(int y) { |
|
x = x + y; |
printf("%d %d\n", x, y); |
}; |
printXAndY(456); // prints: 579 456 |
// x is now 579 |
extern NSInteger CounterGlobal; |
static NSInteger CounterStatic; |
|
{ |
NSInteger localCounter = 42; |
__block char localCharacter; |
|
void (^aBlock)(void) = ^(void) { |
++CounterGlobal; |
++CounterStatic; |
CounterGlobal = localCounter; // localCounter fixed at block creation |
localCharacter = 'a'; // sets localCharacter in enclosing scope |
}; |
|
++localCounter; // unseen by the block |
localCharacter = 'b'; |
|
aBlock(); // execute the block |
// localCharacter now 'a' |
} |
5.使用blocks
(1)调用一个声明好的block
int (^oneFrom)(int) = ^(int anInt) { |
return anInt - 1; |
}; |
|
printf("1 from 10 is %d", oneFrom(10)); |
// Prints "1 from 10 is 9" |
|
float (^distanceTraveled) (float, float, float) = |
^(float startingSpeed, float acceleration, float time) { |
|
float distance = (startingSpeed * time) + (0.5 * acceleration * time * time); |
return distance; |
}; |
|
float howFar = distanceTraveled(0.0, 9.8, 1.0); |
// howFar = 4.9 |
Apple有一個叫做GCD(Grand Central Dispach)的新功能,用在同步處理(concurrency)的環境下有更好的效率。Block語法產生的動機就是來自於GCD,用Block包好 一個工作量交給GCD,GCD有一個宏觀的視野可以來分配CPU,GPU,Memory的來下最好的決定。
Block 簡介
Block其實行為和Function很像,最大的差別是在可以存取同一個Scope的變數值。
Block 實體會長成這樣
^(傳入參數列) {行為主體};
Block實體開頭是"^",接著是由小括號所包起來的參數列(比如 int a, int b, float c),行為的主體由大括號包起來,專有名詞叫做block literal。行為主體可以用return回傳值,型別會被compiler自動辦識出來。如果沒有參數列要這樣寫(void)。
看個列子
^(int a) {return a*a;};
這是代表Block會回傳輸入值的平方值(int a 就是參數列,return a*a; 就是行為主體)。記得主體裡最後要加";"因為是敘述,而整個{}最後也要要加";"因為Block是個物件實體。
用法就是
int result = ^(int a) {return a*a;} (5);
很怪吧。後面小括號裡的5 會被當成a的輸入值然後經由Block輸出5*5 = 25指定給result這個變數。
有沒有簡單一點的方法不然每次都要寫這麼長?有。接下來要介紹一個叫Block Pointer的東西來簡化我們的寫法。
Block Pointer是這樣宣告的
回傳值 (^名字) (參數列);
直接來看一個列子
int (^square) (int);
// 有一個叫square的Block Pointer,其所指向的Block是有一個int 輸入和 int 輸出
square = ^(int a ) {return a*a ;}; // 將剛剛Block 實體指定給 square
使用Block Pointer的例子
int result = square(5); // 感覺上不就是funtion的用法嗎?
也可以把Block Pointer當成參數傳給一個function,比如說
void myFuction( int (^mySquare) (int) ); // function 的宣告,
傳入一個有一個int輸入和int輸出的Block 型別的參數
呼叫這個myFunction的時候就是這樣呼叫
int (^mySqaure) (int) = ^(int a) {return a*a;};// 先給好一個有實體的block pointer叫mySquare
myFunction( mySqaure ) ; //把mySquare這個block pointer給myFunction這個function
或是不用block pointer 直接給一個block 實體,就這樣寫
myFunction( ^(int a) {return a*a} ) ;
當成Objective-C method 的傳入值的話都是要把型別寫在變數前面然後加上小括號,因些應該就要這樣寫
-(void) objcMethod:( int (^) (int) ) square; // square 變數的型別是 int (^) (int)
讀文至此是不是對Block有基本的認識? 接下來我們要談談Block相關的行為和特色
首先是來看一下在Block裡面存取外部變數的方法
存取變數
1. 可以讀取和Block pointer同一個scope的變數值:
{int outA = 8;int (^myPtr) (int) = ^(int a) {return outA+a;};// block 裡面可以讀同一個scope的outA的值int result = myPtr(3); // result is 11}
我們再來看一個很有趣的例子
{int outA = 8;int (^myPtr) (int) = ^(int a) {return outA+a;};// block 裡面可以讀同一個scope的outA的值outA = 5; // 在呼叫myPtr之前改變outA的值int result = myPtr(3); // result 的值還是 11並不是 8}
事實上呢,myPtr在其主體用到outA這個變數值的時候是做了一個copy的動作把outA的值copy下來。所以之後outA即使換了新的值對於myPtr裡copy的值是沒有影響到的。
要注意的是,這個指的值是變數的值,如果這個變數的值是一個記憶體的位置,換句話說,這個變數是個pointer的話,它指到的值是可以在block裡被改變的。
{ NSMutableArray * mutableArray = [NSMutableArray arrayWithObjects:@"one",@"two",@"three",nil]; int result = ^(int a) { [mutableArray removeLastObject]; return a*a;} (5);
NSLog(@"test array %@", mutableArray);
}
原本mutableArray的值是{@"one",@"two",@"three"}在block裡被更改mutableArray所指向的物件後,mutableArray的值就會被成{@"one",@"two"}
2. 直接存取static 的變數
{static int outA = 8;int (^myPtr) (int) = ^(int a) {return outA+a;};// block 裡面可以讀同一個scope的outA的值outA = 5; // 在呼叫myPtr之前改變outA的值int result = myPtr(3); // result 的值是 8,因為outA是個static 變數會直接反應其值}
甚至可以在block裡面直接改變outA的值比如這樣寫
{static int outA = 8;int (^myPtr) (int) = ^(int a) { outA= 5; return outA+a;};// block 裡面改變outA的值int result = myPtr(3); // result 的值是 8,因為outA是個static 變數會直接反應其值
}
3. Block Variable
在某個變數前面如果加上修飾字__block 的話(注意block前有兩個下底線),這個變數又稱為block variable。那麼在block裡就可以任意修改此變數值,變數值的改變也可以知道。
{ __block int num = 5;
int (^myPtr) (int) = ^(int a) { return num++;}; int (^myPtr2) (int) = ^(int a) { return num++;}; int result = myPtr(0); result = myPtr2(0);}
因為myPtr和myPtr2都有用到num這個block variable,最後result的值就會是7
生命周期和記憶體管理
因為block也是繼承自NSObject,所以其生命周期和記憶體的管理也就非常之重要。
block一開始都是被放到stack裡,換句話說其生命周期隨著method或function結束就會被回收,和一般變數的生命周期一樣。
關於記憶體的管理請遵循這幾個要點
1. block pointer的實體會在method或function結束後就會被清掉
2. 如果要保存block pointer的實體要用-copy指令,這樣block pointer就會被放到heap裡
2.1 block 主體裡用到的block variable 也會被搬到heap 而有新的記憶體位置,且一並更新有用到這個block variable 的block都指到新的位置
2.2 一般的variable值會被copy
2.3 如果主體裡用到的variable是object的話,此object會被retain, block release時也會被release
2.4 __block variable 裡用到的object是不會被retain的
首先來看一下這個例子
typedef int (^MyBlock)(int);
MyBlock genBlock();
int main(){ MyBlock outBlock = genBlock(); int result = outBlock(5);
NSLog(@"result is %d",[outBlock retainCount] ); // segmentation fault NSLog(@"result is %d",result );
return 0 ;}MyBlock genBlock() { int a = 3; MyBlock inBlock = ^(int n) { return n*a; }; return inBlock ;}
此程式由genBlock裡產生的block再指定給main function的outBlock變數,執行這個程式會得到
Segmentation fault
(註:有時候把 genBlock裡的a 去掉就可以跑出結果的情形,這是系統cache住記憶體,並不是inBlock真得一直存在,久了還是會被回收,千萬不要以為是對的寫法)
表示我們用到了不該用的記憶體,在這個例子的情況下是在genBlock裡的inBlock變數在return的時候就被回收了,outBlock無法有一個合法的記憶體位置-retainCount就沒意義了。
如果這個時候需要保留inBlock的值就要用-copy指令,將genBlock改成
MyBlock genBlock() { int a = 3; MyBlock inBlock = ^(int n) { return n*a; }; return [inBlock copy] ;}
這樣[inBlock copy]的回傳值就會被放到heap,就可以一直使用(記得要release)
執行結果是
result is 1
result is 15
再次提醒要記得release outBlock。
如果一回傳[inBlock copy]的值就不再需要的時候可以這樣寫
MyBlock genBlock() { int a = 3; MyBlock inBlock = ^(int n) { return n*a; }; return [[inBlock copy] autorelease] ;}
-copy指令是為了要把block 從stack搬到heap,autorelease是為了平衝retainCount加到autorelease oop ,回傳之後等到事件結束就清掉。
接下來是block存取到的local variable是個物件的型別,然後做copy 指令時
MyBlock genBlock() { int a = 3; NSMutableString * myString = [NSMutableString string]; MyBlock inBlock = ^(int n) { NSLog(@"retain count of string %d",[myString retainCount]); return n*a; }; return [inBlock copy] ;}
結果會印出
retain count of string 2
這個結果和上面2.3提到的一樣,local variable被retain了
那再來試試2.4,在local variable前面加上__block
MyBlock genBlock() { int a = 3; __block NSMutableString * myString = [NSMutableString string]; MyBlock inBlock = ^(int n) { NSLog(@"retain count of string %d",[myString retainCount]); return n*a; }; return [inBlock copy] ;}
執行的結果就是會
retain count of string 1
Block Copying注意事項
如果在Class method裡面做copying block動作的話
1. 在Block裡如果有直接存取到self,則self會被retain
2. 在Block裡如果取存到instance variable (無論直接或是從accessor),則self會被retain
3. 取存到local variable所擁有的object時,這個object會被retain
讓我們來看一個自訂的Class
@interface MyObject : NSObject { NSString * title; void (^myLog) (NSString * deco);}
-(void) logName;@end
@implementation MyObject-(id) initWithTitle:(NSString * ) newTitle{ if(self = [super init]){ title = newTitle; myLog = [^(NSString * deco) {NSLog(@"%@%@%@",deco, title, deco );} copy]; } return self;}
-(void) logName{
myLog(@"==");}
-(void ) dealloc{
[myLog release]; [title release]; [super dealloc];}@end
在main 裡使用如下
MyObject * mObj = [[MyObject alloc] initWithTitle:@"Car"];
NSLog(@"retainCount of MyObject is %d",[mObj retainCount] );
[mObj logName];
其執行的結果為
retainCount of MyObject is 2
==Car==
因為在MyObject的建構子裡myLog這個block pointer用了title這個instance variable然後就會retain self也就是MyObject的物件。
盡量不要這樣寫,會造成retain cycle,改善的方法是把建構子改成這樣
-(id) initWithTitle:(NSString * ) newTitle{ if(self = [super init]){ title = newTitle; myLog = [^(NSString * deco) {NSLog(@"%@%@%@",deco, newTitle, deco );} copy]; } return self;}
在Block主體裡用newTitle這個變數而不是title。這樣self就不會被retain了。
最後談一個小陷井
void (^myLog) (void);
BOOL result ;
if(result)
myLog = ^ {NSLog(@"YES");};
else
myLog = ^ {NSLog(@"NO");};
myLog();
這樣很可能就會當掉了,因為myLog 實體在if 或是else結束後就被清掉了。要記得。
要用copy來解決這個問題,但要記得release。