C++11实现线程安全的单例模式(使用std call_once)_c++ 单例 std call_once

最新推荐文章于 2024-06-29 10:00:00 发布

2401_84976285

最新推荐文章于 2024-06-29 10:00:00 发布

阅读量272

点赞数 4

分类专栏：程序员文章标签： c语言 c++ 学习

本文链接：https://blog.csdn.net/2401_84976285/article/details/138890714

版权

程序员专栏收录该内容

39 篇文章 0 订阅

订阅专栏

网上学习资料一大堆，但如果学到的知识不成体系，遇到问题时只是浅尝辄止，不再深入研究，那么很难做到真正的技术提升。

需要这份系统化的资料的朋友，可以添加戳这里获取

一个人可以走的很快，但一群人才能走的更远！不论你是正从事IT行业的老鸟或是对IT行业感兴趣的新人，都欢迎加入我们的的圈子（技术交流、学习资源、职场吐槽、大厂内推、面试辅导），让我们一起学习成长！

Singleton() = default;

// 防止拷贝和赋值。
Singleton& operator=(const Singleton&) = delete;
Singleton(const Singleton& singleton2) = delete;

private:
static Singleton* singleton_;
};

Singleton* Singleton::singleton_ = new Singleton;

int main() {
Singleton* s1 = Singleton::GetInstance();
std::cout << s1 << std::endl;

Singleton* s2 = Singleton::GetInstance();
std::cout << s2 << std::endl;

Singleton.DestreyInstance();

return 0;
}


#### 2.懒汉模式


饿汉方式不论是否需要使用该对象都将其定义出来，可能浪费了内存，或者减慢了程序的启动速度。所以使用懒汉模式进行优化，懒汉模式即延迟构造对象，在第一次使用该对象的时候才进行new该对象。  
   
 而懒汉模式会存在线程安全问题，最出名的解决方案就是**Double-Checked Locking Pattern (DCLP)**。使用两次判断来解决线程安全问题并且提高效率。代码实现：

#include
#include

class Singleton {
public:
static Singleton* GetInstance() {
if (instance_ == nullptr) {
std::lock_guardstd::mutex lock(mutex_);
if (instance_ == nullptr) {
instance_ = new Singleton;
}
}

return instance_;

}

~Singleton() = default;

// 释放资源。
void Destroy() {
if (instance_ != nullptr) {
delete instance_;
instance_ = nullptr;
}
}

void PrintAddress() const {
std::cout << this << std::endl;
}

private:
Singleton() = default;

Singleton(const Singleton&) = delete;
Singleton& operator=(const Singleton&) = delete;

private:
static Singleton* instance_;
static std::mutex mutex_;
};

Singleton* Singleton::instance_ = nullptr;
std::mutex Singleton::mutex_;

int main() {
Singleton* s1 = Singleton::GetInstance();
s1->PrintAddress();

Singleton* s2 = Singleton::GetInstance();
s2->PrintAddress();

return 0;
}


#### 3. 懒汉模式优化


上述代码有一个问题，当程序使用完该单例，需要手动去调用Destroy()来释放该单例管理的资源。如果不去手动释放管理的资源（例如加载的文件句柄等），虽然程序结束会释放这个单例对象的内存，但是并没有调用其析构函数去关闭这些管理的资源句柄等。解决办法就是将该管理的对象用智能指针管理。代码如下：

#include
#include
#include

class Singleton {
public:
static Singleton& GetInstance() {
if (!instance_) {
std::lock_guardstd::mutex lock(mutex_);
if (!instance_) {
instance_.reset(new Singleton);
}
}

return \*instance_;

}

~Singleton() = default;

void PrintAddress() const {
std::cout << this << std::endl;
}

private:
Singleton() = default;

Singleton(const Singleton&) = delete;
Singleton& operator=(const Singleton&) = delete;

private:
static std::unique_ptr instance_;
static std::mutex mutex_;
};

std::unique_ptr Singleton::instance_;
std::mutex Singleton::mutex_;

