使用已删除的函数 'std::pair、std::basic_string >

Question

我正在使用 std::pair 和 make_pair() 使用这对字符串创建一个 std::map 。但我收到以下编译错误：

/opt/rh/devtoolset-7/root/usr/include/c++/7/ext/new_allocator.h:140:22: error: use of deleted function 'std::pair<const std::pair<std::basic_string<char>, std::basic_string<char> >, firmware_data>::~pair()'
  destroy(_Up* __p) { __p->~_Up(); }

我所做的声明如下：

typedef std::pair<std::string, string> FirmwareKey_t;
typedef std::map<FirmwareKey_t, firmware_data_t> FirmwareDataMap_t;

其中 firmware_data_t 是一个结构对象，定义为：

typedef struct firmware_data {
  string name;
  value_t abc; // value_t is of union type
  bool configurable;
  update_status_t def; //update_status_t is of enum type

} firmware_data_t;

Union 声明：

typedef union value {
  string string_val;
  bool boolean_val;
  int64_t int_val;
  uint uint_val;
} value_t;

Answer 1

该错误表明 map 的 value_type （又名 std::pair）具有已删除的析构函数。

为此，可以使用 map::key_type 或 map::mapped_type 类型（在本例中为 FirmwareKey_t 和 firmware_data_t< /code> 分别）有一个已删除的析构函数。 FirmwareKey_t 显然不是这种情况，因此它必须是 firmware_data_t，其中包含 union 的 value_t 成员类型。 根据 cppreference：

(C++11 起) 如果联合包含具有重要特殊成员函数（复制/移动构造函数、复制/移动赋值、或析构函数）的非静态数据成员， 该函数在联合中默认被删除，需要由程序员显式定义。

这意味着您的联合体中的一个字段是一种不平凡的类型，它定义了析构函数，因此联合体本身有一个已删除的析构函数，因此任何类型使用union作为数据成员的也有一个删除的析构函数，等等。

事实上，union 中的该字段是 string string_val 字段。

因此，您需要修复您的union。由于 std::string 需要销毁，因此您需要为 union 显式定义一个析构函数来调用 std::string 的析构函数，但是仅当 string_val 是 union 的活动字段时，例如：

union value_t {
  string string_val;
  bool boolean_val;
  int64_t int_val;
  uint uint_val;

  ~value_t() {
    if (some condition indicating string_val is active) {
      string_val.~string();
    }
  }
};.

您还需要为您的 union 定义复制构造函数和复制赋值运算符， 也。

话虽这么说，更好的解决方案是使用 std::variant 而不是联合。 std::variant 是一个类型安全的union，可以自动为您处理这些详细信息。

using value_t = variant<string, bool, int64_t, uint>;