单例模式
OVERVIOW
- 单例模式
- 1.单例模式实现
- 2.饿汉与懒汉
- (1)饿汉模式
- (2)懒汉模式
- 3.懒汉线程安全-处理方式1
- (1)引入互斥锁
- (2)引入双重检查锁定
- (3)引入原子变量
- 4.懒汉线程安全-处理方式2
- (1)设置局部静态对象
- 5.案例运用
- (1)任务队列简单实现
- (2)用户登录
项目全局范围内,某个类的实例有且仅有一个,通过这个实例向其他模块提供数据的全局访问,这种模式就叫单例模式。
单例模式的典型应用就是任务队列。使用单例模式来替代全局变量(对全局变量进行管理),直接使用全局变量会破坏类的封装(全局变量随意读写),通过单例模式的类提供的成员函数进行访问。
单例模式优点:
- 提高性能:避免频繁的创建销毁对象,提高性能,
- 节省内存空间:在内存中只有一个对象,节省内存空间,
- 避免多重占用:避免对共享资源的多重占用,
- 全局访问:可全局访问,利用单例模式避免全局变量的出现
单例模式缺点:
扩展困难:单例模式中没有抽象层,因此扩展困难,
不适用于变化的对象:如果同类型的对象总是要在不同的用例场景发生变化,单例就会引起数据错误,不能保存状态。
职责过重:违背了单一职责原则
负面问题:
为了节省资源将数据库连接池对象设计为单例类,可能会导致共享连接池对象的程序过多,而出现连接池溢出。
如果实例化的单例对象长时间不被利用,系统会认为是垃圾而被回收,这将导致对象状态的丢失。
单利模式使用场景:
- 需要频繁实例化然后销毁的对象
- 创建对象耗时过多or消耗资源过多,但又经常使用到的对象,
- 有状态的工具类对象,
- 频繁访问数据库或文件的对象,
- 要求只有一个对象的场景
1.单例模式实现
如果使用单例模式,首先要保证这个类的实例有且仅有一个。因此就必须采取一些操作,涉及一个类多对象操作的函数有以下几个:
- 构造函数:创建一个新的对象
- 拷贝构造函数:根据已有对象拷贝出一个新的对象
- 拷贝赋值操作符重载函数:两个对象之间的赋值
为了把一个类可以实例化多个对象的路堵死,需要对以上几个函数做如下处理:
- 构造函数私有化,在类内部只调用一次这是可控的。
- 由于类外部不能使用构造函数,所以在类内部创建的唯一的对象必须是静态的,这样就可以通过类名来访问了,为了不破坏类的封装把这个静态对象设置为私有。
- 在类中只有它的静态成员函数才能访问其静态成员变量,所以给这个单例类提供一个静态函数用于得到这个静态的单例对象。
- 拷贝构造函数私有化或者禁用(使用 = delete)
- 拷贝赋值操作符重载函数私有化或者禁用(从单例的语义上讲该函数已经毫无意义,所以在类中不再提供这样一个函数,故将它也一并处理)
单例模式就是给类创建一个唯一的实例对象,UML类图如下:
#include<iostream>usingnamespacestd;/* 1.关于类创建后的默认提供的函数 - 在创建一个新的类之后 会默认提供3个构造函数 1个析构函数 - 2个操作符重载(移动赋值操作符重载、拷贝赋值操作符重载)移动构造函数 拷贝构造函数 2.关于单例模式下类的实例化 - 在通过将 无参构造函数、拷贝构造函数、拷贝赋值操作符重载函数禁用之后 TaskQueue类已经无法在外部创建任何的对象 - 要得到TaskQueue的实例无法通过new操作符得到 只能通过类名得到(需要将对象设置为静态对象) - 通过类名访问类内部的属性和方法 其属性和方法一定是静态的(若不是静态需要通过对象来调用) - 能够操作静态成员变量的函数 只有静态成员函数 *///单例模式任务队列classTaskQueue{public://无参构造函数//TaskQueue() = delete;//拷贝构造函数TaskQueue(constTaskQueue&t)=delete;//赋值操作符重载函数TaskQueue&operator=(constTaskQueue&t)=delete;// = delete 代表函数禁用, 也可以将其访问权限设置为私有//静态成员公共函数用于获取实例staticTaskQueue*getInstance(){returnm_taskq;}voidprintTest(){cout<<"i am a public method of a singleton class"<<endl;}private://无参构造函数TaskQueue()=default;//拷贝构造函数//TaskQueue(const TaskQueue &t) = default;//赋值操作符重载函数//TaskQueue& operator=(const TaskQueue &t) = default;//通过类名访问静态属性或方法来创建类实例(需要在类外部做初始化处理)staticTaskQueue*m_taskq;};//静态成员初始化放到类外部处理TaskQueue*TaskQueue::m_taskq=newTaskQueue;intmain(){//获取TaskQueue的单例对象 由m_taskq指针指向TaskQueue*m_taskq=TaskQueue::getInstance();//由m_taskq指针调用单例类内部的成员方法m_taskq->printTest();return0;}以上为单例模式中的饿汉模式,在定义单例类的时候就将类对应的单例对象一并创建出来了。
2.饿汉与懒汉
在实现一个单例模式的类的时候,有两种处理模式:
- 饿汉模式:在将单例类定义出来后实例就已经存在了,饿汉模式没有线程安全问题
- 懒汉模式:在使用单例对象的时候才会去创建单例对象的实例(节省内存空间),懒汉模式存在线程安全问题(多个线程同时访问单例的实例)
(1)饿汉模式
- 多个线程在访问单例对象时,没有线程安全问题,单例对象已经存在,不会出现多个线程创建出多个单例对象的情况。
- 多线程拿到单例对象后,在访问单例对象内部的数据时,有线程安全问题(多线程共享资源),
//饿汉模式classTaskQueue{public:TaskQueue(constTaskQueue&t)=delete;TaskQueue&operator=(constTaskQueue&t)=delete;staticTaskQueue*getInstance(){returnm_taskq;}voidprintTest(){cout<<"i am a public method of a singleton class"<<endl;}private:TaskQueue()=default;staticTaskQueue*m_taskq;};TaskQueue*TaskQueue::m_taskq=newTaskQueue;//饿汉模式classTaskQueue{public:TaskQueue(constTaskQueue&t)=delete;TaskQueue&operator=(constTaskQueue&t)=delete;staticTaskQueue*getInstance(){return&m_taskq;}voidprintTest(){cout<<"i am a public method of a singleton class"<<endl;}private:TaskQueue()=default;staticTaskQueue m_taskq;//已经创建对象};TaskQueue*TaskQueue::m_taskq;//改为对象声明(2)懒汉模式
//懒汉模式classTaskQueue{public:TaskQueue(constTaskQueue&t)=delete;TaskQueue&operator=(constTaskQueue&t)=delete;staticTaskQueue*getInstance(){if(m_taskq==nullptr)m_taskq=newTaskQueue;returnm_taskq;}voidprintTest(){cout<<"i am a public method of a singleton class"<<endl;}private:TaskQueue()=default;staticTaskQueue*m_taskq;};TaskQueue*TaskQueue::m_taskq=nullptr;3.懒汉线程安全-处理方式1
在单例模式中饿汉模式下,针对在多线程中可能存在的线程安全问题(创建多个实例),进行问题修改:
(1)引入互斥锁
在多线程环境下,有可能的情况是:多个线程同时进入到getInstance()方法中的if语句判断中,这时对象就可能被同时创建多个,
//懒汉模式 引入互斥锁classTaskQueue{public:TaskQueue(constTaskQueue&t)=delete;TaskQueue&operator=(constTaskQueue&t)=delete;staticTaskQueue*getInstance(){m_mutex.lock();if(m_taskq==nullptr)m_taskq=newTaskQueue;m_mutex.unlock();returnm_taskq;}voidprintTest(){cout<<"i am a public method of a singleton class"<<endl;}private:TaskQueue()=default;staticTaskQueue*m_taskq;staticmutex m_mutex;};mutex TaskQueue::m_mutex;TaskQueue*TaskQueue::m_taskq=nullptr;使用互斥锁对new操作创建实例时进行加锁操作,防止同时创建多个实例,但是程序执行的效率太低(多线程访问单例对象时都是顺序访问)
(2)引入双重检查锁定
双重检查锁定,只有第一次访问时是顺序执行的,在TaskQueue被实例化出来之后,其他线程再去访问单例对象就是并行的了(不会进入if内)。
//懒汉模式 引入双重检查锁定classTaskQueue{public:TaskQueue(constTaskQueue&t)=delete;TaskQueue&operator=(constTaskQueue&t)=delete;staticTaskQueue*getInstance(){//双重检查锁定if(m_taskq==nullptr){m_mutex.lock();if(m_taskq==nullptr)m_taskq=newTaskQueue;m_mutex.unlock();}returnm_taskq;}voidprintTest(){cout<<"i am a public method of a singleton class"<<endl;}private:TaskQueue()=default;staticTaskQueue*m_taskq;staticmutex m_mutex;};mutex TaskQueue::m_mutex;TaskQueue*TaskQueue::m_taskq=nullptr;(3)引入原子变量
通过引入双重检查锁定的方式,解决了在懒汉模式下多线程访问单例对象时,出现的线程安全问题,
从表面上观察引入双重检查锁定的方式是十分完美的,但是从底层上依旧存在漏洞:
对于
m_taskq = new TaskQueue;操作,其对应的机器指令并不是一条,而有三条(对于计算机来说代码都是二进制指令/机器指令),step1:创建一块内存(没有数据) step2:创建 TaskQueue 类型的对象,并将数据写入到对象中 step3:为 m_taskq 对象指针初始化,将有效的内存地址传递给 m_taskq 对象指针在实际的执行过程中,
m_taskq = new TaskQueue;对应的机器指令可能会被重新排序,成为step1:创建一块内存(没有数据) step3:为 m_taskq 对象指针初始化,将有效的内存地址传递给 m_taskq 对象指针 step2:创建 TaskQueue 类型的对象,并将数据写入到对象中如果线程A执行完成前两步之后失去CPU时间片被挂起,此时线程B在进行指针判断时,发现指针
m_taskq不为空(但该指针指向内存没有被初始化),导致线程B使用了一个没有被初始化的队列对象,就会出现问题(出现问题是概率性的)在C++11中引入原子变量 atomic,在底层控制机器指令的执行顺序,可以实现一种更加安全的懒汉模式,代码如下:
使用原子变量
atomic的store()方法来存储单例对象,使用load()方法来加载单例对象,在原子变量中这两个函数在处理指令的时候,默认的原子顺序是 memory_order_seq_cst 顺序原子操作,
使用顺序约束原子操作库,整个函数的执行都将保证顺序执行,并且不会出现数据竞态 data races,
缺点:使用这种方法实现的懒汉模式的单例执行效率更低一些,
对代码进行以下修改:
通过原子变量将类的实例对象保存起来(m_taskq 指针指向的内存)
类外初始化 指针指向为nullptr
对 getInstance 方法进行相关的修改操作
多线层在调用 getInstance 方法时 需要从原子变量中加载任务队列的实例
抢到互斥锁的线程将继续向下执行 创建实例对象
//懒汉模式 引入原子变量classTaskQueue{public:TaskQueue(constTaskQueue&t)=delete;TaskQueue&operator=(constTaskQueue&t)=delete;staticTaskQueue*getInstance(){TaskQueue*taskq=m_taskq.load();if(taskq==nullptr){m_mutex.lock();taskq=m_taskq.load();if(taskq==nullptr){taskq=newTaskQueue;m_taskq.store(taskq);}m_mutex.unlock();}returnm_taskq.load();}voidprintTest(){cout<<"i am a public method of a singleton class"<<endl;}private:TaskQueue()=default;// static TaskQueue *m_taskq;staticatomic<TaskQueue*>m_taskq;staticmutex m_mutex;};mutex TaskQueue::m_mutex;atomic<TaskQueue*>TaskQueue::m_taskq;// TaskQueue* TaskQueue::m_taskq = nullptr;4.懒汉线程安全-处理方式2
在懒汉模式线程安全问题中,除了可以通过引入双重检查锁定来解决线程安全问题,还可以使用局部静态对象处理线程安全问题,
(1)设置局部静态对象
使用静态的局部对象解决线程安全问题,要求编译器必修支持C++11标准,
- 在
getInstance()局部函数中定义一个静态局部对象static TaskQueue taskq;(调用无参构造初始化) - 在C++11标准中规定,如果指令逻辑进入一个未被初始化的声明变量,所有并发执行应当等待该变量完成初始化,
注:使用静态的局部对象没有线程安全问题,已经由C++11标准中的编译器解决,未被初始化的变量,必须等待其完成初始化才能并发执行,
step1:创建一块内存(没有数据) step2:创建 TaskQueue 类型的对象,并将数据写入到对象中(完成初始化操作) step3:为 m_taskq 对象指针初始化,将有效的内存地址传递给 m_taskq 对象指针// 懒汉模式 静态局部对象classTaskQueue{public:TaskQueue(constTaskQueue&t)=delete;TaskQueue&operator=(constTaskQueue&t)=delete;staticTaskQueue*getInstance(){staticTaskQueue taskq;return&taskq;}voidprintTest(){cout<<"i am a public method of a singleton class"<<endl;}private:TaskQueue()=default;};5.案例运用
(1)任务队列简单实现
多线程拿到单例对象后,在访问单例对象内部的数据时,有线程安全问题(多线程共享资源),使用互斥锁保护多线程中共享的资源,
C++11中给互斥锁加/解锁有两种方式,
方法1:调用mutex对象的
unlock();lock();方法方法2:使用lock_gurd自动管理加/解锁
lock_guard<mutex> locker(m_mutex);使用
lock_gurd可以有效的避免死锁的问题,自动加/解锁
// 饿汉模式classTaskQueue{public:TaskQueue(constTaskQueue&t)=delete;TaskQueue&operator=(constTaskQueue&t)=delete;staticTaskQueue*getInstance(){returnm_taskq;}voidprintTest(){cout<<"i am a public method of a singleton class"<<endl;}// 判断任务队列是否为空boolisEmpty(){lock_guard<mutex>locker(m_mutex);returnm_data.empty();}// 添加任务voidaddTask(intnode){lock_guard<mutex>locker(m_mutex);m_data.push(node);}// 删除任务boolremoveTask(){lock_guard<mutex>locker(m_mutex);if(m_data.empty())returnfalse;m_data.pop();returntrue;}// 获取队头任务inttakeTask(){lock_guard<mutex>locker(m_mutex);if(m_data.empty())return-1;returnm_data.front();}private:TaskQueue()=default;staticTaskQueue*m_taskq;// 任务队列queue<int>m_data;mutex m_mutex;};TaskQueue*TaskQueue::m_taskq=newTaskQueue;#include<iostream>#include<thread>#include<queue>#include<mutex>usingnamespacestd;intmain(){// 获取单例对象TaskQueue*taskq=TaskQueue::getInstance();taskq->printTest();// 生产者线程// 使用匿名函数指定线程的处理动作threadt1([=](){for(inti=0;i<25;++i){taskq->addTask(i+100);cout<<"++push data:"<<i+100<<", threadId = "<<this_thread::get_id()<<endl;this_thread::sleep_for(chrono::milliseconds(500));//休眠500ms}});// 消费者线程threadt2([=](){this_thread::sleep_for(chrono::milliseconds(100));while(!taskq->isEmpty()){// 开始消费cout<<"--take data:"<<taskq->takeTask()<<", threadId = "<<this_thread::get_id()<<endl;taskq->removeTask();this_thread::sleep_for(chrono::milliseconds(1000));//休眠500ms}});// 主线程阻塞 只有当t1、t2线程都结束后 主线程解除阻塞t1.join();t2.join();return0;}(2)用户登录
当用户成功登录之后,用户名和密码就会被存储到内存中,可以创建一个单例类,将用户数据保存到单例对象中,
classTest{public:staticTest*getInstance(){return&m_test;}// m_uservoidsetUserName(QString name){// 多线程下需要加锁解锁(涉及写操作)// lock();m_user=name;// unlock();}QStringgetUserName(){returnm_user;}// m_passwd// ....// ....// ....private:Test();Test(constTest&t);staticTest*m_test;// static Test m_test;// 定义变量 -> 属于唯一的单例对象QString m_user;QString m_passwd;QString m_ip;QString m_port;QString m_token;}Test*Test::m_test=newTest();// 初始化// Test Test::m_test;