程序中堆和栈及strong，copy，assign，weak 修饰词

一、数据的几个存储区

一个由C/C++编译的程序占用的内存分为以下几个部分

1. 栈区（stack）— 由编译器自动分配释放 ，存放函数的参数值，局部变量的值等。其操作方式类似于数据结构中的栈。
2. 堆区（heap） — 一般由程序员分配释放， 若程序员不释放，程序结束时可能由OS回收 。注意它与数据结构中的堆是两回事，分配方式倒是类似于链表。
3. 全局区（静态区）（static）—，全局变量和静态变量的存储是放在一块的，初始化的全局变量和静态变量在一块区域， 未初始化的全局变量和未初始化的静态变量在相邻的另 一块区域。 - 程序结束后由系统释放。
4. 文字常量区 —常量字符串就是放在这里的。 程序结束后由系统释放
5. 程序代码区—存放函数体的二进制代码。

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"
    优化成一个地方。
}

二、堆和栈的理论知识

申请方式

stack:

由系统自动分配。 例如，声明在函数中一个局部变量 int b; 系统自动在栈中为b开辟空间

heap:

需要程序员自己申请，并指明大小，在c中malloc函数
如p1 = (char *)malloc(10);
在C++中用new运算符
如p2 = new char[10];
但是注意p1、p2本身是在栈中的。

申请后系统的响应

栈： 只要栈的剩余空间大于所申请空间，系统将为程序提供内存，否则将报异常提示栈溢出。

堆： 首先应该知道操作系统有一个记录空闲内存地址的链表，当系统收到程序的申请时，会遍历该链表，寻找第一个空间大于所申请空间的堆结点，然后将该结点从空闲结点链表 中删除，并将该结点的空间分配给程序，另外，对于大多数系统，会在这块内存空间中的 首地址处记录本次分配的大小，这样，代码中的delete语句才能正确的释放本内存空间。 另外，由于找到的堆结点的大小不一定正好等于申请的大小，系统会自动的将多余的那部 分重新放入空闲链表中。

申请大小的限制

栈： 在Windows下,栈是向低地址扩展的数据结构，是一块连续的内存的区域。这句话的意 思是栈顶的地址和栈的最大容量是系统预先规定好的，在WINDOWS下，栈的大小是2M（也有的说是1M，总之是一个编译时就确定的常数），如果申请的空间超过栈的剩余空间时，将 提示overflow。因此，能从栈获得的空间较小。

堆： 堆是向高地址扩展的数据结构，是不连续的内存区域。这是由于系统是用链表来存储 的空闲内存地址的，自然是不连续的，而链表的遍历方向是由低地址向高地址。堆的大小 受限于计算机系统中有效的虚拟内存。由此可见，堆获得的空间比较灵活，也比较大。

三、strong，copy，assign，weak 修饰词

首先我们需要明确：栈上内存由系统分配和释放，堆上内存由程序员手动释放

对象的内存一般被分配到堆上，基本数据类型和OC数据类型一般被分配在栈上。

1：assign

用于基本数据类型进行赋值操作，不更改引用计数。也可以用来修饰对象

使用assign修饰基本数据类型，因为基本数据类型是分配在栈上的，由系统分配和释放，所以不会造成野指针。

如果用assign修饰对象，当对象释放后（因为不存在强引用，离开作用域对象内存可能被回收），指针的地址还是存在的，也就是说指针并没有被置为nil,下次再访问该对象就会造成野指针异常。和__unsafe_unretained一样，不安全；但是可以在dealloc方法中手动置为nil

2：weak

修饰Object类型，修饰的对象在释放后，指针地址会被置为nil，是一种弱引用。详情见我的另一篇文章

weak修饰基本数据类型编译器会报错

3： strong

ARC下的strong等同于MRC下的retain都会把对象引用计数加1。

