13

atomic_flag を使用してスピン ロックを実装しようとしています。C++11 では、atomic_flag 変数を初期化する必要があることはわかっていますが、コンパイルできません。私のコードは次のようになります。

class SpinLock 
{
 public:
  SpinLock()
   :m_flag(ATOMIC_FLAG_INIT)  /// syntax error : missing ')' before '{'
  {
  }

  void lock()
  {
    while (m_flag.test_and_set() == true){}
  }

  void unlock()
  {
    m_flag.clear();
  }

 private:
  SpinLock &operator=(const SpinLock &);

 private:
  std::atomic_flag    m_flag;
};

コードをコンパイルすると、'{'' の前に 'syntax error : missing ')' が表示されます。また、ATOMIC_FLAG_INIT が {0} として定義されていることもわかりますが、これを記述する正しい方法は何ですか?

以下はコンパイルされますが、それでもスレッドセーフですか?

  SpinLock()
  {
         m_flag.clear();
  }
4

2 に答える 2

14

Visual Studio 2012 は、c++11 初期化子リストをサポートしていません ( c++11 サポート ページを参照してください) 。

ただし、Visual Studio 2013 ではサポートされています ( Uniform Initialization docsの「initializer_list Constructors」セクションを参照してください) 。

一方、あなたの場合、コンストラクターは割り当てを使用できますm_flag = ATOMIC_FLAG_INIT;

更新: 上記の割り当てをテストしなかったようですが、使用しm_flag.clear();ても同じ結果が得られます

于 2013-10-29T12:26:12.973 に答える
2

本当にバグのように見えます (visual 2013 rtm)。ATOMIC_FLAG_INITは実装固有であり、 へのマクロとして解決し{0}ます。これは、Microsoft が集約ルールを使用してジョブを実行することを意味します。

それらについての cppreference からの引用: Until C++11, aggregate initialization could not be used in a constructor initializer list due to syntax restrictions.. Microsoft はまだこの動作を変更していないと結論付けています。

以下は、clang で正常に動作し、VS2013 RTM で失敗する単純なケースの例です。

struct Pod {
  int m_val;
};

Pod g_1{ 0 }; // aggregate initialization
Pod g_2{ { 0 } }; // just like ATOMIC_FLAG_INIT

struct Foo {
  Foo() : m_2 { 0 } {} // error C2664: 'Pod::Pod(const Pod &)' : cannot convert argument 1 from 'int' to 'const Pod &'
  Pod m_1{ 0 }; // error C2664: 'Pod::Pod(const Pod &)' : cannot convert argument 1 from 'int' to 'const Pod &'
  Pod m_2; // ok
};
于 2013-10-29T13:35:36.063 に答える