c++ - 在 std::map 中，如何编写分配器来接受键作为值的构造函数参数？

Question

例如:

#include <map>
class A {
 public:
  A(int i) {}
};

std::map<int, A> as;

int main() {
  A& a = as[1];
}

此代码将导致无法编译，因为 A没有默认构造函数。
那么如何(或者我可以？)编写一个分配器，它将创建一个 A通过使用 1作为构造函数参数？

Answer 1

您可以为 try_emplace 添加一个包装器试图安置一个新的A给定键的元素(如果它不存在)，使用键的值作为 try_emplace转发论据。您可以在 if 中的初始化语句中组合结构化绑定(bind)。语句可以巧妙地获取新插入的元素或访问预先存在的元素。

#include <iostream>
#include <map>
#include <utility>

struct A {
  A(int i) : i_(i) {}
  int i_;
};

template <typename Key>
auto try_emplace_key_as_arg(std::map<Key, A> &m, Key &&key) {
  return m.try_emplace(key, std::forward<Key>(key));
}

template <typename Key>
void try_emplace_with_diagnostics(std::map<Key, A> &m, Key &&key) {
  if (auto [it, was_inserted] =
          try_emplace_key_as_arg(m, std::forward<Key>(key));
      was_inserted) {
    std::cout << "\nNew: " << it->second.i_;
  } else {
    std::cout << "\nAlready existed: " << it->second.i_;
  }
}

int main() {
  std::map<int, A> as{{2, A{2}}};
  try_emplace_with_diagnostics(as, 1); // New: 1
  try_emplace_with_diagnostics(as, 2); // Already existed: 2
}