C++ 单例模式总结与剖析

时间 2019-12-09

标签 c++ 模式总结剖析栏目 C&C++ 繁體版

原文原文链接

目录html

C++ 单例模式总结与剖析

C++ 单例模式总结与剖析

单例多是最经常使用的简单的一种设计模式，实现方法多样，根据不一样的需求有不一样的写法; 同时单例也有其局限性，所以有不少人是反对使用单例的。本文对C++ 单例的常见写法进行了一个总结, 包括懒汉式、线程安全、单例模板等；按照从简单到复杂，最终回归简单的的方式按部就班地介绍，而且对各类实现方法的局限进行了简单的阐述，大量用到了C++ 11的特性如智能指针, magic static，线程锁; 从头至尾理解下来，对于学习和巩固C++语言特性仍是颇有帮助的。本文的所有代码在 g++ 5.4.0 编译器下编译运行经过，能够在个人github 仓库中找到。ios

1、什么是单例

单例 Singleton 是设计模式的一种，其特色是只提供惟一一个类的实例,具备全局变量的特色，在任何位置均可以经过接口获取到那个惟一实例;
具体运用场景如：git

设备管理器，系统中可能有多个设备，可是只有一个设备管理器，用于管理设备驱动;
数据池，用来缓存数据的数据结构，须要在一处写，多处读取或者多处写，多处读取;

2、C++单例的实现

2.1 基础要点

全局只有一个实例：static 特性，同时禁止用户本身声明并定义实例（把构造函数设为 private）
线程安全
禁止赋值和拷贝
用户经过接口获取实例：使用 static 类成员函数

2.2 C++ 实现单例的几种方式

2.2.1 有缺陷的懒汉式

懒汉式(Lazy-Initialization)的方法是直到使用时才实例化对象，也就说直到调用get_instance() 方法的时候才 new 一个单例的对象。好处是若是被调用就不会占用内存。程序员

#include <iostream>
// version1:
// with problems below:
// 1. thread is not safe
// 2. memory leak

class Singleton{
private:
    Singleton(){
        std::cout<<"constructor called!"<<std::endl;
    }
    Singleton(Singleton&)=delete;
    Singleton& operator=(const Singleton&)=delete;
    static Singleton* m_instance_ptr;
public:
    ~Singleton(){
        std::cout<<"destructor called!"<<std::endl;
    }
    static Singleton* get_instance(){
        if(m_instance_ptr==nullptr){
              m_instance_ptr = new Singleton;
        }
        return m_instance_ptr;
    }
    void use() const { std::cout << "in use" << std::endl; }
};

Singleton* Singleton::m_instance_ptr = nullptr;

int main(){
    Singleton* instance = Singleton::get_instance();
    Singleton* instance_2 = Singleton::get_instance();
    return 0;
}

运行的结果是github

constructor called!

能够看到，获取了两次类的实例，却只有一次类的构造函数被调用，代表只生成了惟一实例，这是个最基础版本的单例实现，他有哪些问题呢？面试

线程安全的问题,当多线程获取单例时有可能引起竞态条件：第一个线程在if中判断 m_instance_ptr是空的，因而开始实例化单例;同时第2个线程也尝试获取单例，这个时候判断m_instance_ptr仍是空的，因而也开始实例化单例;这样就会实例化出两个对象,这就是线程安全问题的由来; 解决办法:加锁
内存泄漏. 注意到类中只负责new出对象，却没有负责delete对象，所以只有构造函数被调用，析构函数却没有被调用;所以会致使内存泄漏。解决办法：使用共享指针;

所以，这里提供一个改进的，线程安全的、使用智能指针的实现;segmentfault

2.2.2 线程安全、内存安全的懒汉式单例（智能指针，锁）

#include <iostream>
#include <memory> // shared_ptr
#include <mutex>  // mutex

// version 2:
// with problems below fixed:
// 1. thread is safe now
// 2. memory doesn't leak

