(转)[IOS]单例模式简单使用

转自: https://www.jianshu.com/p/d07298613f86

 

1.单例是啥

一个类只允许有一个实例,在整个程序中需要多次使用,共享同一份资源的时候,就可以创建单例,一般封装成工具类使用,苹果封装成单例常用的有UIApplication,NSUserDefaults,NSNotificationCenter,NSFIleManager等等

2.单例优缺点

优点: 因为单例模式会使类只有一个实例所以方便使用,并且节省内存资源的分配.因为使用GCD的方式是线程安全的,所以会避免资源的多重使用
缺点: 单例创建的内存只有在程序结束时才会被释放. 由于单例不能被继承(因为返回的是同一个实例),所以扩展性很不好

3.单例的实现

以前我是这么写的

static Singleton * _instance = nil;
+(instancetype) sharedInstance{
          static dispatch_once_t onceToken;
          dispatch_once(&onceToken, ^{
          _instance= [[self alloc] init];
         });
        return _instance;
}

这种不能算是真正意义上的单例 ,因为类方法和alloc init创建的单例分配的内存可能不一样,如下图

因为alloc会执行allocWithZone,所以如果想只分配一次内存就要重写此方法,同时为了严谨,防止copy出现以上问题,还要重写copyWithZone``mutableCopyWithZone

#import "Singleton.h"

static Singleton * _instance = nil;
@implementation Singleton

+(instancetype)allocWithZone:(struct _NSZone *)zone{
    static dispatch_once_t onceToken;
    dispatch_once(&onceToken, ^{
        _instance = [super allocWithZone:zone ];
    });
    return _instance;
}

+(instancetype) sharedInstance{
    if (_instance == nil) {
        _instance = [[super alloc]init];
    }
    return _instance;
}

-(id)copyWithZone:(NSZone *)zone{
    return _instance;
}

-(id)mutableCopyWithZone:(NSZone *)zone{
    return _instance;
}

@end

测试如下:

 

那么问题来了dispatch_once是如何判断只执行一次以及线程安全的呢?
我们发现onceToken是long类型的,所以编译器给它的初始值是0,dispatch_once是宏定义,所以执行的是_dispatch_once方法

void
_dispatch_once(dispatch_once_t *predicate,
        DISPATCH_NOESCAPE dispatch_block_t block)
{
    // 告诉 CPU *predicate 等于 ~0l 的可能性非常高，
    // 这就使得 CPU 预测不进入 if 分支，提前取后续指令，译码，
    // 甚至提前计算一些结果，提高效率，
    if (DISPATCH_EXPECT(*predicate, ~0l) != ~0l) {
        dispatch_once(predicate, block);
    } else {
        dispatch_compiler_barrier();
    }
    DISPATCH_COMPILER_CAN_ASSUME(*predicate == ~0l);
}

predicate参数用来检测block块是否执行完毕,onceToken在执行过程中是一个不固定的并且很大的数,dispatch_once执行完毕 onceToken值变为-1.
DISPATCH_EXPECT是个宏定义#define DISPATCH_EXPECT(x, v) __builtin_expect((x), (v)) 帮助编译器判断条件跳转的预期值 ,这样编译器可以对代码进行优化，以减少指令跳转带来的性能下降,但是没有改变真值的判断

__builtin_expect((x), 1) 表示x为真的可能性更大些

__builtin_expect((x), 0) 表示x为假的可能性更大些