Objective-C中的Block

1.Block定义

可以用一句话来表示Block:带有自动变量(局部变量)匿名函数

在iOS中使用“^”来声明一个Block。Block的内容是包含在“{}”中的,并且和C语言一样用“;”来表示语句的结束,标准语法如下所示:

//完整语法
^ 返回值类型 参数列表 表达式

//省略返回值
^ 参数列表 表达式

//省略参数列表
^ 返回值类型 表达式

//省略返回值和参数列表
^ 表达式

从上面可以看到,Block和函数很相似,具体体现在这些方面:

  1. 可以保存代码(对应表达式);
  2. 有返回值(对应返回值类型);
  3. 有形参(对应参数列表);
  4. 调用方式一样。

我们通常使用如下形式将Block赋值给Block类型变量,示例代码如下:

int  multiplier = 7;

int (^myBlock)(int) = ^(int num){ 
    return multiplier * num; 
};

NSLog(@"%d",myBlock(3));

采用这种方式在函数参数或返回值中使用Block类型变量时,记述方式极为复杂。这时,我们可以使用typedef来解决该问题。

示例1:没有使用typedef

- (void)loadDataFromUrl:(void(^)(NSString *))retData
{
}

示例2:使用typedef

typedef void(^RetDataHandler)(NSString *);
- (void)loadDataFromUrl:(RetDataHandler)retData
{
    
}

从上面的代码可以看到,使用typedef声明之后,在方法中传递block参数时,更容易理解。

Block的强大之处是:在声明它的范围里,所有变量都可以为其所捕获。下面我们来看看自动变量。

2.自动变量

从上面Block语法的介绍中,我们可以理解“带有自动变量(局部变量)匿名函数”中的匿名函数。那么“带有自动变量(局部变量)”是什么呢?这个在Block中表现为“截获自动变量值”。示例如下:

int iCode = 10;
NSString *strName = @"Tom";
       
void (^myBlock)(void) = ^{
   // 结果:My name is Tom,my code is 10
   NSLog(@"My name is %@,my code is %d", strName, iCode);
};
        
iCode = 20;
strName = @"Jim";
       
myBlock();
// 结果:My name is Jim,my code is 20
NSLog(@"My name is %@,my code is %d", strName, iCode);

从代码中可以看到,Block表达式截获所使用的自动变量iCode和strName的值,即保存该自动变量的瞬间值。因为Block表达式保存了自动变量的值,所以在执行Block语法后,即使改写Block中所用的自动变量的值也不会影响Block执行时自动变量的值,这就是自动变量值的截获。

如果我们想在Block中修改截获的自动变量值,会有什么结果?咱们做个尝试: 

从上面可以看到,该源代码会产生编译错误。若想在Block语法的表达式中将值赋给在Block语法外声明的自动变量,需要在该自动变量上附加__block说明符,示例如下:

__block NSString *strName = @"Tom";
        
void (^myBlock)(void) = ^{
   strName = @"Sky";
};
strName = @"Jim";
      
myBlock();
// 结果:My name is Sky
NSLog(@"My name is %@",strName);

需要说明的是,对于截获的自动变量,调用变更该对象的方法是没有问题的:即赋值给截获的自动变量会产生编译错误,但使用截获的自动变量的值却不会有任何问题

3.如何在代码中创建Block?

3.1不带参数和返回值的block

- (void)testBlockOne
{
    void (^myBlock)(void) = ^{
        NSLog(@"Hello Block One");
    };
  
    NSLog(@"%@",myBlock);
    myBlock();
}

3.2带参数的block

- (void)testBlockTwo{
    void (^myBlock)(NSString *) = ^(NSString *str){
        NSLog(@"Hello Block %@",str);
    };
    
    NSLog(@"%@",myBlock);
    myBlock(@"ligf");
}

3.3带参数和返回值的block

- (void)testBlockThree{
    int (^myBlock)(NSString *,int) = ^(NSString *str,int code){
        NSLog(@"Hello Block %@,code is %d", str, code);
        return 1;
    };
    
    NSLog(@"%@",myBlock);
    int iRet = myBlock(@"ligf",3);
    NSLog(@"%d",iRet);
}