class Singleton{
public:
    typedef std::shared_ptr<Singleton> Ptr;
    ~Singleton(){
        std::cout<<"destructor called!"<<std::endl;
    }
    Singleton(Singleton&)=delete;
    Singleton& operator=(const Singleton&)=delete;
    static Ptr get_instance(){

        // "double checked lock"
        if(m_instance_ptr==nullptr){
            std::lock_guard<std::mutex> lk(m_mutex);
            if(m_instance_ptr == nullptr){
              m_instance_ptr = std::shared_ptr<Singleton>(new Singleton);
            }
            return m_instance_ptr;
        }
    }


private:
    Singleton(){
        std::cout<<"constructor called!"<<std::endl;
    }
    static Ptr m_instance_ptr;
    static std::mutex m_mutex;
};

// initialization static variables out of class
Singleton::Ptr Singleton::m_instance_ptr = nullptr;
std::mutex Singleton::m_mutex;

int main(){
    Singleton::Ptr instance = Singleton::get_instance();
    Singleton::Ptr instance2 = Singleton::get_instance();
    return 0;
}

运行结果以下，发现确实只构造了一次实例，而且发生了析构。设计模式

constructor called!
destructor called!

shared_ptr和mutex都是C++11的标准，以上这种方法的优势是缓存

基于 shared_ptr, 用了C++比较倡导的 RAII思想，用对象管理资源,当 shared_ptr 析构的时候，new 出来的对象也会被 delete掉。以此避免内存泄漏。
加了锁，使用互斥量来达到线程安全。这里使用了两个 if判断语句的技术称为双检锁；好处是，只有判断指针为空的时候才加锁，避免每次调用 get_instance的方法都加锁，锁的开销毕竟仍是有点大的。

不足之处在于：使用智能指针会要求用户也得使用智能指针，非必要不该该提出这种约束; 使用锁也有开销; 同时代码量也增多了，实现上咱们但愿越简单越好。安全

还有更加严重的问题，在某些平台（与编译器和指令集架构有关），==双检锁会失效==！具体能够看这篇文章，解释了为何会发生这样的事情。

所以这里还有第三种的基于 Magic Staic的方法达到线程安全

2.2.3 最推荐的懒汉式单例(magic static )——局部静态变量

#include <iostream>

class Singleton
{
public:
    ~Singleton(){
        std::cout<<"destructor called!"<<std::endl;
    }
    Singleton(const Singleton&)=delete;
    Singleton& operator=(const Singleton&)=delete;
    static Singleton& get_instance(){
        static Singleton instance;
        return instance;

    }
private:
    Singleton(){
        std::cout<<"constructor called!"<<std::endl;
    }
};

int main(int argc, char *argv[])
{
    Singleton& instance_1 = Singleton::get_instance();
    Singleton& instance_2 = Singleton::get_instance();
    return 0;
}

运行结果

constructor called!
destructor called!

这种方法又叫作 Meyers' SingletonMeyer's的单例，是著名的写出《Effective C++》系列书籍的做者 Meyers 提出的。所用到的特性是在C++11标准中的Magic Static特性：

If control enters the declaration concurrently while the variable is being initialized, the concurrent execution shall wait for completion of the initialization.
若是当变量在初始化的时候，并发同时进入声明语句，并发线程将会阻塞等待初始化结束。

这样保证了并发线程在获取静态局部变量的时候必定是初始化过的，因此具备线程安全性。

C++静态变量的生存期是从声明到程序结束，这也是一种懒汉式。

这是最推荐的一种单例实现方式：

经过局部静态变量的特性保证了线程安全 (C++11, GCC > 4.3, VS2015支持该特性);
不须要使用共享指针，代码简洁；
注意在使用的时候须要声明单例的引用 Single& 才能获取对象。

另外网上有人的实现返回指针而不是返回引用

static Singleton* get_instance(){
    static Singleton instance;
    return &instance;
}

