首页 > 其他分享 >单例模式 Singleton

单例模式 Singleton

时间:2022-09-27 23:25:58浏览次数:47  
标签:std Singleton getInstance nullptr 模式 instance mutex 单例

“对象性能”模式

  • 面向对象很好地解决了“抽象”的问题,但是必不可免地要付出一定的代价。对于通常情况来讲,面向对象的成本大都可以忽略不计。但是某些情况,面向对象所带来的成本必须谨慎处理。
  • 典型模式
  1. Singleton
  2. Flyweight

动机(Motivation)

  • 在软件系统中,经常有这样一些特殊的类,必须保证它们在系统中只存在一个实例,才能确保它们的逻辑正确性、以及良好的效率。
  • 如何绕过常规的构造器,提供一种机制来保证一个类只有一个实例?
  • 这应该是类设计者的责任,而不是使用者的责任。

非线程安全

#include<iostream>
using namespace std;


class Singleton {
private: // 私有的构造函数,拷贝构造函数,禁止它拷贝和构造。
    Singleton() {};
    Singleton(const Singleton& other) {};
public:
    static Singleton* getInstance();
    static Singleton* m_instance;
};

Singleton* Singleton::m_instance = nullptr;

//线程非安全版本
Singleton* Singleton::getInstance() {
    if (m_instance == nullptr) {
        m_instance = new Singleton();
    }
    return m_instance;
}

int main()
{
    Singleton * obj1 = Singleton::getInstance();
    Singleton * obj2 = Singleton::getInstance();
    if (obj1 == obj2) {
        cout << "相同对象" << endl;
    }

    getchar();
    return 0;
}

输出:

相同对象

线程安全(带锁)

#include<iostream>
#include < mutex> 
using namespace std;

class Singleton {
private:
    Singleton() {};
    Singleton(const Singleton& other) {};
    //static unique_lock<mutex>
    static mutex *m_mutex;
public:
    static Singleton* getInstance();
    static Singleton* m_instance;
};

Singleton* Singleton::m_instance = nullptr;
mutex* Singleton::m_mutex = new mutex;

////线程非安全版本
//Singleton* Singleton::getInstance() {
//    if (m_instance == nullptr) {
//        m_instance = new Singleton();
//    }
//    return m_instance;
//}

//线程安全版本,但锁的代价过高
Singleton* Singleton::getInstance() {
    unique_lock<mutex> lock(*m_mutex);
    if (m_instance == nullptr) {
        m_instance = new Singleton();
    }
    return m_instance;
}

int main()
{
    Singleton * obj1 = Singleton::getInstance();
    Singleton * obj2 = Singleton::getInstance();
    if (obj1 == obj2) {
        cout << "相同对象:" << obj1 << endl;
    }

    getchar();
    return 0;
}

输出:

相同对象:00DF5AB0

当已经实例化不是null以后,这个锁就没有必要了,代价太大。读变量不需要加锁,没有问题,写才有问题。高并发的情况下消耗太大。

双检查锁(其实是有问题的):

//双检查锁,但由于内存读写reorder不安全
Singleton* Singleton::getInstance() {    
    if(m_instance==nullptr){
        Lock lock;
        if (m_instance == nullptr) {
            m_instance = new Singleton();
        }
    }
    return m_instance;
}

双检查锁假设顺序是:分配内存 -> 执行构造器 -> 返回指针。而实际的指令层的顺序有可能被编译器优化了,变成:分配内存 -> 返回指针 -> 执行构造器 。这样双检查锁就有可能会有问题,在还没执行构造器的时候,返回出去了,这时候的指针是不能用的。

跨平台线程安全

#include<iostream>
#include <mutex> 
#include <atomic>
using namespace std;

class Singleton {
private:
    Singleton() {};
    Singleton(const Singleton& other) {};
    static mutex m_mutex;
    static atomic<Singleton*>  m_instance;
public:
    static Singleton* getInstance();
};

//C++ 11版本之后的跨平台实现 (volatile)
std::atomic<Singleton*> Singleton::m_instance;
std::mutex Singleton::m_mutex;

