堆栈的区别:经典解释
原作者不详,未详细查询,从其它地方转载并修改部分叙述,特此说明
- 预备知识:程序的内存分配
一个由C/C++编译的程序占用的内存分为以下几个部分- 栈(stack):由编译器自动分配释放 ,存放函数的参数值,局部变量的值等。其操作方式类似于数据结构中的栈。
- 堆(heap): 一般由程序员分配释放, 若程序员不释放,程序结束时可能由OS回收 。注意它与数据结构中的堆是两回事,分配方式类似于链表。
- 全局区(静态区static):全局变量和静态变量的存储是放在一块的,初始化的全局变量和静态变量在一块区域, 未初始化的全局变量和未初始化的静态变量在相邻的另一块区域,程序结束后由系统释放。
- 文字常量区:常量字符串放在这里, 程序结束后由系统释放
- 程序代码区:存放函数体的二进制代码。
- 例子程序
//main.cpp
int a = 0; //全局初始化区
char *p1; //全局未初始化区
main()
{
int b; //栈
char s[] = "abc"; //栈
char *p2; //栈
char *p3 = "123456"; //123456\0在常量区,p3在栈上。
static int c =0;//全局(静态)初始化区
p1 = (char *)malloc(10);
p2 = (char *)malloc(20);
//分配得来得10和20字节的区域就在堆区。
strcpy(p1, "123456"); //123456\0放在常量区,编译器可能会将它与p3所指向的"123456"优化成一个地方。
}
Block基本语法
//As a local variable:
returnType (^blockName)(parameterTypes) = ^returnType(parameters) {...};
As a property:
//As a property:
@property (nonatomic, copy) returnType (^blockName)(parameterTypes);
As a method parameter:
//As a method parameter:
- (void)someMethodThatTakesABlock:(returnType (^)(parameterTypes))blockName;
As an argument to a method call:
//As an argument to a method call:
[someObject someMethodThatTakesABlock:^returnType (parameters) {...}];
As a typedef:
//As a typedef:
typedef returnType (^TypeName)(parameterTypes);
TypeName blockName = ^returnType(parameters) {...};
修饰Block成员变量
Block 成员需要使用 copy 进行修饰,需要考虑Block是否线程安全,必要情况下使用atomic参数,当使用atomic参数也不能百分百确保线程安全,因此在使用时最好将block属性赋值给本地变量在使用,以防止其它线程将self.block置空。实际上,我们使用修饰符 copy 是因为将存在栈区上的block转移到堆区上,这个习惯是在MRC下的,现在在ARC下使用 copy 和 strong 是相同的。
2015/10/15更新
:为什么ARC下使用copy和strong是相同的
要解释这个问题必须要知道block的实现原理,具体的实现原理参阅『参考3』。我在这里直接给出解释,实际上Block是有不同类型的,这些类型的区别在于Block是存储在哪一个内存区间。
在MRC下有三种类型(见名知意):
- _NSConcreteGlobalBlock 全局的静态 block,不会访问任何外部变量。
- _NSConcreteStackBlock 保存在栈中的 block,当函数返回时会被销毁。
- _NSConcreteMallocBlock 保存在堆中的 block,当引用计数为 0 时会被销毁。
但在ARC下只有两种,也就是第一种和第三种,也就是说本来需要在MRC下使用copy所做的操作实际上ARC帮我们做了,因此使用copy和strong也就无所谓了。
循环引用(ARC)
使用:
__weak __typeof(self) weakSelf = self;
解决循环引用self的问题。
** AFNetworking 作者的使用技巧:**
MyObject *obj = [[MyObject alloc]init];
obj.text = @"string";
__weak MyObject *weakObj = obj;
dispatch_async(dispatch_get_global_queue(DISPATCH_QUEUE_PRIORITY_DEFAULT, 0), ^{
__strong MyObject *strongObj = weakObj;
sleep(3);
});
sleep(1);
obj = nil;
sleep(4);
把变量在 block 外先用 __weak
声明,在 block 内把前面 __weak
声明的变量在赋值给 __strong
修饰的变量。这种写法的好处就是可以让变量在 block 内部安全使用,即使外部对象释放了,也会在 block 的生命周期内保留该变量。这种写法非常巧妙,既避免了循环引用的问题,又可以在 block 内部持有该变量。
参考:
正确使用Block避免Cycle Retain和Crash
How Do I Declare A Block in Objective-C?
谈Objective-C Block的实现
block没那么难(一):block的实现
若有错误请不吝指教