• 设计模式之单例模式


    一、单例模式概述

           在一个项目中,全局范围内,某个类的实例有且只有一个,通过这个实例向其他模块提供数据的全局访问这种模式叫做单例模式,单例模式的典型应用是任务队列。单例的对象在整个项目中充当着全局变量的角色。

    二、为什么使用单例代替全局变量?

            直接使用全局变量他会破坏类的封装,在每个模块都可以对这个全局变量进行修改,可以理解为恶意篡改,那么如果一个模块给他修改了,其他模块就会受到影响,得不到正确的值了。使用单例模式这个全局变量就会被封装在这个类里面,并且作为单例类的私有成员变量,不能被访问,我们需要在类里提供一个访问私有成员变量的方法,也就是处理函数,外部都要按照规定访问这个私有成员变量,不按照规定就不要访问。

    三、单例模式代码

    1. #include
    2. using namespace std;
    3. class TaskQueue
    4. {
    5. public:
    6. TaskQueue(const TaskQueue &t) = delete;
    7. TaskQueue& operator = (const TaskQueue &t) = delete;
    8. static TaskQueue* getInstance()
    9. {
    10. return m_taskQ;
    11. }
    12. void print()
    13. {
    14. cout << "我是单例对象里面的成员函数!" << endl;
    15. }
    16. private:
    17. TaskQueue() = default;
    18. //只能通过类名访问静态属性方法
    19. static TaskQueue* m_taskQ;
    20. };
    21. //类外初始化
    22. TaskQueue* TaskQueue::m_taskQ = new TaskQueue;
    23. int main()
    24. {
    25. TaskQueue* taskQ = TaskQueue::getInstance();
    26. taskQ->print();
    27. return 0;
    28. }

    代码详解及思路:

    一个类在实例化一个唯一的对象(类的实例对象只能创建一个)
    首先定义一个单例模式的类class TaskQueue{};

    在创建完类之后默认自带三个构造函数,一个析构,两个操作符重载。
    一个是不含参的构造函数(可以构造新的对象实例)
    一个是拷贝构造函数(我有一个已经存在对象的实例就能构造新的对象实例)
    一个是移动构造函数(不可以创建新的对象实例)
    一个析构函数
    一个拷贝赋值操作符重载
    一个移动赋值操作符重载
    我们要处理不含参数的构造函数拷贝构造函数,因为这两个都可以创建新的对象实例和我们单例模式只有唯一的实例相冲突。把这两个构造函数设置成私有的=default或者delete,如上图代码。
    现在我们想在类中创建对象只能通过类名创建对象,对象一定是静态的对象,通过类名访问类内的属性和方法一定是静态的,如果不是静态的一般都是通过对象调用的,现在已经把在类外部创建对象的路都堵死了,所以得到对象一定要通过类名!

    所以定义一个静态成员变量(静态的taskQ指针)、还要定义静态成员函数用来操作他,可以得到对应的实例也就是静态的m_taskQ,在类外初始化,主函数通过静态方法获得单例对象被taskQ指针保存起来了,通过这个指针调用单例里面唯一的方法,使用者就可以调用类里的成员函数了。
    以上是饿汉模式—定义类的时候创建对象代码。

    相应的还有一种懒汉模式:
    以下是懒汉模式—什么时候使用这个单例对象,在使用的时候再去创建对应的实例。(具体变动比较以下就可以知道)。

    1. class TaskQueue
    2. {
    3. public:
    4. TaskQueue(const TaskQueue &t) = delete;
    5. TaskQueue& operator = (const TaskQueue &t) = delete;
    6. static TaskQueue* getInstance()
    7. {
    8. if (m_taskQ == nullptr)
    9. {
    10. m_taskQ = new TaskQueue;
    11. }
    12. return m_taskQ;
    13. }
    14. void print()
    15. {
    16. cout << "我是单例对象里面的成员函数!" << endl;
    17. }
    18. private:
    19. TaskQueue() = default;
    20. //只能通过类名访问静态属性方法
    21. static TaskQueue* m_taskQ;
    22. };
    23. //类外初始化
    24. TaskQueue* TaskQueue::m_taskQ = nullptr;
    25. int main()
    26. {
    27. TaskQueue* taskQ = TaskQueue::getInstance();
    28. taskQ->print();
    29. return 0;
    30. }

           懒汉模式比较饿汉模式节省内存空间,饿汉模式当我不需要这个实例对象的时候就创建出来了,开辟了空间,占用了内存资源,懒汉什么时候用什么时候创建。
           其实在现在计算机内存很大,可以不用考虑,但是做嵌入式开发内存较少这个时候可以用懒汉模式。

    四、两者线程安全方面比较


           饿汉模式没有线程安全问题,多线程的场景下,所谓的线程安全是多线程可以同时访问单例对象。
           懒汉模式是有线程安全问题的、在线程进来的时候也就是getInstance来一个、new一个,为了解决这种问题我们的第一想法就是加互斥锁把线程阻塞多个线程依次访问单例对象,可以避免在懒汉模式下多个线程同时访问单例对象创建出多个类的实例的问题,和单例模式相对立了。以下是加锁的代码,不要忘记加头文件#include

    1. class TaskQueue
    2. {
    3. public:
    4. TaskQueue(const TaskQueue &t) = delete;
    5. TaskQueue& operator = (const TaskQueue &t) = delete;
    6. static TaskQueue* getInstance()
    7. {
    8. m_mutex.lock();
    9. if (m_taskQ == nullptr)
    10. {
    11. m_taskQ = new TaskQueue;
    12. }
    13. m_mutex.unlock();
    14. return m_taskQ;
    15. }
    16. void print()
    17. {
    18. cout << "我是单例对象里面的成员函数!" << endl;
    19. }
    20. private:
    21. TaskQueue() = default;
    22. //只能通过类名访问静态属性方法
    23. static TaskQueue* m_taskQ;
    24. static mutex m_mutex;
    25. };
    26. //类外初始化
    27. TaskQueue* TaskQueue::m_taskQ = nullptr;
    28. mutex TaskQueue::m_mutex;
    29. int main()
    30. {
    31. TaskQueue* taskQ = TaskQueue::getInstance();
    32. taskQ->print();
    33. return 0;
    34. }

           虽然我们通过锁机制可以解决这种问题但是来的线程一个一个进效率是不是就会很低所以我们可以使用一种方法:双重检查锁定,多加了一个判断。

    1. class TaskQueue
    2. {
    3. public:
    4. TaskQueue(const TaskQueue &t) = delete;
    5. TaskQueue& operator = (const TaskQueue &t) = delete;
    6. static TaskQueue* getInstance()
    7. {
    8. if (m_taskQ == nullptr)
    9. {
    10. m_mutex.lock();
    11. if (m_taskQ == nullptr)
    12. {
    13. m_taskQ = new TaskQueue;
    14. }
    15. m_mutex.unlock();
    16. }
    17. return m_taskQ;
    18. }
    19. void print()
    20. {
    21. cout << "我是单例对象里面的成员函数!" << endl;
    22. }
    23. private:
    24. TaskQueue() = default;
    25. //只能通过类名访问静态属性方法
    26. static TaskQueue* m_taskQ;
    27. static mutex m_mutex;
    28. };
    29. //类外初始化
    30. TaskQueue* TaskQueue::m_taskQ = nullptr;
    31. mutex TaskQueue::m_mutex;
    32. int main()
    33. {
    34. TaskQueue* taskQ = TaskQueue::getInstance();
    35. taskQ->print();
    36. return 0;
    37. }

    假如第一波有三个线程a b c同时进入在互斥锁依次进入,第一个 a 创建实例化之后m_tasQ已经不为空,b c直接解锁拿资源离开。

    在这里可能效率没有改变和不同双重检查锁定一样,但是再加入判断检查之后随着后续再有线程进入那效率可就提高很多。

    第二波再来三个线程d e f 刚进来到第一个判断,m_tasQ就不为空根本不进入互斥锁,直接拿着资源走人,也就是说我根本不需要进入以下代码段:

    可以看到访问效率得到了提高。

    解决线程安全方法还有好多,这里只提供一种方法,希望您可以对单例模式有一个初步理解!




     

  • 相关阅读:
    Excel表格总是处于只读状态怎么解决?
    博客园众包平台:嵌入式开发任务悬赏5万,招募开发者接单
    Oracle/PLSQL: Extract Function
    spring boot 使用AOP+自定义注解+反射实现操作日志记录修改前数据和修改后对比数据,并保存至日志表
    Harmony2.0开发—事件
    网工实验笔记:匹配工具ACL的使用
    使用matlab制作声音采样率转换、播放以及显示的界面
    zkPoT:基于机器学习模型训练的ZKP
    软件测试的方法详细介绍
    B. Boboniu Plays Chess
  • 原文地址:https://blog.csdn.net/m0_61990249/article/details/139361682