Singleton* Singleton::getInstance() {
    Singleton* tmp = m_instance.load(std::memory_order_relaxed);
    std::atomic_thread_fence(std::memory_order_acquire);//获取内存fence
    if (tmp == nullptr) {
        std::lock_guard<std::mutex> lock(m_mutex);
        tmp = m_instance.load(std::memory_order_relaxed);
        if (tmp == nullptr) {
            tmp = new Singleton;
            std::atomic_thread_fence(std::memory_order_release);//释放内存fence
            m_instance.store(tmp, std::memory_order_relaxed);
        }
    }
    return tmp;
}

int main()
{
    Singleton * obj1 = Singleton::getInstance();
    Singleton * obj2 = Singleton::getInstance();
    if (obj1 == obj2) {
        cout << "相同对象:" << obj1 << endl;
    }

    getchar();
    return 0;
}

输出:

相同对象:00989FB8

模式定义

保证一个类仅有一个实例,并提供一个该实例的全局访问点。——《设计模式》GoF

要点总结

  • Singleton模式中的实例构造器可以设置为protected以允许子类派生。
  • Singleton模式一般不要支持拷贝构造函数和Clone接口,因为这有可能导致多个对象实例,与Singleton模式的初衷违背。
  • 如何实现多线程环境下安全的Singleton?注意对双检查锁的正确实现。




参考:GeekBand

标签:std,Singleton,getInstance,nullptr,模式,instance,mutex,单例
From: https://www.cnblogs.com/huvjie/p/16736383.html

相关文章

  • 大话设计模式 ---- 第一章简单工厂笔记
    第一章简单工厂模式计算器实现建民哥在大二的时候让我们设计一个口算卡我第一版的设计模式:(虽然功能实现了,但是啥也不是,一旦有新要求需要大改程序直接作废)//......
  • 设计模式(十四)----结构型模式之外观模式 已完成
    1概述有些人可能炒过股票,但其实大部分人都不太懂,这种没有足够了解证券知识的情况下做股票是很容易亏钱的,刚开始炒股肯定都会想,如果有个懂行的帮帮手就好,其实基金就是个好......
  • 9-27 设计模式
    工厂模式:通过创建接口来实现使用接口的类来具体进行具体各自的独特行为,然后创建工厂,工厂可以将所有的继承的接口类都进行选择性的包容下,并可以供给使用者的需求来创建实......
  • 行为型设计模式之状态模式
    状态模式状态模式(StatePattern)属于行为型模式。它是允许对象在内部状态发生改变时改变它的行为,对象看起来好像修改了它的类。状态模式中类的行为是由状态决定的,不同......
  • GB/T28181-2016 SDP定义和音视频传输模式解读
     SDP定义联网系统中SIP消息体中携带的SDP内容应符合IETFRFC2327的相关要求。应有如下字段:Sessiondescription:v=(protocolversion)o=(owner/creatorandsessioni......
  • 编码中的Adapter,不仅是一种设计模式,更是一种架构理念与解决方案
    大家好,又见面了。不知道下面这玩意大家有没有见过或者使用过?这是一个插座转换器。我们都知道日常使用的是220v的交流电,而国外不同国家使用的电流电压是不一样的(比如日本使......
  • JAVA设计模式-原型模式
    JAVA设计模式-原型模式介绍原型模式是一种创建型模式,用于创建重复的对象,并且保证性能。原型模式创建的对象是由原型对象自身创建的,是原型对象的一个克隆,和原型对象具有......
  • 构建器模式 Builder
    “对象创建”模式通过“对象创建”模式绕开new,来避免对象创建(new)过程中所导致的紧耦合(依赖具体类),从而支持对象创建的稳定。它是接口抽象之后的第一步工作。典型模式......
  • 03-Go设计模式-工厂方法模式
    工厂模式方法模式示例代码/*工厂方法模式抽象工厂(AbstractFactory)角色:工厂方法模式的核心,任何工厂类都必须实现这个接口工厂(ConcreteFactory)角色:具体工厂类是抽象工......
  • 02-Go设计模式-简单工厂
    简单工厂模式示例代码/*简单工厂模式角色和职责工厂(Factory)角色:简单工厂模式的核心,它负责实现创建所有实例的内部逻辑。工厂类可以被外界直接调用,创建所需的产品对象......