如何降低Meyers单例的性能开销？

原Meyers单例实现 #

Foo& getSingleton() {
    static Foo singleton;
    return singleton;
}

原实现特性 #

• 线程安全：C++11及以后标准保证局部静态变量的初始化是线程安全的，内部会通过原子标志和分支控制初始化流程
• 存在分支判断：每次调用函数时都会检查静态变量是否已初始化
• 解决静态初始化顺序问题：完美规避了全局静态变量的初始化顺序混乱问题

但在单线程环境下，这种默认的线程安全机制带来的原子操作和分支判断会产生不必要的性能开销。以下是业界常用的优化方法：

1. 利用编译宏关闭线程安全检查 #

主流编译器提供了编译选项，可在单线程编译时禁用局部静态变量的线程安全初始化逻辑：

• GCC/Clang：使用-fno-threadsafe-statics编译选项，直接去掉原子标志和分支检查代码
• MSVC：通过_DISABLE_THREAD_SAFE_STATICS宏禁用线程安全的静态变量初始化

2. 饿汉式提前初始化 #

放弃懒加载特性，将单例实例改为全局静态变量，在程序启动阶段完成初始化，完全避免运行时的分支和原子检查：

// 全局作用域初始化，程序启动时完成构造
static Foo singleton;
Foo& getSingleton() {
    return singleton;
}

这种方式单线程下无额外开销，但会增加程序启动时间，若单例构造代价较高可能影响启动性能，需注意依赖的全局变量初始化顺序。

3. 手动实现单线程无分支懒加载 #

在单线程环境下，简化初始化逻辑，去掉原子操作，仅保留首次调用的分支判断：

Foo& getSingleton() {
    static Foo* singleton = nullptr;
    if (!singleton) {
        singleton = new Foo();
    }
    return *singleton;
}

仅适用于单线程场景，多线程下会存在竞态风险，但单线程下后续调用可直接返回实例，无额外分支开销。

4. 模板封装的环境适配单例 #

通过模板技术封装单例逻辑，针对单线程场景特化实现，去掉线程安全相关代码：

template<bool ThreadSafe = true>
class Singleton {
public:
    static Foo& getInstance() {
        static Foo instance;
        return instance;
    }
};

// 单线程特化版本
template<>
class Singleton<false> {
private:
    static Foo* instance_;
public:
    static Foo& getInstance() {
        if (!instance_) {
            instance_ = new Foo();
        }
        return *instance_;
    }
};

Foo* Singleton<false>::instance_ = nullptr;

// 单线程环境使用
using SingleThreadSingleton = Singleton<false>;

可根据运行环境选择对应版本，单线程特化版本完全去除原子标志和冗余分支。

内容的提问来源于stack exchange，提问作者blonded04