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

问题描述

我正在探索在跨翻译单元的结构中使用 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 而不是assign。

解决方法

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

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

所以，你的结构可能只是

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

然后你创建一个包含 std::map< int,A > 和互斥锁的包装类，非常量方法包含对互斥锁的锁。

c++explicit explicit initializer-list stdatomic