4.block实现页面传值

4.1先用传统的Delegate来进行示例

  WebServicesHelper类:

@class WebServicesHelper;

@protocol WebServicesHelperDelegate <NSObject>

- (void)networkFecherSuccess:(WebServicesHelper *)networkFetcher
           didFinishWithData:(NSString *)data;
- (void)networkFecherFailed:(WebServicesHelper *)networkFetcher
                      error:(NSError *)error;

@end
 
@interface WebServicesHelper : NSObject

@property (nonatomic, retain) NSURL *url;
@property (nonatomic, assign) id<WebServicesHelperDelegate> delegate;

- (id)initWithUrl:(NSURL *)url;
- (void)startDownload;

@end
- (id)initWithUrl:(NSURL *)url
{
    self = [super init];
     
    if (self)
    {
        self.url = url;
    }
    return self;
}

- (void)startDownload
{
    NSError *error = nil;
    NSString *str = [NSString stringWithContentsOfURL:self.url encoding:NSUTF8StringEncoding error:&error];
    
    if (error)
    {
        [_delegate networkFecherFailed:self error:error];
    }
    else
    {
        [_delegate networkFecherSuccess:self didFinishWithData:str];
    }
}

DownloadByDelegate类:

#import "WebServicesHelper.h"

@interface DownloadByDelegate : NSObject<WebServicesHelperDelegate>
- (void)fetchUrlData;
@end

@implementation DownloadByDelegate

- (void)fetchUrlData
{
    NSURL *url = [[NSURL alloc] initWithString:@"http://www.baidu.com"];
    WebServicesHelper *webServicesHelper = [[WebServicesHelper alloc] initWithUrl:url];
    webServicesHelper.delegate = self;
    [webServicesHelper startDownload];
}

- (void)networkFecherSuccess:(WebServicesHelper *)networkFetcher
           didFinishWithData:(NSString *)data
{
    NSLog(@"%@",data);
}
 
- (void)networkFecherFailed:(WebServicesHelper *)networkFetcher
                      error:(NSError *)error;
{
    NSLog(@"%@",error);
}

@end

调用:

DownloadByDelegate *downloadByDelegate = [[DownloadByDelegate alloc] init];
[downloadByDelegate fetchUrlData];

4.2再看看用Block的实现

DownloadByBlock类:

typedef void(^NetworkFetcherCompletionHandler) (NSString *data, NSError *error);

@interface DownloadByBlock : NSObject

- (id)initWithUrl:(NSURL *)url;
- (void)startWithCompletionHandler:(NetworkFetcherCompletionHandler)completion;

@end
@implementation DownloadByBlock
{
    NSURL       *_url;
}
 
- (id)initWithUrl:(NSURL *)url
{
    self = [super self];
     
    if (self)
    {
        _url = url;
    }
    
    return self;
}
 
- (void)startWithCompletionHandler:(NetworkFetcherCompletionHandler)completion
{
    NSError *error;
    NSString *str = [NSString stringWithContentsOfURL:_url encoding:NSUTF8StringEncoding error:&error];
    completion(str,error);
}

@end

调用: 

DownloadByBlock *downloadByBlock = [[DownloadByBlock alloc] initWithUrl:[NSURL URLWithString:@"http://www.baidu.com"]];
[downloadByBlock startWithCompletionHandler:^ (NSString *data, NSError *error){
   NSLog(@"%@",data);
}];

从上面的代码可以明显看到,使用Block方式,代码的可读性更高,使用也更加的方便。

5.Block存储域

先看一个示例:

    int (^myBlockOne)(int,int) = ^ (int a, int b) {
        return a + b;
    };
    //myBlockOne = <__NSGlobalBlock__: 0x101f1d230>
    NSLog(@"myBlockOne = %@", myBlockOne);
    
    int base = 100;
    int (^myBlockTwo)(int,int) = ^ (int a, int b) {
        return base + a + b;
    };
    //MRC:myBlockTwo = <__NSStackBlock__: 0x7fff5dce6520>
    //ARC:myBlockTwo = <__NSMallocBlock__: 0x6000002441d0>
    NSLog(@"myBlockTwo = %@", myBlockTwo);
    
    int (^myBlockThree)(int,int) = [[myBlockTwo copy] autorelease];
    //myBlockThree = <__NSMallocBlock__: 0x6080000499c0>
    NSLog(@"myBlockThree = %@", myBlockThree);