weak和strong的区别：
当一个对象不再有strong类型的指针指向它的时候，它就会被释放，即使还有weak型指针指向它，那么这些weak型指针也将被清除。

4： copy

会在内存里拷贝一份对象，两个指针指向不同的内存地址。一般用来修饰NSString等有对应可变类型的对象，因为他们有可能和对应的可变类型（NSMutableString）之间进行赋值操作，为确保对象中的字符串不被修改 ，应该在设置属性是拷贝一份。而若用strong修饰，如果对象在外部被修改了，会影响到属性。

copy：针对不同的类型有不同的操作，
如果是NSMutableString，NSMutableArray、NSMutableDictionary，那么copy会对其他进行深拷贝，如果是不可变类型，那么copy是对其浅拷贝（[xxx copy] 复制一个指针，不会复制对象内存）

如果在代码中写了这样的常量，

NSString * str1 = @"abcdabcdab";

那么在编译时，@"abcdabcdab"常量的位置已经确定，在macho的cstring的section中，此时打印str1，也会发现它是__NSCFConstantString不可变类型

为什么要用copy修饰不可变的属性？

@interface OBPerson: NSObject
@property (strong) NSString *name;
@end

int main(int argc, const char * argv[]) {
    @autoreleasepool {
        NSString * str1 = @"abcdabcdab";
        OBPerson *tom = [OBPerson new];
        NSMutableString *mstr = [NSMutableString stringWithString:str1];
        tom.name = mstr;
        NSLog(@"%@",tom.name);   ///abcdabcdab
        [mstr appendString:@"-add"];
        NSLog(@"%@",tom.name); 	///abcdabcdab-add
    }
    return 0;
}

发现mstr改变了，tom.name的名字也改变了，这是不应该的。换成copy就不会改变了

block属性为什么需要用copy来修饰？

因为在MRC下，block在创建的时候，它的内存是分配在栈(stack)上的，而不是在堆(heap)上，可能被随时回收。他本身的作于域是属于创建时候的作用域，一旦在创建时候的作用域外面调用block将导致程序崩溃。通过copy可以把block拷贝（copy）到堆，保证block的声明域外使用。在ARC下写不写都行，编译器会自动对block进行copy操作。

void(^ob_block)(int a);
- (void)viewDidLoad {
    [super viewDidLoad];
    int b = 10;
    ob_block = [^(int a){
            NSLog(@"%d",b);
        } copy];  
    NSLog(@"--%@",[ob_block class]);
    dispatch_after(dispatch_time(DISPATCH_TIME_NOW, (int64_t)(2 * NSEC_PER_SEC)), dispatch_get_main_queue(), ^{
        ob_block(22);
    });
}

//打印
2020-08-13 10:18:26.846791+0800 Test --__NSMallocBlock__
2020-08-13 10:18:29.021103+0800 Test 10

如果不copy，直接Thread 1: EXC_BAD_ACCESS (code=1, address=0x0)崩溃

void(^ob_block)(int a);
- (void)viewDidLoad {
    [super viewDidLoad];
    int b = 10;
    
    ob_block = ^(int a){
        NSLog(@"%d",b);
    };
    
    NSLog(@"--%@",[ob_block class]);
    dispatch_after(dispatch_time(DISPATCH_TIME_NOW, (int64_t)(2 * NSEC_PER_SEC)), dispatch_get_main_queue(), ^{
        ob_block(22); //Thread 1: EXC_BAD_ACCESS (code=1, address=0x0)崩溃
    });
}
//崩溃前的打印
2020-08-13 10:21:04.617799+0800 Test --__NSStackBlock__

__block与__weak的区别

__block：在ARC和MRC下都可用，可修饰对象，也可以修饰基本数据类型。
__block对象可以在block被重新赋值，__weak不可以。
__weak：只在ARC中使用，只能修饰对象，不能修饰基本数据类型（int、bool）
在ARC下，要避免block出现循环引用，经常会：__weak typedof(self) weakSelf = self;