这样作并很差，理由主要是没法避免用户使用delete instance致使对象被提早销毁。仍是建议你们使用返回引用的方式。

2.2.4 函数返回引用

有人在网上提供了这样一种单例的实现方式；

#include <iostream>

class A
{
public:
    A() {
        std::cout<<"constructor" <<std::endl;
    }
    ~A(){
        std::cout<<"destructor"<<std::endl;
    }
};


A& ret_singleton(){
    static A instance;
    return instance;
}

int main(int argc, char *argv[])
{
    A& instance_1 = ret_singleton();
    A& instance_2 = ret_singleton();
    return 0;
}

严格来讲，这不属于单例了，由于类A只是个寻常的类，能够被定义出多个实例，可是亮点在于提供了ret_singleton的方法，能够返回一个全局（静态）变量，起到相似单例的效果，这要求用户必须保证想要获取全局变量A ，只经过ret_singleton()的方法。

以上是各类方法实现单例的代码和说明，解释了各类技术实现的初衷和缘由。这里会比较推荐 C++11 标准下的 2.2.3 的方式，即使用static local的方法，简单的理由来讲是由于其足够简单却知足全部需求和顾虑。

在某些状况下，咱们系统中可能有多个单例，若是都按照这种方式的话，其实是一种重复，有没有什么方法能够只实现一次单例而可以复用其代码从而实现多个单例呢？很天然的咱们会考虑使用模板技术或者继承的方法，
在个人博客中有介绍过如何使用单例的模板。

2.3 单例的模板

2.3.1 CRTP 奇异递归模板模式实现

代码示例以下：

// brief: a singleton base class offering an easy way to create singleton
#include <iostream>

template<typename T>
class Singleton{
public:
    static T& get_instance(){
        static T instance;
        return instance;
    }
    virtual ~Singleton(){
        std::cout<<"destructor called!"<<std::endl;
    }
    Singleton(const Singleton&)=delete;
    Singleton& operator =(const Singleton&)=delete;
protected:
    Singleton(){
        std::cout<<"constructor called!"<<std::endl;
    }

};
/********************************************/
// Example:
// 1.friend class declaration is requiered!
// 2.constructor should be private


class DerivedSingle:public Singleton<DerivedSingle>{
   // !!!! attention!!!
   // needs to be friend in order to
   // access the private constructor/destructor
   friend class Singleton<DerivedSingle>;
public:
   DerivedSingle(const DerivedSingle&)=delete;
   DerivedSingle& operator =(const DerivedSingle&)= delete;
private:
   DerivedSingle()=default;
};

int main(int argc, char* argv[]){
    DerivedSingle& instance1 = DerivedSingle::get_instance();
    DerivedSingle& instance2 = DerivedSingle::get_instance();
    return 0;
}

以上实现一个单例的模板基类，使用方法如例子所示意，子类须要将本身做为模板参数T 传递给 Singleton<T> 模板; 同时须要将基类声明为友元，这样才能调用子类的私有构造函数。

基类模板的实现要点是：

构造函数须要是 protected，这样子类才能继承；
使用了奇异递归模板模式CRTP(Curiously recurring template pattern)
get instance 方法和 2.2.3 的static local方法一个原理。
在这里基类的析构函数能够不须要 virtual ，由于子类在应用中只会用 Derived 类型，保证了析构时和构造时的类型一致

2.3.2 不须要在子类声明友元的实现方法

在 stackoverflow上，有大神给出了不须要在子类中声明友元的方法，在这里一并放出;精髓在于使用一个代理类 token，子类构造函数须要传递token类才能构造，可是把 token保护其起来，而后子类的构造函数就能够是公有的了，这个子类只有 Derived(token)的这样的构造函数，这样用户就没法本身定义一个类的实例了，起到控制其惟一性的做用。代码以下。

// brief: a singleton base class offering an easy way to create singleton
#include <iostream>