int main() {
Singleton& s1 = Singleton::GetInstance();
s1.PrintAddress();

Singleton& s2 = Singleton::GetInstance();
s2.PrintAddress();

return 0;
}


#### 4. Double-Checked Locking Pattern存在的问题


Double-Checked Locking Pattern (DCLP)实际上也是存在严重的线程安全问题。Scott Meyers and 和Alexandrescu写的一篇文章里面专门分析了这种解决方案的问题[C++ and the Perils of Double-Checked Locking](https://bbs.csdn.net/topics/618668825)。文章截图：  
 ![这里写图片描述](https://img-blog.csdn.net/2018090322494171?watermark/2/text/aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3UwMTE3MjYwMDU=/font/5a6L5L2T/fontsize/400/fill/I0JBQkFCMA==/dissolve/70)  
 ![这里写图片描述](https://img-blog.csdn.net/20180903224953460?watermark/2/text/aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3UwMTE3MjYwMDU=/font/5a6L5L2T/fontsize/400/fill/I0JBQkFCMA==/dissolve/70)  
 ![这里写图片描述](https://img-blog.csdn.net/20180903225002252?watermark/2/text/aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3UwMTE3MjYwMDU=/font/5a6L5L2T/fontsize/400/fill/I0JBQkFCMA==/dissolve/70)


比如刚刚实现方式很容易发现其存在线程安全问题。

if (instance_ == nullptr) {  \\ 语句1
  std::lock_guard<std::mutex> lock(mutex_);
  if (instance_ == nullptr) {
    instance_ = new Singleton;  \\ 语句2
  }
}


线程安全问题产生的原因是多个线程同时读或写同一个变量时，会产生问题。  
 如上代码，对于**语句2是一个写操作**，我们用mutex来保护instance\_这个变量。但是**语句1是一个读操作**，if (instance\_ == nullptr)，这个语句是用来读取instance\_这个变量，而这个读操作是没有锁的。所以在多线程情况下，这种写法明显存在线程安全问题。  
 《C++ and the Perils of Double-Checked Locking》这篇文章中提到：

instance_ = new Singleton;


这条语句实际上做了三件事，第一件事申请一块内存，第二件事调用构造函数，第三件是将该内存地址赋给instance\_。


但是不同的编译器表现是不一样的。可能先将该内存地址赋给instance\_，然后再调用构造函数。这是线程A恰好申请完成内存，并且将内存地址赋给instance\_，但是还没调用构造函数的时候。线程B执行到语句1，判断instance\_此时不为空，则返回该变量，然后调用该对象的函数，但是该对象还没有进行构造。


#### 5. 使用std::call\_once实现单例




![img](https://img-blog.csdnimg.cn/img_convert/b7305034a4cdf9b92fba6bb52757a160.png)
![img](https://img-blog.csdnimg.cn/img_convert/58f446489eebf29efeb00bbaa4471496.png)

**网上学习资料一大堆，但如果学到的知识不成体系，遇到问题时只是浅尝辄止，不再深入研究，那么很难做到真正的技术提升。**

**[需要这份系统化的资料的朋友，可以添加戳这里获取](https://bbs.csdn.net/topics/618668825)**


**一个人可以走的很快，但一群人才能走的更远！不论你是正从事IT行业的老鸟或是对IT行业感兴趣的新人，都欢迎加入我们的的圈子（技术交流、学习资源、职场吐槽、大厂内推、面试辅导），让我们一起学习成长！**

，遇到问题时只是浅尝辄止，不再深入研究，那么很难做到真正的技术提升。**

**[需要这份系统化的资料的朋友，可以添加戳这里获取](https://bbs.csdn.net/topics/618668825)**


**一个人可以走的很快，但一群人才能走的更远！不论你是正从事IT行业的老鸟或是对IT行业感兴趣的新人，都欢迎加入我们的的圈子（技术交流、学习资源、职场吐槽、大厂内推、面试辅导），让我们一起学习成长！**