静态指针指向对象初始化线程安全

Question

在C ++ 11中，以下是线程安全的：

void someFunc()
{
    static MyObject object;
}

但是

呢

void someFunc()
{
    static MyObject *ptr = new MyObject();
}

这是否是线程安全的？

正如@Nawaz在评论中提到的那样，可能MyObject构造函数不是线程安全的，所以让我们将问题分成几部分：

1）如果ctor是线程安全的（它不访问任何共享状态），这个static MyObject *ptr = new MyObject();是否是线程安全的？换句话说，static int *ptr = new int(0);线程安全吗？

2）如果ctor不是线程安全的，但是只能通过从不同的线程调用someFunc来创建对象，并且构造函数从未在其他任何地方使用过，那么这是否是线程安全的呢？

Answer 1

是的，它是线程安全的。这遵循适用于第一个示例的相同保证，即函数的并发执行将初始化静态变量一次。由于静态指针必须初始化一次，并且初始化它的方式被定义为对new的调用，然后new和它调用的构造函数将被调用一次。假设new对象的构造函数没有做任何不安全的事情，那么整个事情就是安全的。

感谢Matthieu M.指出一个例外：如果初始化抛出，将在下一次（挂起或将来）调用该函数时再次尝试。它仍然是线程安全的，因为第二次尝试直到第一次尝试失败后才会开始。

话虽如此，看到这样的代码令人担忧，因为它似乎可能导致内存泄漏，可能会被像valgrind这样的自动化工具标记出来，所以最好以某种方式避免这种情况。即使是具有静态成员的类也可能更好，因为在程序结束之前使用特殊方法清理静态会更容易。