OC的十万个为什么--持续更新
OC的十万个为什么
为什么atomic 无法保证线程安全
Atomic 只能保证单步操作的原子性。因此,对于简单的赋值或者读取操作,atomic还是可以保证该操作的完整性。但是,一旦涉及到多步骤操作,还是需要lock等其他的同步机制来确保线程安全。
实例: @peroperty(atomic, strong) NSMutableArray * array;
array = [NSMutableArray array]; //线程安全
[array addObject:dummyObject];//线程不安全,
在读取array后,执行addObject 的过程中,array所指向的object 可能已经在其他地方被释放了.
而在实际应用中,大部分操作都是多步骤操作,atomic可以在一定程度上减少crash的几率,从而掩盖多线程问题,但是却无法从根本上解决线程安全问题。
使用 atomic 一定是线程安全的吗?
答案很明显。不是,atomic 的本意是指属性的存取方法是线程安全的,并不保证整个对象是线程安全的。
声明一个 NSMutableArray 的原子属性 stuff,此时 self.stuff 和 self.stuff =othersulf 都是线程安全的。但是,使用[self.stuff objectAtIndex:index]就不是线程安全的,需要用互斥锁来保证线程安全性。
为什么说@sychronized(self)的性能差
@sychronized 所包含的代码片段 一次只允许一个线程执行,同时又会阻塞调用线程, 类似上述表格中Serial queue + dispatch sync 的组合 。一旦这些代码片段同时被多个线程访问,就会对性能造成较大的影响
为什么dispatch_sync在主线程会死锁
sync会阻塞当前的提交线程。
原因是:在串行队列中,第二个同步线程要执行,必须等待第一个同步线程执行完成后才可进行,但是第一个同步线程要执行完又得等待第二个同步线程执行完,因为第二个同步线程嵌套在第一个同步线程里,这就造成了两个同步线程互相等待,即死锁。
特别强调:是在串行队列里!
为什么dispatch_sync在主线程会死锁
关于dispatch_sync死锁问题
所以,对于
dispatch_sync(queue, ^{});
这行代码的意义可以概括为: 会阻塞当前线程等待串行queue中的所有任务执行完成后再向下执行。
为什么NSString、NSDictionary、NSArray要使用copy修饰符呢?
NSString、NSArray、NSDictionary等经常使用copy关键字,是因为他们有对应的可变类型:NSMutableString、NSMutableArray、NSMutableDictionary 它们之间可能进行赋值操作,为确保对象中的字符串值不会无意间变动,应该在设置新属性时拷贝一份。
总结:对于非集合类对象的copy操作如下:
[immutableObject copy]; //浅复制
[immutableObject mutableCopy]; //深复制
[mutableObject copy]; //深复制
[mutableObject mutableCopy]; //深复制采用同样的方法可以验证集合类对象的copy操作如下:
[immutableObject copy]; //浅复制
[immutableObject mutableCopy]; //单层深复制
[mutableObject copy]; //深复制
[mutableObject mutableCopy]; //深复制
*这个写法会出什么问题: @property(copy)NSMutableArray array;
因为 copy 策略拷贝出来的是一个不可变对象,然而却把它当成可变对象使用,很容易造成程序奔溃这里还有一个问题,该属性使用了同步锁,会在创建时生成一些额外的代码用于帮助编写多线程程序,这会带来性能问题,通过声明 nonatomic 可以节省这些虽然
很小但是不必要额外开销,在 iOS 开发中应该使用 nonatomic 替代 atomic.
objc中向一个nil对象发送消息将会发生什么?
在 Objective-C 中向 nil 发送消息是完全有效的——只是在运行时不会有任何作用:
SomeClass * someObject;
someObject = nil;
[someObject doSomething];
objc在向一个对象发送消息时,runtime库会根据对象的isa指针找到该对象实际所属的类,然后在该类中的方法列表以及其父类方法列表中寻找方法运行,然后在发送消息的时候,objc_msgSend方法不会返回值,所谓的返回内容都是具体调用时执行的。那么,回到本题,如果向一个nil对象发送消息,首先在寻找对象的isa指针时就是0地址返回了,所以不会出现任何错误。
比较让你混淆的是,僵尸对象。僵尸对象并不是nil,僵尸对象是你的object被销毁或者用于其他地方了,但是指向它的指针还在。会发生向一个object发送一个它没有的方法。
__block和__weak修饰符的区别
因此,__block和__weak修饰符的区别其实是挺明显的:
1.__block不管是ARC还是MRC模式下都可以使用,可以修饰对象,还可以修饰基本数据类型。
2.__weak只能在ARC模式下使用,也只能修饰对象(NSString),不能修饰基本数据类型(int)。
3.__block对象可以在block中被重新赋值,__weak不可以。
4.__block对象在ARC下可能会导致循环引用,非ARC下会避免循环引用,__weak只在ARC下使用,可以避免循环引用。
更多关于__block变量的详细解释,参见我的另一篇文章,详细探讨了__block的实现原理
PS:__unsafe_unretained修饰符可以被视为iOS SDK 4.3以前版本的__weak的替代品,不过不会被自动置空为nil。所以尽可能不要使用这个修饰符。
__block
不用 __block, Block会捕获栈上的变量(或指针),将其复制为自己私有的const(变量), 捕获他们的瞬时值。如果一个 block引用了一个栈变量或指针,那么这个block初始化的时候会拥有这个变量或指针的const副本,所以(被捕获之后再在栈中改变这个变量或指针的值)是不起作用的);
__block修饰符所起到的作用就是只要观察到该变量被block所持有,就将该变量在栈中的内存地址放到堆中。
new和alloc/init的区别
概括来说,new和alloc/init在功能上几乎是一致的,分配内存并完成初始化。
差别在于,采用new的方式只能采用默认的init方法完成初始化,
采用alloc的方式可以用其他定制的初始化方法。
MyClass *myObj = [MyClass alloc];
就是说alloc分配了一坨 内存给对象,让它不释放,并且把地址返回给指针。那么这样过后myobj为什么不能被使用呢?这是因为这片内存还没有被正确的初始化。
先看看 alloc 的API描述解说
- (id)alloc
Returns a new instance of the receiving class.
返回这个接受消息的类的一个实例.
The isa instance variable of the new instance is initialized to a data structure that describes the class; memory for all other instance variables is set to 0.
这个实例初始化后可以用来表示这个类的数据相关的结构;所有其他的实例变量的值都被设置成 0.
You must use an init... method to complete the initialization process. For example:
你必须使用 init... 方法来最终完成这个初始化的步骤,如下:
TheClass *newObject = [[TheClass alloc] init];
Do not override alloc to include initialization code. Instead, implement class-specific versions of init... methods.
不要重写 alloc 来包含初始化的代码.你可以使用指定版本的 init... 方法来达到你的目的.
For historical reasons, alloc invokes allocWithZone:.
由于历史原因,allc 方法调用了 allocWithZone: 方法.
结论:
- alloc 后只是在系统中分配了内存,这段内存空间的大小与这个类本身结构所占字节的大小相等,并返回了这段内存的指针.
- alloc 将申请内存空间中的值都设置为 0.
- alloc 调用了方法 allocWithZone:.
- alloc 就执行了一次,没有继承的关系.
结论:
- 重写 init 方法时需要先初始化父类的 init 方法.
- NSObject 中的 init 方法什么也没做,只是返回了自己而已.
- 如果初始化失败,会返回 nil.
<font color=#FF7F50 size=4>我的一些看法</font>
- OC仅仅支持单继承,所以 init 方法是从继承树的顶部 NSObject 开始执行的,每个链路中的对象都会执行一次 init 操作,所以, init 操作会执行多次,至上而下.
- alloc 就只执行一次.
- 这些虽然看似简单基础,但对于如何去中等程度的封装一个类是很有用的,因为有时候,你觉得你懂了,可是你在封装一个面向对象的一个类的时候,莫名其妙的崩溃,你就傻眼了,因为我遇到过才会写出来.
- 封装分为多种,初级封装以及中等程度的封装,初级封装会暴露出被你封装的相关类的信息,比如返回值,入参什么的,属于初级阶段.
_block和__weak的区别
1,在MRC 时代,__block 修饰可以避免循环引用;ARC时代,__block 修饰,同样会引起循环引用问题;
2,__block不管是ARC还是MRC模式下都可以使用,可以修饰对象,还可以修饰基本数据类型;
3,__weak只能在ARC模式下使用,也只能修饰对象,不能修饰基本数据类型;
4,__block对象可以在block中被重新赋值,__weak不可以;
5,__unsafe_unretained修饰符可以被视为iOS SDK 4.3以前版本的__weak的替代品,不过不会被自动置空为nil。所以尽可能不要使用这个修饰符。(__weak 会自动置为nil)
copy和mutableCopy