Как инициализировать переменную atom_flag, если она является членом класса?

Я пытаюсь реализовать блокировку спина с помощью atom_flag. Я знаю, что с С++ 11 мне нужно инициализировать переменную atom_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;
};

Когда я компилирую код, я получаю синтаксическую ошибку: missing ')' before '{' '. Я также вижу, что ATOMIC_FLAG_INIT определяется как {0}, но каков правильный способ записать это?

Следующие компиляции, но все равно потоки безопасны?

  SpinLock()
  {
         m_flag.clear();
  }

Ответы

Ответ 1

Visual Studio 2012 не поддерживает списки инициализаторов С++ 11 (см. страницу поддержки С++ 11)

Однако он поддерживается в Visual Studio 2013 (см. раздел "Конструкторы конструкторов initializer_list" в Унифицированные документы инициализации)

Между тем в вашем случае конструктор может просто использовать назначение m_flag = ATOMIC_FLAG_INIT;

Update: Кажется, он не тестировал вышеуказанное назначение, но с помощью m_flag.clear(); достигается тот же результат

Ответ 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 и отказ на RTM VS2013 с более простым случаем:

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
};