函数中的C++静态变量是线程安全吗？

• 探索
• 进一步
• 总结

先说结论，是线程安全，而且有double-checked locking，性能还不错。

探索

通常写C++ Singleton模式时，会很流畅的写下如下代码：

class Hello {
public:
    static Hello & instance() {
        static Hello obj;
        return obj;
    }
    
    Hello() {
        printf("constructor");
    }
    ~Hello() {
        printf("destructor");
    }
    
public:
    int x = 0;
};

那么当使用 Hello::instance() 时，是线程安全吗？ Hello 的构造函数能确保执行一次吗？

把代码扔到 Hopper 看一下

看来是有锁。那就是线程安全咯 :)

进一步

看到这几个方法

__cxa_guard_acquire
__cxa_atexit
__cxa_guard_release

__cxa_atexit 可以是为了在进程结束时调用析构函数。

一番搜索可以找到这个源码 cxa_guard.cxx

https://opensource.apple.com/source/libcppabi/libcppabi-14/src/cxa_guard.cxx

通过obj_guard 实现了一个double-checked locking

inUse会通过obj_guard指向内存的第一个地址存取0和1，实现第一次check。

Hopper中找到这个obj_guard

这个guard variable 是个全局变量。

总结

以后可以愉快的使用这个写法了

    static Hello & instance() {
        static Hello obj;
        return obj;
    }

大家喜欢的话，就关注下订阅号，以示鼓励：