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

当我编译代码时,我在'{''之前得到'语法错误:缺少')'。我还看到 ATOMIC_FLAG_INIT 被定义为 {0},但是正确的写法是什么?

以下编译,但它仍然是线程安全的吗?

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

2 回答 2

14

Visual Studio 2012 不支持 c++11 初始值设定项列表(请参阅 c++11 支持页面

然而,它在 Visual Studio 2013 中受支持(请参阅统一初始化文档中的“initializer_list 构造函数”部分)

同时,在您的情况下,构造函数可以只使用赋值m_flag = ATOMIC_FLAG_INIT;

更新: 似乎没有测试上述分配,但使用m_flag.clear();达到了相同的结果

于 2013-10-29T12:26:12.973 回答
2

它看起来真的像一个错误(visual 2013 rtm)。ATOMIC_FLAG_INIT是特定于实现的,并作为一个宏来解决{0}。这意味着微软使用聚合规则来完成这项工作。

引用 cppreference 关于他们的内容:Until C++11, aggregate initialization could not be used in a constructor initializer list due to syntax restrictions.。我的结论是微软尚未改变这种行为。

这是一个在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 回答