template<typename T>
class Singleton{
public:
    static T& get_instance() noexcept(std::is_nothrow_constructible<T>::value){
        static T instance{token()};
        return instance;
    }
    virtual ~Singleton() =default;
    Singleton(const Singleton&)=delete;
    Singleton& operator =(const Singleton&)=delete;
protected:
    struct token{}; // helper class
    Singleton() noexcept=default;
};


/********************************************/
// Example:
// constructor should be public because protected `token` control the access


class DerivedSingle:public Singleton<DerivedSingle>{
public:
   DerivedSingle(token){
       std::cout<<"destructor called!"<<std::endl;
   }

   ~DerivedSingle(){
       std::cout<<"constructor called!"<<std::endl;
   }
   DerivedSingle(const DerivedSingle&)=delete;
   DerivedSingle& operator =(const DerivedSingle&)= delete;
};

int main(int argc, char* argv[]){
    DerivedSingle& instance1 = DerivedSingle::get_instance();
    DerivedSingle& instance2 = DerivedSingle::get_instance();
    return 0;
}

2.3.3 函数模板返回引用

在 2.2.4 中提供了一种类型的全局变量的方法，能够把一个通常的类，经过这种方式提供一个相似单例的
全局性效果（可是不能阻止用户本身声明定义这样的类的对象）;在这里咱们把这个方法变成一个 template 模板函数，而后就能够获得任何一个类的全局变量。

#include <iostream>

class A
{
public:
    A() {
        std::cout<<"constructor" <<std::endl;
    }
    ~A(){
        std::cout<<"destructor"<<std::endl;
    }
};

template<typename T>
T& get_global(){
    static T instance;
    return instance;
}

int main(int argc, char *argv[])
{
    A& instance_1 = get_global<A>();
    A& instance_2 = get_global<A>();
    return 0;
}

能够看到这种方式确实很是简洁，同时类仍然具备通常类的特色而不受限制，固然也所以失去了单例那么强的约束（禁止赋值、构造和拷贝构造）。
这里把函数命名为 get_global() 是为了强调，这里能够经过这种方式获取获得单例最重要的全局变量特性；可是并非单例的模式。

3、什么时候应该使用或者不使用单例

根据stackoverflow上的一个高票答案 singleton-how-should-it-be-used：

You need to have one and only one object of a type in system
==你须要系统中只有惟一一个实例存在的类的全局变量的时候才使用单例==。

若是使用单例，应该用什么样子的
How to create the best singleton:
- The smaller, the better. I am a minimalist
- Make sure it is thread safe
- Make sure it is never null
- Make sure it is created only once
- Lazy or system initialization? Up to your requirements
- Sometimes the OS or the JVM creates singletons for you (e.g. in Java every class definition is a singleton)
- Provide a destructor or somehow figure out how to dispose resources
- Use little memory
  ==越小越好，越简单越好，线程安全，内存不泄露==

反对单例的理由

固然程序员是分流派的，有些是反对单例的，有些人是反对设计模式的，有些人甚至连面向对象都反对 :).

反对单例的理由有哪些：

参考文章

在本文写做的过程当中参考了一些博客和stackoverflow 的回答，以超连接的方式体如今文中。另外还有一些我以为很是精彩的回答，放在下面供读者拓展阅读

C++ 单例模式总结与剖析

C++ 单例模式总结与剖析

1、什么是单例

2、C++单例的实现

2.1 基础要点

2.2 C++ 实现单例的几种方式

2.2.1 有缺陷的懒汉式

2.2.2 线程安全、内存安全的懒汉式单例 （智能指针，锁）

2.2.3 最推荐的懒汉式单例(magic static )——局部静态变量

2.2.4 函数返回引用

2.3 单例的模板

2.3.1 CRTP 奇异递归模板模式实现

2.3.2 不须要在子类声明友元的实现方法

2.3.3 函数模板返回引用

3、什么时候应该使用或者不使用单例

反对单例的理由

参考文章

2.2.2 线程安全、内存安全的懒汉式单例（智能指针，锁）