如何在值为 std::set（从某物映射到集合）的 std::map 中使用 emplace()？

Question

问题

我有一个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

对于 astd::map到 a 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

Answer 1

带括号的初始化列表没有类型，因此无法完美转发。在这种特殊情况下，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}
);

mii.emplace(std::pair<int, int>(2345, 6));

我想知道 std::pair 是否就地构造。（好吧，我想不是）

不，std::pair<int, int>会构造一个临时对象并将其传递给emplace，它会用它构造map's value_type（即pair<const int, int>）的实例。后者是实际存储在map.

misi.emplace(std::pair<int, std::set<int>>(2345, {6, 9}));

似乎 std::set 是就地创建的（对吗？）。

不。同样，这会创建一个临时的std::pair<int, std::set<int>>，然后用它构造实际存储在map（即pair<const int, std::set<int>>）中的内容。这第二个构造将执行从set<int>临时存储的移动。