Question

我正在尝试emplace_back进入std::vector<std::map<int, int>>，但无法找到正确的语法来执行此操作。

#include<map>
#include<vector>

int main()
{
    std::vector<std::map<int, int>> v;
    std::map<int,int> a {{1,2}};

    v.push_back({{1,2}});

    v.emplace_back({1,2});    // error
    v.emplace_back({{1,2}});  // error
    v.emplace_back(({1,2}));  // error
}

push_back在这里工作，但不是emplace_back。我怎样才能emplace_back工作？

Answer 1

emplace_back会将所有参数转发给成员类型的匹配构造函数。现在，std::map有一个初始化列表构造函数，但它需要一个std::pair<const Key, Value>列表，即std::pair<const int, int>。 push_back不是模板，因此它只需要一种类型，从而执行转换。也就是说，这里没有类型推断。

您需要明确声明您想拥有std::pair;以下应该有效：

#include<map>
#include<vector>

int main()
{
    std::vector<std::map<int, int>> v;

    v.emplace_back(std::initializer_list<std::pair<const int, int>>{
            {1,2},{3,4},{5,6}});

    return 0;
}

出于同样的原因，这不会编译：

    v.emplace_back({std::pair<const int,int>(1,2),
                    std::pair<const int,int>(3,4)});

这是因为，尽管括号括起的列表可能会产生初始化列表，但它不必。它也可以是构造函数调用或类似的东西。所以，写作

auto l = {std::pair<const int,int>(1,2),
          std::pair<const int,int>(3,4)};

为l生成初始化列表，但表达式本身可能以另一种方式使用：

std::pair<std::pair<const int, int>, std::pair<const int, int>> p =
          {std::pair<const int,int>(1,2),
          std::pair<const int,int>(3,4)}

这整件事情有点乱。

基本上，如果你有一个大括号括号列表，它可能会产生一个初始化列表或调用匹配的构造函数。在某些情况下，编译器无法确定需要哪些类型; emplace_back是其中之一（因为转发）。在其他情况下，它确实有效，因为所有类型都在表达式中定义。 E.g：

#include <vector>
#include <utility>

int main() 
{
    std::vector<std::pair<const int, int>> v = 
         {{1,2},{3,4},{5,6}};
    return 0;
}

现在它不起作用的原因是不能推断出任何类型。即emplace_back尝试推断输入类型的名称，但这是不可能的，因为大括号括号列表有几种可以描述的类型。因此，没有匹配的函数调用。

Answer 2

可以使用辅助函数实现如下：

 #include <map>
 #include <vector>

 void emplace_work_around(
    std::vector<std::map<int, int>>& v,
    std::initializer_list<std::pair<const int,int>> && item
 )
 {
    v.emplace_back(std::forward<std::initializer_list<std::pair<const int,int>>>(item));
 }

int main()
{
    std::vector<std::map<int, int>> v;

    emplace_work_around(v,{{1,2}});
}

问题出在我们写的时候：

v.emplace_back({{1,2}});  // here {{1,2}} does not have a type.

编译器无法推断出参数的类型，也无法决定调用哪个构造函数。

基本思想是当你编写像

这样的函数时

template<typename T>
void f(T) {}

并像

一样使用它

f( {1,2,3,4} ); //error

你会得到编译器错误，因为{1,2,3,4}确实有类型。

但是如果你将你的功能定义为

template<typename T>
void f(std::initializer_list<T>) {}
 f( {1,2,3,4} );

然后它完美地编译。

Answer 3

如果我理解这些问题报告的话，这似乎目前不受支持：

http://cplusplus.github.io/LWG/lwg-active.html#2089

http://cplusplus.github.io/LWG/lwg-active.html#2070

emplace_back不能使用std :: vector <std :: map <int，int =“”>＆gt;

3 个答案: