函数中的静态对象是否会引入潜在的竞争条件？

Question

我对以下代码感到好奇：

class MyClass
{
public:
   MyClass() : _myArray(new int[1024]) {}
   ~MyClass() {delete [] _myArray;}

private:
   int * _myArray;
};

// This function may be called by different threads in an unsynchronized manner
void MyFunction()
{
   static const MyClass _myClassObject;
   [...]
}

上面的代码中是否存在可能的竞争条件？ 具体地说，编译器是否有可能生成与“幕后”相同的代码？

void MyFunction()
{
   static bool _myClassObjectInitialized = false;
   if (_myClassObjectInitialized == false)
   {
      _myClassObjectInitialized = true;
      _myClassObject.MyClass();   // call constructor to set up object
   }
   [...]
}

...在这种情况下，如果两个线程几乎同时调用MyFunction（），那么_myArray可能会分配两次，从而导致内存泄漏？

还是以某种方式正确处理了？

Answer 1

那里绝对是可能的比赛条件。 是否真的存在一个是该死的未定义。 您不应在单线程方案中使用此类代码，因为这是糟糕的设计，但可能会导致您的应用程序在多线程中死亡。 任何像静态const这样的东西都应该放在方便的名称空间中，并在应用程序的开始处分配。

Answer 2

如果使用多个线程，请使用信号量，这就是它们的作用。