4

问题

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

1 回答 1

6

支撑初始化器列表没有类型，因此它们不能被完美地转发。在这种特殊情况下，std::initializer_list<int>如果您希望所有内容都在适当的位置构造，您可以显式指定类型 ()：

misi.emplace(
  std::piecewise_construct,
  std::forward_as_tuple(2345),
  std::forward_as_tuple(std::initializer_list<int>{6, 9})
);

由于每个键和值只传递一个参数，而is not的initializer_list构造函数，您可以完全删除并使用带有两个参数的构造函数来构造：std::setexplicitpiecewise_constructemplacepair

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

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

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

不，一个临时std::pair<int, int>的被构造并传递给，它用它构造一个's （即）emplace的实例。后者是实际存储在.mapvalue_typepair<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>临时存储中执行移动。

于 2015-02-20T17:06:09.533 回答