C++ 单例实现 迈耶与call_once

c++ singleton implementation Meyer's vs call_once

本文关键字:call once 单例 实现 C++      更新时间:2023-10-16

嗯,我在自己的项目中使用单例。最常用的单例实现可能是 Meyer 的单例实现和使用 std::call_once 或 pthread_once 的实现。它们对于并行计算都是线程安全的

//Meyer's singleton
class MySingleton{
public:
static MySingleton& getInstance(){
static MySingleton instance;
// volatile int dummy{};
return instance;
}
private:
MySingleton()= default;
~MySingleton()= default;
MySingleton(const MySingleton&)= delete;
MySingleton& operator=(const MySingleton&)= delete;
};

//with call_once
class MySingleton{
public:
static MySingleton& getInstance(){
std::call_once(initInstanceFlag, &MySingleton::initSingleton);
// volatile int dummy{};
return *instance;
}
private:
MySingleton()= default;
~MySingleton()= default;
MySingleton(const MySingleton&)= delete;
MySingleton& operator=(const MySingleton&)= delete;
static MySingleton* instance;
static std::once_flag initInstanceFlag;
static void initSingleton(){
instance= new MySingleton;
}
};
MySingleton* MySingleton::instance= nullptr;
std::once_flag MySingleton::initInstanceFlag;

Meyer 使用局部静态变量来确保线程安全并返回实例标识,而后者是通过call_once和 reture 指针来实现的。在我的实验中,迈耶的暗示速度要快一些。但大多数项目使用call_once方法进行最基本的单例暗示,尽管该项目的一些小部分使用了迈耶的暗示。我只是想知道有什么原则可以遵循,这两种不同的暗示有什么利弊?

call_once版本保留指向实例的指针,并使用new创建它。由于指针上从未调用过delete,因此如果需要在实例析构函数中运行合理的代码,此解决方案会带来一些麻烦。除了进程退出处烦人的悬空指针之外,如果实例析构函数只是默认的析构函数,则可以考虑使用它,就像您的示例中一样。