无法使用具有显式实例化的 std::atomic 成员编译结构

Question

我正在探索 std::atomic 在跨翻译单元的结构中的使用，并将运行转化为构造函数编译问题。当我尝试使用显式实例化时，编译器说它们不匹配。如何匹配显式实例化和 A 构造函数？

#include <string>
#include <atomic>
#include <map>

struct A
{
  A( std::string strArg, bool onOffArg ) // added constuctor after compiler complained it couldn't find one that matched
    : str { strArg }, onOff { onOffArg } {}
  ~A() {}

  std::string str {};
  std::atomic< bool > onOff { false }; // (see Edit1, Remy Lebeau). error C2440: 'initializing': cannot convert from 'initializer list' to 'std::map<int,A,std::less<int>,std::allocator<std::pair<const int,A>>>', 'No constructor could take the source type, or constructor overload resolution was ambiguous'
};
A( const A& oldA ) // (see Edit2, Eugene)
{
  str = oldA.str;
  onOff.store( oldA.onOff.load() );
}


int main()
{
  std::map< int, A > aMap
  {
    { 1, { "One", false } } // assuming inner braces are a match for A ctor
  };
}

编辑1：修复了原子构造函数。

编辑2：复制 ctor 丢失（参见对 Eugene 评论的回复）。此外，需要使用 atomic 的 store 和 load 而不是在复制构造函数中分配。

Answer 1

直接的问题是 struct A 是不可复制和不可移动的：它自动生成的复制和移动 ctors 被删除，因为 std::atomic 是不可复制和不可移动的。可以创建具有不可移动值类型的映射，但禁用其上的许多操作，包括从初始化列表构造。

根本的设计问题是您决定使用 std::atomicflag 作为结构的一部分。在多线程环境中，您可能希望同步所有结构成员的更新。在这种情况下，最好在结构中包含一个非原子标志，并使用互斥锁保护修改映射的操作。

因此，您的结构可能只是

struct A
{
   std::string str;
   bool onOff;
};

然后你制作了一个包含 std::map< int, A > 和互斥体的包装器 class，使用包含互斥体锁的非常量方法。

无法使用具有显式实例化的 std::atomic 成员编译结构

can't compile struct with std::atomic member with explicit instantiation

c++

initializer-list

explicit

stdatomic