从上面的代码可以看到,Block在内存中的位置可以分为三种类型:__NSGlobalBlock__,__NSStackBlock__, __NSMallocBlock__

  • __NSGlobalBlock__:与全局变量一样,该类对象存储在程序的数据区域(.data区)中;
  • __NSStackBlock__:从名称中可以看到含有“Stack”,即该类对象存储在栈上;位于栈上的Block对象,函数返回后Block将无效,变成野指针;
  • __NSMallocBlock__:该类对象由malloc函数分配的内存块(堆)中。

其中在全局区域和堆里面存储的对象是相对安全的,但是在栈区里面的变量是危险的,有可能造成程序的崩溃,因此在iOS中如果使用block的成员变量或者属性时,需要将其copy到堆内存中。

上面的例子中,myBlockOne和myBlockTwo的区别在于:myBlockOne没有使用Block以外的任何外部变量,Block不需要建立局部变量值的快照,这使myBlockOne与函数没有任何区别。myBlockTwo与myBlockOne唯一不同是的使用了局部变量base,在定义(注意是定义,不是运行)myBlockTwo时,局部变量base当前值被截获到栈上,作为常量供Block使用。执行下面代码,结果是103,而不是203。

int base = 100;
int (^myBlockTwo)(int,int) = ^ (int a, int b) {
   return base + a + b;
};
base = 200;
NSLog(@“%d", myBlockTwo(1, 2));

我们再看一段代码,大家思考一下这段代码有没有问题?

    int base = 100;
    void(^myBlock)();
    
    if (YES)
    {
        myBlock = ^{
            NSLog(@"This is ture,%d", base);
        };
    }
    else
    {
        myBlock = ^{
            NSLog(@"This is false,%d", base);
        };
    }
    
    myBlock();

表面上看,和我们以前给变量赋值的语句没什么太大的差异,那么是不是没有问题呢?答案是NO。在定义这个块的时候,其所占的内存区域是分配在栈中的,块只在定义它的那个范围内有效,也就是说这个块只在对应的if或else语句范围内有效。当离开了这个范围之后,编译器有可能把分配给块的内存覆写掉。这样运行的时候,若编译器未覆写待执行的块,则程序照常运行;若覆写,则程序崩溃。

5.1__NSGlobalBlock__的实现

我们先写一段生成__NSGlobalBlock__的代码:

#include <stdio.h>
void (^gofBlock)(void) = ^{
    printf("Hello, Gof");
};
int main(int argc, char * argv[]) {
    gofBlock();
    
    return 0;
}

对上面的代码使用“clang -rewrite-objc main.m”进行编译,生成后的代码整理之后如下:

struct __block_impl {
  void *isa;
  int Flags;
  int Reserved;
  void *FuncPtr;
};

struct __gofBlock_block_impl_0 {
  struct __block_impl impl;
  struct __gofBlock_block_desc_0* Desc;
  __gofBlock_block_impl_0(void *fp, struct __gofBlock_block_desc_0 *desc, int flags=0) {
    impl.isa = &_NSConcreteGlobalBlock;
    impl.Flags = flags;
    impl.FuncPtr = fp;
    Desc = desc;
  }
};

static void __gofBlock_block_func_0(struct __gofBlock_block_impl_0 *__cself) {

    printf("Hello, Gof");
}

static struct __gofBlock_block_desc_0 {
  size_t reserved;
  size_t Block_size;
} __gofBlock_block_desc_0_DATA = { 0, sizeof(struct __gofBlock_block_impl_0)};

static __gofBlock_block_impl_0 __global_gofBlock_block_impl_0((void *)__gofBlock_block_func_0, &__gofBlock_block_desc_0_DATA);
void (*gofBlock)(void) = ((void (*)())&__global_gofBlock_block_impl_0);

int main(int argc, char * argv[]) {

    ((void (*)(__block_impl *))((__block_impl *)gofBlock)->FuncPtr)((__block_impl *)gofBlock);

    return 0;
}

我们将源代码分成几个部分来逐步理解。

第一部分:源码中的Block语法

^{
        printf("Hello, Gof");
    };

可以看到,变换后的代码中也含有相同的表达式:

static void __gofBlock_block_func_0(struct __gofBlock_block_impl_0 *__cself) {

    printf("Hello, Gof");
}

从代码可以看到,通过Blocks使用的匿名函数,实际上被作为简单的C语言函数来处理。该函数名根据Block语法所属的函数名和该Block语法在函数出现的顺序值(这里为0)来命名。函数的参数__cself为指向__gofBlock_block_impl_0结构体的指针。

第二部分:__gofBlock_block_impl_0结构体 

struct __gofBlock_block_impl_0 {
  struct __block_impl impl;
  struct __gofBlock_block_desc_0* Desc;
  __gofBlock_block_impl_0(void *fp, struct __gofBlock_block_desc_0 *desc, int flags=0) {
    impl.isa = &_NSConcreteGlobalBlock;
    impl.Flags = flags;
    impl.FuncPtr = fp;
    Desc = desc;
  }
};

我们先不看构造函数,__gofBlock_block_impl_0包含两个成员变量:impl和Desc。

struct __block_impl {
  void *isa;
  int Flags;
  int Reserved;
  void *FuncPtr;
};

static struct __gofBlock_block_desc_0 {
  size_t reserved;
  size_t Block_size;
}

从这两个结构体的声明,可以知道:impl包含某些标志、所需区域、函数指针等信息;Desc包含所需区域、Block大小信息。

接下来我们看看__gofBlock_block_impl_0构造函数的调用:

static __gofBlock_block_impl_0 __global_gofBlock_block_impl_0((void *)__gofBlock_block_func_0, &__gofBlock_block_desc_0_DATA);
void (*gofBlock)(void) = ((void (*)())&__global_gofBlock_block_impl_0);

继续看__gofBlock_block_impl_0构造函数的两个参数:

  1. __gofBlock_block_func_0是由Block语法转换的C语言函数指针;
  2. __gofBlock_block_desc_0_DATA是作为静态全局变量初始化的__gofBlock_block_desc_0结构体实例指针。

通过参数的配置,我们来看看__gofBlock_block_impl_0结构体的初始化:

isa = &_NSConcreteGlobalBlock;
Flags
= 0;
Reserved
= 0;
FuncPtr
= __gofBlock_block_func_0;
Desc = &__gofBlock_block_desc_0_DATA;

关于_NSConcreteGlobalBlock,我们可以看看RunTime之类与对象。实际上,__gofBlock_block_impl_0结构体相当于基于objc_object结构体的OC类对象的结构体。对其中的isa成员变量初始化,_NSConcreteGlobalBlock相当于objc_class结构体实例。在将Block作为OC的对象处理时,关于该类的信息放置于_NSConcreteGlobalBlock中。

第三部分:Block的调用。

gofBlock();

变换后的代码:

((void (*)(__block_impl *))((__block_impl *)gofBlock)->FuncPtr)((__block_impl *)gofBlock);

去掉转换部分:

(*gofBlock->impl.FuncPtr)(gofBlock);

这实际上就是使用函数指针调用函数__gofBlock_block_func_0。另外,我们也可以看到,__gofBlock_block_func_0函数的参数__cself指向Block值。

总结一下:

  • block 实际是一个对象,它主要由 一个 impl 和 一个 Desc 组成。
  • impl.FuncPtr是实际的函数指针,在这里它指向 __gofBlock_block_func_0。
  • Desc 用于描述当前这个 block 的附加信息的,包括结构体的大小,需要 capture 和 dispose 的变量列表等。结构体大小需要保存是因为,每个 block 因为会 capture 一些变量,这些变量会加到 __gofBlock_block_impl_0 这个结构体中,使其体积变大。

5.2__NSStackBlock__的实现

先看代码:

#include <stdio.h>

int main(int argc, char * argv[]) {
    int a = 18;
    void (^gofBlock)(void) = ^{
        printf("I have %d ages", a);
    };
    gofBlock();
    return 0;
}

对上面的代码使用“clang -rewrite-objc main.m”进行编译,生成后的代码整理之后如下:

struct __block_impl {
  void *isa;
  int Flags;
  int Reserved;
  void *FuncPtr;
};

struct __main_block_impl_0 {
  struct __block_impl impl;
  struct __main_block_desc_0* Desc;
  int a;
  __main_block_impl_0(void *fp, struct __main_block_desc_0 *desc, int _a, int flags=0) : a(_a) {
    impl.isa = &_NSConcreteStackBlock;
    impl.Flags = flags;
    impl.FuncPtr = fp;
    Desc = desc;
  }
};

static void __main_block_func_0(struct __main_block_impl_0 *__cself) {
  int a = __cself->a; // bound by copy

        printf("I have %d ages", a);
    }

static struct __main_block_desc_0 {
  size_t reserved;
  size_t Block_size;
} __main_block_desc_0_DATA = { 0, sizeof(struct __main_block_impl_0)};

int main(int argc, char * argv[]) {
    int a = 18;
    void (*gofBlock)(void) = ((void (*)())&__main_block_impl_0((void *)__main_block_func_0, &__main_block_desc_0_DATA, a));
    ((void (*)(__block_impl *))((__block_impl *)gofBlock)->FuncPtr)((__block_impl *)gofBlock);
    return 0;
}

这和上面转换的源代码有一点点差异。

首先,Block语法表达式中的自动变量被作为成员变量追加到了__main_block_impl_0结构体中。

其次,在调用__main_block_impl_0构造函数初始化的时候,对由自动变量追加的成员变量进行了初始化。

void (*gofBlock)(void) = ((void (*)())&__main_block_impl_0((void *)__main_block_func_0, &__main_block_desc_0_DATA, a));

通过参数的配置,__main_block_impl_0结构体构造函数的初始化:

isa = &_NSConcreteStackBlock;
Flags = 0;
Reserved = 0;
FuncPtr = __main_block_func_0;
Desc = &__main_block_desc_0_DATA;
a = 18;

再次,Block匿名函数的实现:

static void __main_block_func_0(struct __main_block_impl_0 *__cself) {
  int a = __cself->a; // bound by copy

        printf("I have %d ages", a);
    }

截获到__main_block_impl_0结构体实例的成员变量上的自动变量a,该变量在Block语法表达式之前被声明定义。

总结一下:

  • isa 指向 _NSConcreteStackBlock,说明这是一个分配在栈上的实例。
  • main_block_impl_0 中增加了一个变量 a,在 block 中引用的变量 a 实际是在申明 block 时,被复制到 main_block_impl_0 结构体中的那个变量 a。因为这样,我们就能理解,在 block 内部修改变量 a 的内容,不会影响外部的实际变量 a。
  • main_block_impl_0 中由于增加了一个变量 a,所以结构体的大小变大了,该结构体大小被写在了 main_block_desc_0 中

现在我们修改一下上面的代码,在变量前面增加 __block 关键字:

#include <stdio.h>

int main(int argc, char * argv[]) {
    __block int a = 18;
    void (^gofBlock)(void) = ^{
        a = 20;
        printf("I have %d ages", a);
    };
    gofBlock();
    printf("a variable is %d", a);
    return 0;
}

使用“clang -rewrite-objc main.m”进行编译:

struct __block_impl {
  void *isa;
  int Flags;
  int Reserved;
  void *FuncPtr;
};

struct __Block_byref_a_0 {
  void *__isa;
__Block_byref_a_0 *__forwarding;
 int __flags;
 int __size;
 int a;
};

struct __main_block_impl_0 {
  struct __block_impl impl;
  struct __main_block_desc_0* Desc;
  __Block_byref_a_0 *a; // by ref
  __main_block_impl_0(void *fp, struct __main_block_desc_0 *desc, __Block_byref_a_0 *_a, int flags=0) : a(_a->__forwarding) {
    impl.isa = &_NSConcreteStackBlock;
    impl.Flags = flags;
    impl.FuncPtr = fp;
    Desc = desc;
  }
};

static void __main_block_func_0(struct __main_block_impl_0 *__cself) {
  __Block_byref_a_0 *a = __cself->a; // bound by ref

        (a->__forwarding->a) = 20;
        printf("I have %d ages", (a->__forwarding->a));
    }

static void __main_block_copy_0(struct __main_block_impl_0*dst, struct __main_block_impl_0*src) {_Block_object_assign((void*)&dst->a, (void*)src->a, 8/*BLOCK_FIELD_IS_BYREF*/);}

static void __main_block_dispose_0(struct __main_block_impl_0*src) {_Block_object_dispose((void*)src->a, 8/*BLOCK_FIELD_IS_BYREF*/);}

static struct __main_block_desc_0 {
  size_t reserved;
  size_t Block_size;
  void (*copy)(struct __main_block_impl_0*, struct __main_block_impl_0*);
  void (*dispose)(struct __main_block_impl_0*);
} __main_block_desc_0_DATA = { 0, sizeof(struct __main_block_impl_0), __main_block_copy_0, __main_block_dispose_0};

int main(int argc, char * argv[]) {
    __attribute__((__blocks__(byref))) __Block_byref_a_0 a = {(void*)0,(__Block_byref_a_0 *)&a, 0, sizeof(__Block_byref_a_0), 18};
    void (*gofBlock)(void) = ((void (*)())&__main_block_impl_0((void *)__main_block_func_0, &__main_block_desc_0_DATA, (__Block_byref_a_0 *)&a, 570425344));
    ((void (*)(__block_impl *))((__block_impl *)gofBlock)->FuncPtr)((__block_impl *)gofBlock);
    printf("a variable is %d", (a.__forwarding->a));
    return 0;
}

从编译之后的源代码可以看到,只加了一个__block关键字,源码数量大大增加。

首先,我们看看这句: 

__block int a = 18;

编译之后:

__attribute__((__blocks__(byref))) __Block_byref_a_0 a = {(void*)0,(__Block_byref_a_0 *)&a, 0, sizeof(__Block_byref_a_0), 18};

去掉类型转换:

 __Block_byref_a_0 a = {
    0,
    &a,
     0, 
    sizeof(__Block_byref_a_0), 
    18
};

从源码可以看到,这个__block变量变成了__Block_byref_a_0结构体类型的自动变量。

接下来,我们看看Block匿名函数的实现:

static void __main_block_func_0(struct __main_block_impl_0 *__cself) {
  __Block_byref_a_0 *a = __cself->a; // bound by ref

        (a->__forwarding->a) = 20;
        printf("I have %d ages", (a->__forwarding->a));
    }

__Block_byref_a_0结构体实例的成员变量__forwarding持有指向该实例自身的指针。通过成员变量__forwarding访问成员变量a。

总结一下:

  • 源码中增加一个名为 __Block_byref_a_0 的结构体,用来保存我们要 capture 并且修改的变量 a。
  • main_block_impl_0 中引用的是 __Block_byref_a_0 的结构体指针,这样就可以达到修改外部变量的作用。
  • __Block_byref_a_0 结构体中带有 isa,说明它也是一个对象。
  • 我们需要负责 __Block_byref_a_0 结构体相关的内存管理,所以 main_block_desc_0 中增加了 copy 和 dispose 函数指针,对于在调用前后修改相应变量的引用计数。

5.3__NSMallocBlock__的实现

__NSMallocBlock__类型的 block 通常不会在源码中直接出现,因为默认它是当一个 block 被 copy 的时候,才会将这个 block 复制到堆中。以下是一个 block 被 copy 时的示例代码 (来自 这里),可以看到,在第 8 步,目标的 block 类型被修改为 _NSConcreteMallocBlock。

static void *_Block_copy_internal(const void *arg, const int flags) {
    struct Block_layout *aBlock;
    const bool wantsOne = (WANTS_ONE & flags) == WANTS_ONE;
    // 1
    if (!arg) return NULL;
    // 2
    aBlock = (struct Block_layout *)arg;
    // 3
    if (aBlock->flags & BLOCK_NEEDS_FREE) {
        // latches on high
        latching_incr_int(&aBlock->flags);
        return aBlock;
    }
    // 4
    else if (aBlock->flags & BLOCK_IS_GLOBAL) {
        return aBlock;
    }
    // 5
    struct Block_layout *result = malloc(aBlock->descriptor->size);
    if (!result) return (void *)0;
    // 6
    memmove(result, aBlock, aBlock->descriptor->size); // bitcopy first
    // 7
    result->flags &= ~(BLOCK_REFCOUNT_MASK);    // XXX not needed
    result->flags |= BLOCK_NEEDS_FREE | 1;
    // 8
    result->isa = _NSConcreteMallocBlock;
    // 9
    if (result->flags & BLOCK_HAS_COPY_DISPOSE) {
        (*aBlock->descriptor->copy)(result, aBlock); // do fixup
    }
    return result;
}

5.4Block的copy、retain、release

和OC中的对象的copy、retain、release不同,Block对象:

  • Block_copy与copy等效,Block_release与release等效;
  • 对Block不管是retain、copy、release都不会改变引用计数retainCount,retainCount始终是1;
  • NSGlobalBlock:retain、copy、release操作都无效,因为全局块绝不可能为系统所回收。这种块实际上相当于单例;
  • NSStackBlock:retain、release操作无效,必须注意的是,NSStackBlock在函数返回后,Block内存将被回收。即使retain也没用。容易犯的错误是[[mutableAarry addObject:stackBlock],在函数出栈后,从mutableAarry中取到的stackBlock已经被回收,变成了野指针。正确的做法是先将stackBlock copy到堆上,copy之后生成新的NSMallocBlock类型对象,然后返回: [[myBlock copy] autorelease]。
typedef NSString * (^retBlock)(void);

- (void)test
{
    NSMutableArray *arr = [NSMutableArray array];

    retBlock block = [[self stackBlock] copy];

    for (int i = 0; i < 5; i++)
    {
        [arr addObject:block];
    }
}

- (retBlock)stackBlock
{
    int ret = 10;

    NSString * (^myBlock)(void) =  ^{
       return [NSString stringWithFormat:@"Hello,%d",ret];
    };

    return [[myBlock copy] autorelease];
}
  • NSMallocBlock支持retain、release,虽然retainCount始终是1,但内存管理器中仍然会增加、减少计数。copy之后不会生成新的对象,只是增加了一次引用,类似retain;
  • 尽量不要对Block使用retain操作,原因是并没有Block_retain()这样的函数,而且objc里面的retain消息发送给block对象后,其内部实现是什么都不做。

5.5Block对外部变量的存取管理

5.5.1基本数据类型

  • 1、局部变量。局部变量,在Block中只读。Block定义时截获变量的值,在Block中作为常量使用,所以即使变量的值在Block外改变,也不影响它在Block中的值。
int base = 100;

int (^myBlock)(int, int) = ^ (int a, int b) {
   return base + a + b;
};

base = 200;

// base:200     myBlock:103
NSLog(@"base:%d     myBlock:%d",base,myBlock(1,2));
  • 2、全局变量或静态变量。在内存中的地址是固定的,Block在读取该变量值的时候是直接从其所在内存读出,获取到的是最新值,而不是在定义时截获的值。
static int base = 100;

int (^myBlock)(int, int) = ^ (int a, int b) {
   return base + a + b;
};

base = 200;

// base:200     myBlock:203
NSLog(@"base:%d     myBlock:%d",base,myBlock(1,2));
  • 3、__block修饰的变量。被__block修饰的变量称作Block变量。 基本类型的Block变量等效于全局变量、或静态变量。

注意:Block被另一个Block使用时,另一个Block被copy到堆上时,被使用的Block也会被copy。但作为参数的Block是不会发生copy的

具体看示例:

- (void)p_copyBlock {
    int base = 100;
    
    GofBlock blockOne = ^ (int a, int b) {
        return  base + a + b;
    };
    
    // <__NSStackBlock__: 0x7fff52191248>
    NSLog(@"blockOne:%@", blockOne);
    
    [self p_copyBlockWithParam:blockOne];
}

- (void)p_copyBlockWithParam:(GofBlock)blockParam {
    // <__NSStackBlock__: 0x7fff52191248>
    // 和上面一样,说明作为参数传递时,并不会发生copy
    NSLog(@"blockParam:%@", blockParam);
    
    void (^blockTwo)(GofBlock) = ^ (GofBlock gofBlock) {
        // 第一次:gofBlock:<__NSStackBlock__: 0x7fff52191248>
        // 第二次:gofBlock:<__NSStackBlock__: 0x7fff52191248>
        // 无论blockTwo在堆上还是栈上,作为参数的Block不会发生copy。
        NSLog(@"gofBlock:%@", gofBlock);
        
        // 第一次:blockParam:<__NSStackBlock__: 0x7fff52191248>
        // 第二次:blockParam:<__NSMallocBlock__: 0x618000241500>
        // 当blockTwo copy到堆上时,blockParam也被copy了一分到堆上。
        NSLog(@"blockParam:%@", blockParam);
    };
    
    blockTwo(blockParam); // blockTwo在栈上
    
    // blockTwo:<__NSStackBlock__: 0x7fff521911e8>
    NSLog(@"blockTwo:%@", blockTwo);
    
    blockTwo = [[blockTwo copy] autorelease];
    blockTwo(blockParam); // blk在堆上
    // blockTwo after copy:<__NSMallocBlock__: 0x61000005cef0>
    NSLog(@"blockTwo after copy:%@",blockTwo);
}

5.5.2Objective-C对象

不同于基本类型,Block会引起OC对象的引用计数变化。这里对static、global、instance、block变量非arc下的情况进行分析。还是先看示例:

.h文件:

@interface TestBlock : NSObject
{
    NSObject        *_instanceObj;
}

.m文件:

@implementation TestBlock

NSObject *_globalObj = nil;

- (id) init
{
    self = [super init];

    if (self)
    {
        _instanceObj = [[NSObject alloc] init];
    }
    return self;
}

- (void)mrcMemoryManage
{
    static NSObject *_staticObj = nil;

    _globalObj = [[NSObject alloc] init];
    _staticObj = [[NSObject alloc] init];

    NSObject *localObj = [[NSObject alloc] init];
    __block NSObject *blockObj = [[NSObject alloc] init];

    typedef void (^MyBlock)(void) ;

    MyBlock aBlock = ^{
        NSLog(@"%@", _globalObj);
        NSLog(@"%@", _staticObj);
        NSLog(@"%@", _instanceObj);
        NSLog(@"%@", localObj);
        NSLog(@"%@", blockObj);
    };

    aBlock = [[aBlock copy] autorelease];
    aBlock();

    // 全局变量:1; 静态变量:1; 实例变量:1; 临时变量:2; block变量:1
    NSLog(@"全局变量:%lu; 静态变量:%lu; 实例变量:%lu; 临时变量:%lu; block变量:%lu", (unsigned long)[_globalObj retainCount], (unsigned long)[_staticObj retainCount], (unsigned long)[_instanceObj retainCount], (unsigned long)[localObj retainCount], (unsigned long)[blockObj retainCount]);
}

  根据上面的结果,我们来分析一下:

  • 全局变量和静态变量在内存中的位置是确定的,所以Block copy时不会retain对象。
  • 实例变量在Block copy时也没有直接retain实例变量对象本身,但会retain self。所以在Block中可以直接读写_instanceObj变量。
  • 临时变量在Block copy时,系统自动retain对象,增加其引用计数。
  • block变量在Block copy时也不会retain。

6.参考资料

 

posted @ 2017-04-25 22:41  LeeGof  阅读(507)  评论(0编辑  收藏  举报