objective-c 中代码块（blocks）

在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
", 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。

http://www.cnblogs.com/peer/archive/2011/06/28/2092065.html

http://blog.sina.com.cn/s/blog_67419c420100vl8b.html