c++ - Meyers 实现的 Singleton 模式线程安全吗？

Question

Singleton(Meyers 的 Singleton)线程的以下使用延迟初始化的实现是否安全？

static Singleton& instance()
{
     static Singleton s;
     return s;
}

如果不是，为什么以及如何使其线程安全？

Answer 1

在 C++11 ，它是线程安全的。根据standard , §6.7 [stmt.dcl] p4:

If control enters the declaration concurrently while the variable is being initialized, the concurrent execution shall wait for completion of the initialization.

GCC 和 VS 对该功能的支持( Dynamic Initialization and Destruction with Concurrency ，也称为 Magic Statics on MSDN )如下:

• Visual Studio:从 Visual Studio 2015 开始支持
• GCC:从 GCC 4.3 开始支持

感谢@Mankarse 和@olen_gam 的评论。

---

在 C++03 ，这段代码不是线程安全的。 Meyers 有一篇文章叫做 "C++ and the Perils of Double-Checked Locking"其中讨论了该模式的线程安全实现，结论或多或少是(在 C++03 中)围绕实例化方法的完全锁定基本上是确保所有平台上正确并发的最简单方法，而大多数形式的 double -checked 锁定模式变体可能会受到 race conditions on certain architectures 的影响, 除非指令与策略性位置的内存屏障交错。