问题
我有一个名为std::map<int, std::set<int>>的misi。我想知道为什么misi.emplace(2345, {6, 9});和misi.emplace({2345, {6, 9}});不能按预期工作，如下所示。
代码
#include <set> // std:set
#include <map> // std::map
#include <utility> // std::piecewise_construct, std::pair
#include <tuple> // std::forward_as_tuple
#include <iostream> // std::cout, std::endl
int main()
{
// --- std::set initializer list constructor ---
std::set<int> si({42, 16});
std::cout << "si.size(): " << si.size() << std::endl; // 2
std::cout << "*si.begin(): " << *si.begin() << std::endl; // 16
// --- std::set emplace() ---
si.emplace(7);
std::cout << "si.size(): " << si.size() << std::endl; // 3
std::cout << "*si.begin(): " << *si.begin() << std::endl; // 7
std::cout << "--------" << std::endl;
上面是
std::set，您可以看到初始化列表构造函数和emplace()可以完美地工作。 // --- std::map initializer list constructor ---
std::map<int, int> mii({ {0, 42}, {1, 16} });
std::cout << "mii.size(): " << mii.size() << std::endl; // 2
std::cout << "mii[0]: " << mii[0] << std::endl; // 42
std::cout << "mii[1]: " << mii[1] << std::endl; // 16
// --- std::map emplace() ---
mii.emplace(1234, 7);
std::cout << "mii.size(): " << mii.size() << std::endl; // 3
std::cout << "mii[1234]: " << mii[1234] << std::endl; // 7
// --- std::map emplace() with std::pair() ---
mii.emplace(std::pair<int, int>(2345, 6));
std::cout << "mii.size(): " << mii.size() << std::endl; // 4
std::cout << "mii[2345]: " << mii[2345] << std::endl; // 6
std::cout << "--------" << std::endl;
上面是
std::map到int的int，您可以看到这些方法也能很好地工作，除了在上一个示例中，std::pair可能有点多余。我想知道std::pair是否就地构建。 (嗯，我想不是) // --- std::map to std::set initializer list constructor ---
std::map<int, std::set<int>> misi({ {0, {42, 16}}, {1, {7}} });
std::cout << "misi.size(): " << misi.size() << std::endl; // 2
std::cout << "*misi[0].begin(): " << *misi[0].begin() << std::endl; // 16
std::cout << "*misi[1].begin(): " << *misi[1].begin() << std::endl; // 7
对于从
std::map到std::set的构造器，初始化器列表构造函数的工作原理如上所示。但是emplace()没有! (如下所示) // --- Compilation Errors ---
//misi.emplace(2345, 6, 9);
//misi.emplace({2345, 6, 9});
//misi.emplace(2345, {6, 9});
//misi.emplace({2345, {6, 9}});
//misi.emplace(
// std::piecewise_construct,
// std::forward_as_tuple(2345),
// std::forward_as_tuple(6, 9)
//);
//misi.emplace(
// std::piecewise_construct,
// std::forward_as_tuple(2345),
// std::forward_as_tuple({6, 9})
//);
在这里，下面的语法是可以的，但是并不能完全满足我的要求:
// --- OK ---
misi.emplace(std::pair<int, std::set<int>>(2345, {6, 9}));
std::cout << "misi.size(): " << misi.size() << std::endl; // 3
std::cout << "*misi[2345].begin(): " << *misi[2345].begin() << std::endl; //6
std::cout << "--------" << std::endl;
return 0;
}
因此，似乎没有办法就地创建
std::pair，而且似乎是就地创建std::set(对吗？)。有人有什么想法吗？我正在使用的编译器是:
$ clang++ --version
Apple LLVM version 6.0 (clang-600.0.56) (based on LLVM 3.5svn)
Target: x86_64-apple-darwin13.4.0
Thread model: posix
最佳答案
大括号的初始化列表没有类型，因此无法完美转发。在这种特殊情况下，如果希望所有内容都就位构建，则可以显式指定类型(std::initializer_list<int>):
misi.emplace(
std::piecewise_construct,
std::forward_as_tuple(2345),
std::forward_as_tuple(std::initializer_list<int>{6, 9})
);
因为每个键和值仅传递一个参数，并且
initializer_list的std::set构造函数不是explicit，所以您可以完全删除piecewise_construct，并让emplace使用带有两个参数的构造函数来构造pair:misi.emplace(
2345,
std::initializer_list<int>{6, 9}
);
不，会构造一个临时的
std::pair<int, int>并将其传递给emplace，后者与之一起构造map的value_type(即pair<const int, int>)的实例。后者实际上是存储在map中的内容。不会。同样，这会创建一个临时的
std::pair<int, std::set<int>>，然后使用它来构造实际存储在map(即pair<const int, std::set<int>>)中的内容。第二种构造将从存储在临时文件中的set<int>执行移动。关于c++ - 如何在值为std::set的std::map中使用emplace()(从某物到集合的映射)？，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/28634223/