Std::atomic_flag作为成员变量

std::atomic_flag as member variable

本文关键字：成员 变量 flag atomic Std      更新时间：2023-10-16

在类构造函数中初始化std::atomic_flag的安全方法是什么?

这个问题似乎在问我同样的问题-除了这里的提问者是在抱怨编译器的问题。

我的问题与c++标准本身有关。根据这个站点，使用构造函数初始化语法初始化std::atomic_flag是未指定的。

std::atomic_flag static_flag = ATOMIC_FLAG_INIT; // static initialization,
// guaranteed to be available during dynamic initialization of static objects.
int main()
{
    std::atomic_flag automatic_flag = ATOMIC_FLAG_INIT; // guaranteed to work
//    std::atomic_flag another_flag(ATOMIC_FLAG_INIT); // unspecified
}

这个信息正确吗?如果是这样，我假设:

struct Foo
{
  Foo() : flag(ATOMIC_FLAG_INIT)
  { }
  std::atomic_flag flag;
};

…也未指明。那么，这是否意味着我们不能使用std::atomic_flag作为类的成员变量呢?或者如果我们简单地从类构造函数中调用std::atomic_flag::clear()是安全的吗?

关于ATOMIC_FLAG_INIT使用的措辞从N3337到N3936(当前的c++ 14草案)发生了变化。前者显示了一个示例中ATOMIC_FLAG_INIT宏在复制初始化上下文中的可能用法，这是非规范的，并且没有提到任何关于在其他初始化上下文中的用法。

N3936澄清了用法，不再将复制初始化用法作为示例列出，而是作为描述本身的一部分。

§29.7/4 (atomics.flag)

宏ATOMIC_FLAG_INIT应该这样定义:它可以被用来初始化一个atomic_flag类型的对象到clear状态。该宏可用于形式:

 atomic_flag guard = ATOMIC_FLAG_INIT;

未指定该宏是否可以用于其他初始化上下文中。对于一个完整的静态持续时间对象，初始化应该是静态的。除非用ATOMIC_FLAG_INIT初始化，否则atomic_flag对象的初始状态是set还是clear是不确定的。

此处讨论了这些更改的基本原理。

所以你是对的，在成员初始化列表中使用宏是不可靠的。解决方案是使用非静态数据成员初始化式或大括号或相等初始化式来初始化atomic_flag。然后，它将在副本初始化上下文中初始化。

struct Foo
{
  std::atomic_flag flag = ATOMIC_FLAG_INIT;
};

c++ 11标准(嗯，N1570)对ATOMIC_FLAG_INIT的定义的实际文本是

7.17.8原子标志类型和操作

…

宏ATOMIC_FLAG_INIT可以用来初始化atomic_flag清晰的状态。未显式初始化的atomic_flagATOMIC_FLAG_INIT初始状态为不确定状态。

例子
   atomic_flag guard = ATOMIC_FLAG_INIT;

c++标准使用initialize这个词泛指给变量赋初始值的所有不同方式。由于没有进一步的措辞相反，我认为atomic_flag guard(ATOMIC_FLAG_INIT)和ATOMIC_FLAG_INIT在构造函数初始化列表中的使用也是有效的，而不是未指定的。我认为你引用的网站对单个例子的解读太多了。本标准中的示例是不规范的，特别是，一个示例显示了一种方法来做某事不是意味着这是唯一可接受的方法。

相关文章：