(7) 单例设计模式共享数据分析、解决,call_once

第七节 单例设计模式共享数据分析、解决,call_once

在这里插入图片描述

1.设计模式

  • 程序灵活,维护起来可能方便,用设计模式理念写出来的代码很晦涩,但是别人接管、阅读代码都会很痛苦
  • 老外应付特别大的项目时,把项目的开发经验、模块划分经验,总结整理成设计模式
  • 中国零几年设计模式刚开始火时,总喜欢拿一个设计模式往上套,导致一个小小的项目总要加几个设计模式,本末倒置
  • 设计模式有其独特的优点,要活学活用,不要深陷其中,生搬硬套

2.单例设计模式:
整个项目中,有某个或者某些特殊的类,只能创建一个属于该类的对象。
单例类:只能生成一个对象。

3.单例设计模式共享数据分析、解决
面临问题:需要在自己创建的线程中来创建单例类的对象,这种线程可能不止一个。我们可能面临GetInstance()这种成员函数需要互斥。
可以在加锁前判断m_instance是否为空,否则每次调用Singleton::getInstance()都要加锁,十分影响效率。

#include <iostream>	
#include <mutex>
using namespace	std;
mutex myMutex;
//懒汉模式
class Singleton
{
public:
	static Singleton * getInstance() {
         //双重锁定 提高效率
		if (instance == NULL) {
			lock_guard<mutex> myLockGua(myMutex);
			if (instance == NULL) {
				instance = new Singleton;
			}
		}
		return instance;
	}
private:
	Singleton() {}
	static Singleton *instance;
};
Singleton * Singleton::instance = NULL;
//饿汉模式
class Singleton2 {
public:
	static Singleton2* getInstance() {
		return instance;
	}
private:
	Singleton2() {}
	static Singleton2 * instance;
};
Singleton2 * Singleton2::instance = new Singleton2;
int main(void)
{
	Singleton * singer = Singleton::getInstance();
	Singleton * singer2 = Singleton::getInstance();
	if (singer == singer2)
		cout << "二者是同一个实例" << endl;
	else
		cout << "二者不是同一个实例" << endl;
	cout << "----------		以下 是 饿汉式	------------" << endl;
	Singleton2 * singer3 = Singleton2::getInstance();
	Singleton2 * singer4 = Singleton2::getInstance();
	if (singer3 == singer4)
		cout << "二者是同一个实例" << endl;
	else
		cout << "二者不是同一个实例" << endl;
	return 0;
}

如果觉得在单例模式new了一个对象,而没有自己delete掉,这样不合理。可以增加一个类中类CGarhuishou,new一个单例类时创建一个静态的CGarhuishou对象,这样在程序结束时会调用CGarhuishou的析构函数,释放掉new出来的单例对象。

class Singelton
{
public:
	static Singleton * getInstance() {
        if (instance == NULL) {
		    static CGarhuishou huishou;
		    instance = new Singelton;
        }
        return instance;
	}
	class CGarhuishou {
	public:
		~CGarhuishou()
		{
			if (Singleton::instance)
			{
				delete Singleton::instance;
				Singleton::instance = NULL;
			}
		}
	};
private:
	Singleton() {}
	static Singleton *instance;
};
Singleton * Singleton::instance = NULL;

4.std::call_once():
函数模板,该函数的第一个参数为标记,第二个参数是一个函数名(如a())。
功能:能够保证函数a()只被调用一次。具备互斥量的能力,而且比互斥量消耗的资源更少,更高效。
call_once()需要与一个标记结合使用,这个标记为std::once_flag;其实once_flag是一个结构,call_once()就是通过标记来决定函数是否执行,调用成功后,就把标记设置为一种已调用状态。

多个线程同时执行时,一个线程会等待另一个线程先执行。

