函數中的靜態對象是否會引入潛在的競爭條件？

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

如果使用多個線程，請使用信號量，這就是它們的作用。