block本质探寻四之copy
说明：
<1>阅读本文，最好阅读之前的block文章加以理解；
<2>本文内容：三种block类型的copy情况（mrc）、是否深拷贝、错误copy；
一、mrc模式下，三种block类型的copy情况
//代码
void test1()
{
int age = 10;
void(^block1)(void) = ^{
nslog(@"-----");
};
void(^block2)(void) = ^{
nslog(@"-----%d", age);
};
id block3 = [block2 copy];
nslog(@"%@ %@ %@", [block1 class], [block2 class], [block3 class]);
nslog(@"%@ %@ %@", [[block1 copy] class], [[block2 copy] class], [[block3 copy] class]);
}
//打印
2019-01-11 14:14:06.902974+0800 mj_test[2183:154918] __nsglobalblock__ __nsstackblock__ __nsmallocblock__ 2019-01-11 14:14:06.903260+0800 mj_test[2183:154918] __nsglobalblock__ __nsmallocblock__ __nsmallocblock__ program ended with exit code: 0
分析：
<1>只有stack类型block实例对象copy后的类型变为malloc，这个前面文章已经讨论过，没有问题；
<2>global类型实例对象存储在数据区，copy操作其实什么也没做；malloc在堆区，copy之后肯定还是在堆区，但不会开辟新的内存，只是引用计数加1——此处分析，可以通过clang和地址、引用计数打印来查看，此处不再赘述；
结论：
补充：上述copy的操作是针对block实例对象，那么类对象是存在哪个区呢？往下看
//代码
int a = 20;
void test2()
{
int b = 10;
void(^block1)(void) = ^{
nslog(@"-----");
};
void(^block2)(void) = ^{
nslog(@"-----%d", b);
};
id block3 = [block2 copy];
id block1cls = object_getclass(block1);
id block2cls = object_getclass(block2);
id block3cls = object_getclass(block3);
nslog(@"a--global--%p", &a);
nslog(@"b--auto place--%p", &b);
nslog(@"alloc----%p", [[nsobject alloc] init]);
nslog(@"person----%p", [person class]);
nslog(@"------block---instance---");
nslog(@"block1----%@ %p", [block1 class], block1);
nslog(@"block2----%@ %p", [block2 class], block2);
nslog(@"block3----%@ %p", [block3 class], block3);
nslog(@"------block---class---");
nslog(@"block1cls----%@ %p", block1cls, block1cls);
nslog(@"block2cls----%@ %p", block2cls, block2cls);
nslog(@"block3cls----%@ %p", block3cls, block3cls);
}
//打印
2019-01-11 14:58:29.922125+0800 mj_test[2443:177646] a--global--0x100002520 2019-01-11 14:58:29.922498+0800 mj_test[2443:177646] b--auto place--0x7ffeefbff59c 2019-01-11 14:58:29.922525+0800 mj_test[2443:177646] alloc----0x100526420 2019-01-11 14:58:29.922561+0800 mj_test[2443:177646] person----0x1000024f8 2019-01-11 14:58:29.922585+0800 mj_test[2443:177646] ------block---instance--- 2019-01-11 14:58:29.922639+0800 mj_test[2443:177646] block1----__nsglobalblock__ 0x1000020c0 2019-01-11 14:58:29.922666+0800 mj_test[2443:177646] block2----__nsstackblock__ 0x7ffeefbff560 2019-01-11 14:58:29.922699+0800 mj_test[2443:177646] block3----__nsmallocblock__ 0x102812000 2019-01-11 14:58:29.922717+0800 mj_test[2443:177646] ------block---class--- 2019-01-11 14:58:29.922736+0800 mj_test[2443:177646] block1cls----__nsglobalblock__ 0x7fffb33c3460 2019-01-11 14:58:29.922756+0800 mj_test[2443:177646] block2cls----__nsstackblock__ 0x7fffb33c3060 2019-01-11 14:58:29.922777+0800 mj_test[2443:177646] block3cls----__nsmallocblock__ 0x7fffb33c3160 program ended with exit code: 0
分析：
<1>person类对象：打印出的类对象person的地址跟全局变量a和global类型block实例对象的地址类似度极高（都以"0x100002"开头），我们知道全局变量a和global类型block实例变量都是存放在数据区（全局区），那么可以肯定类对象也是存放在数据区中；
<2>block类对象：通过runtime的api我们拿到了三种类型block类对象，发现类对象的地址并不以"0x100002"开头———其中的原因我就懵逼了（内存地址不是很了解），但是可以推断应该也是在数据区，为什么呢？往下看
//代码
typedef void(^block)(void);
block block1;
void test3()
{
int b = 10;
block1 = ^{
nslog(@"-----%d", b);
};
nslog(@"%p %p", block1, object_getclass(block1));
}
//设置全局断点
//打印
2019-01-11 16:34:06.281146+0800 mj_test[3354:234187] 0x7ffeefbff538 0x7fffb33c3060 2019-01-11 16:34:06.281455+0800 mj_test[3354:234187] ------272632520 2019-01-11 16:34:06.281477+0800 mj_test[3354:234187] 0x7ffeefbff538 0xf9552b000e0 2019-01-11 16:34:06.281496+0800 mj_test[3354:234187] 0x7ffeefbff588 0x7fffb33c3060
分析：
1）作为auto类型的局部变量，age的作用域仅限于test3()函数内，所以在main函数中再去回调block时，age已经被自动释放（所占内存被回收），所以age的值显示乱码；而同时block1其实也被销毁了，为什么？往下看
<1>object_getclass(block1)每次返回的值都不同，而其他只都保持不变（已经反复run了多次）；
<2>当我们第二次去回调block1时，如上报出一个很经典的错误——野指针调用，即指针所指向的内存空间已经被回收（即被释放），但是此时并没有对该指针赋值一个新的内存地址或者nil值，该指针变成了一个野指针，指向不明确；
补充：内存泄露：是指指针一直指向某一片内存空间，但是程序已经不需要再用该内存空间了，但其他的程序又无法调用该内存空间（只能开辟新的内存空间），这样很容易导致内存爆增；所以内存泄露跟野指针调用是完全相反的；
内存溢出：是指系统分配给程序的内存空间不够用，这样也很容易导致野指针调用的问题；
<3>对block1进行copy的情形：
//代码
void test3()
{
int b = 10;
block1 = [^{
nslog(@"-----%d", b);
} copy];
nslog(@"%p %p", block1, object_getclass(block1));
}
int main(int argc, const char * argv[]) {
@autoreleasepool {
// test1();
// test2();
test3();
block1();
nslog(@"%p %p", block1, object_getclass(block1));
int age = 10;
block bl = ^{
nslog(@"%d", age);
};
nslog(@"%p %p", bl, object_getclass(bl));
block1();
block1();
block1();
// test4();
// block();
}
return 0;
}
//打印
2019-01-11 16:40:36.144529+0800 mj_test[3397:237736] 0x100526670 0x7fffb33c3160 2019-01-11 16:40:36.144849+0800 mj_test[3397:237736] -----10 2019-01-11 16:40:36.144864+0800 mj_test[3397:237736] 0x100526670 0x7fffb33c3160 2019-01-11 16:40:36.144893+0800 mj_test[3397:237736] 0x7ffeefbff588 0x7fffb33c3060 2019-01-11 16:40:36.144916+0800 mj_test[3397:237736] -----10 2019-01-11 16:40:36.144934+0800 mj_test[3397:237736] -----10 2019-01-11 16:40:36.144950+0800 mj_test[3397:237736] -----10 program ended with exit code: 0
分析：copy之后，block1一直没有被释放（堆区需要手动管理），即block1一直指向了合法的内存空间，因此不会出现野指针调用的bug；
综上：block1是一个指针变量，其指向等号右边的代码块本质是一个oc对象，存放在栈区中，当回调该代码块时，其已经被自动释放，但是block1因为没有重新赋值而变成了野指针，所以block1指向的代码块是已经被销毁了的；
2）block1销毁后，新创建的bl打印出的类对象的地址跟block1销毁前打印出的地址都是0x7fffb33c3060，因为类对象在内存中只有一份，据此，block1的类对象并没有随着block1的销毁而销毁，所以block的类对象不可能存在于栈区，同一个block类对象供所有创建的block实例对象的isa指针访问并且类对象是系统自动创建并管理的，因此也不可能存在于堆区，也不会存在于代码区
————结论：block类对象跟其他oc实例对象的类对象一样，都只存在于数据区！！！
二、block拷贝是否深拷贝
//代码
void test4()
{
int age = 10;
int *ageptr = &age;
nslog(@"age---1:\n%d %p %d %p %p", age, &age, *ageptr, ageptr, &ageptr);
block1 = [^{
nslog(@"age----2:\n%d %p %d %p %p", age, &age, *ageptr, ageptr, &ageptr);
} copy];
}
//打印
2019-01-14 09:55:33.399468+0800 mj_test[907:35484] age---1: 10 0x7ffeefbff59c 10 0x7ffeefbff59c 0x7ffeefbff590 2019-01-14 09:55:33.399735+0800 mj_test[907:35484] age----2: 10 0x100400238 1 0x7ffeefbff59c 0x100400230 program ended with exit code: 0
分析：
<1>copy后，age、ageptr自身的地址值都发生了变化，说明两个变量都从栈区拷贝到了堆区；
<2>指针变量的值不再是10而是1（乱码），因为指针变量依然指向age拷贝前的内存区域，而该内存区随时可能被释放；
我们再看看对nsstring字符串的深拷贝（mutablecopy）和浅拷贝（copy）操作
//代码
void test5()
{
nsstring *strsource = @"abc";
nslog(@"source:\n%@ %p %p", strsource, strsource, &strsource);
nsstring *str1 = [strsource copy];
nslog(@"str1:\n%@ %p %p", str1, str1, &str1);
nsstring *str2 = [strsource mutablecopy];
nslog(@"str2:\n%@ %p %p", str2, str2, &str2);
}
//打印
2019-01-14 10:14:26.299400+0800 mj_test[1066:45457] source: abc 0x1000023a0 0x7ffeefbff598 2019-01-14 10:14:26.299783+0800 mj_test[1066:45457] str1: abc 0x1000023a0 0x7ffeefbff590 2019-01-14 10:14:26.299897+0800 mj_test[1066:45457] str2: abc 0x100507170 0x7ffeefbff588 program ended with exit code: 0
分析：
<1>很明显，浅拷贝只拷贝了指针变量str1（从代码区（常量区）到堆区），该指针依然指向代码区常量abc的内存区；
<2>深拷贝不仅指针变量被拷贝到堆区，而且常量abc也被拷贝到了堆区；
说明：深拷贝和浅拷贝区别，见参考链接：https://www.jianshu.com/p/63239d4d65e0；
综上所述：block的拷贝均拷贝了指针和该指针指向的值到堆区，但是新的指针却依然指向拷贝前的内存区域——因此，block的copy类似于深拷贝，不完全是深拷贝！
三、错误copy
//代码
void(^block)(void);
void test6()
{
int age = 10;
nslog(@"age----%p", &age);
block = ^{
nslog(@"age----%p", &age);
nslog(@"----%d", age);
};
nslog(@"block--1---%p", block);
nslog(@"block class--1---%p", [block class]);
id coblock = [block copy];
nslog(@"%@", [coblock class]);
nslog(@"block--2---%p", coblock);
nslog(@"block class--2---%p", [coblock class]);
}
//打印
2019-01-14 10:31:32.767665+0800 mj_test[1159:53399] age----0x7ffeefbff59c 2019-01-14 10:31:32.767975+0800 mj_test[1159:53399] block--1---0x7ffeefbff578 2019-01-14 10:31:32.768027+0800 mj_test[1159:53399] block class--1---0x7fff8e0fe060 2019-01-14 10:31:32.768075+0800 mj_test[1159:53399] __nsmallocblock__ 2019-01-14 10:31:32.768094+0800 mj_test[1159:53399] block--2---0x100729380 2019-01-14 10:31:32.768111+0800 mj_test[1159:53399] block class--2---0x7fff8e0fe160 2019-01-14 10:31:32.768127+0800 mj_test[1159:53399] age----0x7ffeefbff598 2019-01-14 10:31:32.768141+0800 mj_test[1159:53399] -----272632456 program ended with exit code: 0
分析：
<1>block：copy前后，block的地址发生了变化，因为block从栈区被拷贝到堆区了，这一点没问题；那么block的类对象地址也发生了变化，因为copy前block的类型为stack类型，之后是malloc类型（系统会自动创建一个类对象），前者存放在栈区，后者存放在堆区，所以也没问题；
<2>age：并没有被copy 到堆区，block回调时，已经被释放，其值为乱码，这点没问题；但是age的地址值这么发生变化了？我们再往下看
//代码
void test7()
{
int age = 10;
int *ageptr = &age;
nslog(@"1----\n%d %p %d %p %p", age, &age, *ageptr, ageptr, &ageptr);
block = ^{
nslog(@"1----\n%d %p %d %p %p", age, &age, *ageptr, ageptr, &ageptr);
};
id coblock = [block copy];
}
//打印
2019-01-14 10:54:30.119695+0800 mj_test[1281:64385] 1---- 10 0x7ffeefbff59c 10 0x7ffeefbff59c 0x7ffeefbff590 2019-01-14 10:54:30.119992+0800 mj_test[1281:64385] 1---- 10 0x7ffeefbff588 32766 0x7ffeefbff59c 0x7ffeefbff580 program ended with exit code: 0
分析：
<1>不论是age还是ageptr，block回调时，本身的地址都会发生变化，因为所占内存都被释放，内存地址不回固定，系统会重新编排（个人yy，具体不清楚）；
<2>但是，尽管age的值变成乱码，而指针变量ageptr的值却没变依然是原age的地址值——为什么指针变量的内存值不是乱码呢？也许是因为代码区（常量区）跟栈区、堆区的存储规则的区别，指针变量本身已经被释放，其值变与不变好像没有多大的意义——但是，从代码规范角度，被释放后，应当将指针变量置为nil，防止野指针调用！
结论：所谓错误的copy只是copy了block指针变量（等号左边），并非block代码块本身（等号右边）——因此，被引用的外部auto类型的局部变量不会被copy到堆区；
上一篇： 行内元素和块元素以及行内块元素的特点
下一篇： Oracle 数据库常用操作语句大全