once_flag g_flag;
class Singleton
{
public:
    static void CreateInstance()//call_once保证其只被调用一次
    {
        instance = new Singleton;
    }
    //两个线程同时执行到这里,其中一个线程要等另外一个线程执行完毕
	static Singleton * getInstance() {
         call_once(g_flag, CreateInstance);
         return instance;
	}
private:
	Singleton() {}
	static Singleton *instance;
};
Singleton * Singleton::instance = NULL;
<think>好的,用户现在的问题是关于C++单例模式中智能指针和互斥量是否可以去static修饰符,以及去掉后的影响。需要结合之前的对话和提供的引用内容来回答。 首先回顾之前的回答,我之前解释了为什么在单例模式中智能指针和互斥量需要声明为static:主要是为了全局唯一性和线程安全。用户现在进一步询问是否可以去static,并想知道原因和影响。 接下来查看用户提供的引用内容。引用[1]和[2]提到C语言中static的作用,控制变量的存储方式和可见性,静态局部变量在函数调用间保持值,静态数据成员属于类而不是实例。引用[3]提到Java中的static修饰符,类似C++,static成员属于类而非对象,存储在静态区。引用[4]讨论了全局变量和static变量的存储位置,比如BSS段。 用户的问题集中在是否可以将智能指针和互斥量去掉static,这需要分析static在C++中的作用。在单例模式中,static成员变量属于类,而不是实例,确保所有实例共享同一个变量,这正是单例模式需要的唯一性。如果去掉static,那么每个类的实例都会有各自的智能指针和互斥量,无法保证单例的唯一性,互斥量也无法正确同步不同线程的访问。 接下来需要考虑去掉static后的具体影响。例如,智能指针成为非静态成员变量,每次创建实例时都会初始化,导致多次创建单例对象,破坏单例模式。互斥量非静态的话,每个实例都有自己的锁,无法有效同步,导致线程安全问题。 另外,用户可能对static的作用和替代方案感兴趣。可能需要提到其他实现单例的方法,比如局部静态变量或者C++11后的线程安全局部静态初始化,或者使用std::call_once等机制。 还要注意用户可能存在的深层需求,比如是否想减少静态变量的使用,或者对资源管理有特别要求,需要解释不同选择的权衡,比如内存、线程安全、初始化顺序等问题。 最后,确保回答结构清晰,分点说明原因和影响,并生成相关问题帮助用户进一步学习。</think>在C++单例模式实现中,`static`修饰符对智能指针(如`std::shared_ptr`)和互斥量(如`std::mutex`)的设计有重要意义。以下是具体分析: --- ### 一、使用`static`修饰符的原因 #### 1. **智能指针的`static`修饰** - **全局唯一性** 单例模式的本质是**全局唯一实例**。通过将智能指针声明为`static`成员变量,确保所有类的实例共享同一个指针,避免多次创建对象[^1][^2]。 ```cpp class Singleton { private: static std::shared_ptr<Singleton> instance; // 所有对象共享同一实例 }; ``` - **生命周期管理** `static`成员变量的生命周期与程序一致。通过`std::shared_ptr`的引用计数机制,单例对象在程序结束时自动释放,无需手动管理[^5]。 #### 2. **互斥量的`static`修饰** - **全局同步点** 多线程环境下,所有线程需通过**同一把锁**来竞争单例的初始化权。若互斥量非静态,每个线程可能持有不同的锁,导致同步失效[^1][^4]。 ```cpp class Singleton { private: static std::mutex mutex_; // 所有线程共享同一锁 }; ``` --- ### 二、去掉`static`修饰符的影响 #### 1. **智能指针去掉`static`** - **破坏单例模式** 若智能指针为普通成员变量,每次创建`Singleton`对象时都会生成新的智能指针和实例,导致单例模式失效: ```cpp class Singleton { private: std::shared_ptr<Singleton> instance; // 非静态成员变量 }; Singleton a, b; // a.instance和b.instance为不同指针 ``` - **内存泄漏风险** 非静态智能指针的生命周期与对象绑定。若单例对象被提前销毁,可能导致程序后续访问无效内存。 #### 2. **互斥量去掉`static`** - **线程安全失效** 非静态互斥量属于类的实例,每个线程访问单例时可能持有不同的锁,导致临界区保护失效: ```cpp Singleton a, b; std::thread t1([&a] { a.getInstance(); }); // 使用a的锁 std::thread t2([&b] { b.getInstance(); }); // 使用b的锁 // 两线程可能同时进入临界区,单例被多次创建 ``` --- ### 三、替代方案与注意事项 #### 1. **使用局部静态变量(C++11后安全)** 借助C++11的**Magic Static**特性,通过函数内局部静态变量实现线程安全的单例,无需显式使用`static`成员变量: ```cpp class Singleton { public: static Singleton& getInstance() { static Singleton instance; // 线程安全的延迟初始化 return instance; } }; ``` #### 2. **双检锁优化(需原子操作支持)** 结合`std::atomic`和`std::mutex`,实现高效的双检锁模式(Double-Checked Locking): ```cpp class Singleton { public: static Singleton* getInstance() { Singleton* tmp = instance.load(std::memory_order_acquire); if (!tmp) { std::lock_guard<std::mutex> lock(mutex_); tmp = instance.load(std::memory_order_relaxed); if (!tmp) { tmp = new Singleton(); instance.store(tmp, std::memory_order_release); } } return tmp; } private: static std::atomic<Singleton*> instance; static std::mutex mutex_; }; ``` #### 3. **权衡点** | 方案 | 优点 | 缺点 | |---------------------|--------------------------|------------------------| | `static`成员变量 | 显式控制生命周期 | 需手动初始化 | | 局部静态变量 | 简洁、自动线程安全 | 依赖编译器实现 | | 双检锁模式 | 高性能、延迟初始化 | 实现复杂度高 | --- ### 四、总结 - **必须使用`static`的场景** 若需显式管理单例的生命周期或兼容C++11之前的编译器,`static`修饰的智能指针和互斥量是必要选择。 - **可替代方案** C++11及以上标准中,优先使用**局部静态变量**实现单例,既简洁又线程安全[^1]。 ---
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值