iOS中的单例模式

作者: qiushuitian | 来源:发表于2017-11-22 16:55 被阅读450次

    单例模式大概是设计模式中最简单的一个。本来没什么好说的,但是实践过程中还是有一些坑。所以本文小结一下在iOS开发中的单例模式。

    一、 什么是单例模式

    按照四人帮(GOF)教科书的说法,标准定义是这样的:

    Ensures a class has only one instance, and provide a global point of access to it.
    

    保证一个类只有一个实例,并且提供一个全局的访问入口访问这个实例。
    然后,类图是这个样子的:


    单例类图

    什么时候选择单例模式呢?

    • 一个类必须只有一个对象。客户端必须通过一个众所周知的入口访问这个对象。
    • 这个唯一的对象需要扩展的时候,只能通过子类化的方式。客户端的代码能够不需要任何修改就能够使用扩展后的对象。

    上面的官方说法,听起来一头雾水。我的理解是这样的。
    在建模的时候,如果这个东西确实只需要一个对象,多余的对象都是无意义的,那么就考虑用单例模式。比如定位管理(CLLocationManager),硬件设备就只有一个,弄再多的逻辑对象意义不大。所以就会考虑用单例。

    二、 如何实现基本的单例模式?

    那么,我们就用Objective-C来实现一下单例模式吧。
    要实现比较好的访问,我们就会想到用工厂方法创建对象,提供统一的创建方法的地方给外部使用。要实现仅有一个对象,就会想到用一个全局的东西保存这个对象,然后在创建对象的工厂方法中判断一下,如果对象存在,那么就返回该对象。如果不存在,就造一个返回出去。
    于是,基本的单例实现就这样了:

    DJSingleton * g_instance_dj_singleton = nil ;
    + (DJSingleton *)shareInstance{
            if (g_instance_dj_singleton == nil) {
                g_instance_dj_singleton = [[DJSingleton alloc] init];
            }
        return (DJSingleton *)g_instance_dj_singleton;
    }
    

    看起来不错。不过这个全局的变量 g_instance_dj_singleton有个缺点,就是外面的人随便可以改,为了隔离外部修改,可以设置成静态变量,就是这样子:

    1 + (DJSingleton *)shareInstance{
    2         static DJSingleton * s_instance_dj_singleton = nil ;
    3         if (s_instance_dj_singleton == nil) {
    4             s_instance_dj_singleton = [[DJSingleton alloc] init];
    5         }
    6     return (DJSingleton *)s_instance_dj_singleton;
    7 }
    

    单例的核心思想算是实现了。

    三、 多线程怎么办?

    虽然核心思想实现了,但是依旧不完美。考虑下多线程的情况。即多个线程同时访问这个工厂方法,能够总是保证只创建一个实例对象么?
    显然上面的方式是有问题的。比如第一个线程执行到第4行但是还没有进行赋值操作,第二个线程执行第三行。此时判断对象依旧为nil,第二个线程也能往下执行到创建对象操作的第4行。从而创建了多个对象。
    那么,如何保证多线程下依旧能够只创建一个呢?这里面的核心思路,是要保证s_instance_dj_singleton这个临界资源的访问(读取和赋值)。
    iOS下控制多线程的方式有很多,可以使用NSLock,可以@synchronized等各种线程同步的技术。于是,我们的单例代码变成了这样:

    1 + (DJSingleton *)shareInstance{
    2         static DJSingleton * s_instance_dj_singleton = nil ;
    3           @synchronized(self) {
    4                if (s_instance_dj_singleton == nil) {
    5                   s_instance_dj_singleton = [[DJSingleton alloc] init];
    6               }
    7            }
    8         return (DJSingleton *)s_instance_dj_singleton;
    9 }
    

    看起来多线程没啥问题了了。不过我们可以做的更好。OC的内部机制里有一种更加高效的方式,那就是dispatch_once。性能相差好几倍,好几十倍。关于性能的比对,大神们做过实验和分析。请参考这里
    于是,我们的单例变成了这个样子:

    + (DJSingleton *)shareInstance{
        static DJSingleton * s_instance_dj_singleton = nil ;
        static dispatch_once_t onceToken;
        dispatch_once(&onceToken, ^{
            if (s_instance_dj_manager == nil) {
                s_instance_dj_manager = [[DJSingleton alloc] init];
            }
        });
        return (DJSingleton *)s_instance_dj_singleton;
    }
    

    四、Objective-C的坑

    看起来很完美了。可是Objective-C毕竟是Objective-C。别的语言,诸如C++,java,构造方法可以隐藏。Objective-C中的方法,实际上都是公开的,虽然我们提供了一个方便的工厂方法的访问入口,但是里面的alloc方法依旧是可见的,可以调用到的。也就是说,虽然你给了我一个工厂方法,调皮的小伙伴可能依旧会使用alloc的方式创建对象。这样会导致外面使用的时候,依旧可能创建多个实例。
    关于这个事情的处理,可以分为两派。一个是冷酷派,技术上实现无论你怎么调用,我都给你同一个单例对象;一个是温柔派,是从编译器上给调皮的小伙伴提示,你不能这么造对象,温柔的指出有问题,但不强制约束。

    1. 冷酷派的实现

    冷酷派的实现从OC的对象创建角度出发,就是把创建对象的各种入口给封死了。alloc,copy等等,无论是采用哪种方式创建,我都保证给出的对象是同一个。
    由Objective-C的一些特性可以知道,在对象创建的时候,无论是alloc还是new,都会调用到 allocWithZone方法。在通过拷贝的时候创建对象时,会调用到-(id)copyWithZone:(NSZone *)zone-(id)mutableCopyWithZone:(NSZone *)zone方法。因此,可以重写这些方法,让创建的对象唯一。

    +(id)allocWithZone:(NSZone *)zone{
        return [DJSingleton sharedInstance];
    }
    
    +(DJSingleton *) sharedInstance{
        static DJSingleton * s_instance_dj_singleton = nil;
        static dispatch_once_t onceToken;
        dispatch_once(&onceToken, ^{
            s_instance_dj_singleton = [[super allocWithZone:nil] init];
        });
        return s_instance_dj_singleton;
    }
    
    -(id)copyWithZone:(NSZone *)zone{
        return [DJSingleton sharedInstance];
    }
    
    -(id)mutableCopyWithZone:(NSZone *)zone{
        return [DJSingleton sharedInstance];
    }
    
    

    2. 温柔派的实现

    温柔派就直接告诉外面,alloc,new,copy,mutableCopy方法不可以直接调用。否则编译不过。

    +(instancetype) alloc __attribute__((unavailable("call sharedInstance instead")));
    +(instancetype) new __attribute__((unavailable("call sharedInstance instead")));
    -(instancetype) copy __attribute__((unavailable("call sharedInstance instead")));
    -(instancetype) mutableCopy __attribute__((unavailable("call sharedInstance instead")));
    

    我个人的话比较喜欢采用温柔派的实现。不需要这么多复杂的实现。也让使用方有比较明确的概念这个是个单例,不要调皮。对于一般的业务场景是足够了的。

    五、 可不可以再方便点?

    可以。
    大神们把单例模式的各种套路封装成了宏。这样使用的时候,就不需要每个类都手动写一遍里面的重复代码了。省去了敲代码的时间。
    以温柔派的为例,大概是这样子的。

    #define DJ_SINGLETON_DEF(_type_) + (_type_ *)sharedInstance;\
    +(instancetype) alloc __attribute__((unavailable("call sharedInstance instead")));\
    +(instancetype) new __attribute__((unavailable("call sharedInstance instead")));\
    -(instancetype) copy __attribute__((unavailable("call sharedInstance instead")));\
    -(instancetype) mutableCopy __attribute__((unavailable("call sharedInstance instead")));\
    
    #define DJ_SINGLETON_IMP(_type_) + (_type_ *)sharedInstance{\
    static _type_ *theSharedInstance = nil;\
    static dispatch_once_t onceToken;\
    dispatch_once(&onceToken, ^{\
    theSharedInstance = [[super alloc] init];\
    });\
    return theSharedInstance;\
    }
    
    

    那么,在定义和实现的时候就很简单了:

    @interface DJSingleton : NSObject
        DJ_SINGLETON_DEF(DJSingleton);
    @end
    
    @implementation DJSingleton
        DJ_SINGLETON_IMP(DJSingleton);
    @end
    

    六、 单例模式潜在的问题

    1. 内存问题

    单例模式实际上延长了对象的生命周期。那么就存在内存问题。因为这个对象在程序的整个生命都存在。所以当这个单例比较大的时候,总是hold住那么多内存,就需要考虑这件事了。另外,可能单例本身并不大,但是它如果强引用了另外的比较大的对象,也算是一个问题。别的对象因为单例对象不释放而不释放。
    当然这个问题也有一定的办法。比如对于一些可以重新加载的对象,在需要的时候加载,用完之后,单例对象就不再强引用,从而把原先hold住的对象释放掉。下次需要再加载回来。

    2. 循环依赖问题

    在开发过程中,单例对象可能有一些属性,一般会放在init的时候创建和初始化。这样,比如如果单例A的m属性依赖于单例B,单例B的属性n依赖于单例A,初始化的时候就会出现死循环依赖。死在dispatch_once里。

    
    @interface DJSingletonA : NSObject
        DJ_SINGLETON_DEF(DJSingletonA);
    @end
    
    @interface DJSingletonB : NSObject
        DJ_SINGLETON_DEF(DJSingletonB);
    @end
    
    @interface DJSingletonA()
    @property(nonatomic, strong) id someObj;
    @end
    @implementation DJSingletonA
    DJ_SINGLETON_IMP(DJSingletonA);
    -(id)init{
        if (self = [super init]) {
            _someObj = [DJSingletonB sharedInstance];
        }
        return self;
    }
    @end
    
    @interface DJSingletonB()
    @property(nonatomic, strong) id someObj;
    @end
    @implementation DJSingletonB
    DJ_SINGLETON_IMP(DJSingletonB);
    -(id)init{
        if (self = [super init]) {
            _someObj = [DJSingletonA sharedInstance];
        }
        return self;
    }
    @end
    
    
    //---------------------------------------
    DJSingletonA * s1 = [DJSingletonA sharedInstance];
    
    死亡现场

    对于这种情况,最好的设计是在单例设计的时候,初始化的内容不要依赖于其他对象。如果实在要依赖,就不要让它形成环。实在会形成环或者无法控制,就采用异步初始化的方式。先过去,内容以后再填。内部需要做个标识,标识这个单例在造出来之后,不能立刻使用或者完整使用。

    七、参考资料:

    1. Design Patterns -- GOF
    2. Pro Objective-C Design Patterns for iOS -- Carlo Chung
    3. GCD 中 dispatch_once 的性能与实现

    相关文章

      网友评论

      本文标题:iOS中的单例模式

      本文链接:https://www.haomeiwen.com/subject/dwmwvxtx.html