emplace与insert的区别（C++11）

emplace与insert的区别（C++11）

转自时习之

C++11中大部分的容器对于添加元素除了传统的 insert 或者　pusb_back/push_front 之外都提供一个新的函数叫做　emplace。

比如如果你想要向 std::vector 的末尾添加一个数据，你可以：

std::vector<int> nums;

nums.push_back(1);

你也可以使用：

std::vector<int> nums;

nums.empace_back(1);

避免不必要的临时对象的产生

emplace 最大的作用是避免产生不必要的临时变量，因为它可以完成 in place 的构造，举个例子：

struct Foo {

    Foo(int n, double x);

};

std::vector<Foo> v;

v.emplace(someIterator, 42, 3.1416);        // 没有临时变量产生

v.insert(someIterator, Foo(42, 3.1416));    // 需要产生一个临时变量

v.insert(someIterator, {42, 3.1416});       // 需要产生一个临时变量

这是 \(emplace\) 和 \(insert\) 最大的区别点。

\(emplace\) 的语法看起来不可思议，在上 面的例子中后面两个参数自动用来构造 vector 内部的 Foo 对象。

做到这一点主要 使用了 C++11 的两个新特性 \(变参模板\) 和 \(完美转发\)。

”变参模板”使得 emplace 可以接受任意参数，这样就可以适用于任意对象的构建。

”完美转发”使得接收下来的参数 能够原样的传递给对象的构造函数，这带来另一个方便性就是即使是构造函数声明为 \(explicit\) 它还是可以正常工作，因为它不存在临时变量和隐式转换。

struct Bar {

    Bar(int a) {}

    explicit Bar(int a, double b) {}

};

int main(void)

{

    vector<Bar> bv;

    bv.push_back(1);        // 隐式转换生成临时变量

    bv.push_back(Bar(1));   // 显示构造临时变量

    bv.emplace_back(1);     // 没有临时变量

    //bv.push_back({1, 2.0});   //  无法进行隐式转换

    bv.push_back(Bar(1, 2.0));  //  显示构造临时变量

    bv.emplace_back(1, 2.0);    //  没有临时变量

    return 0;

}

map 的特殊情况

\(map\) 类型的 \(emplace\) 处理比较特殊，因为和其他的容器不同，map 的 emplace 函数把它接收到的所有的参数都转发给 \(pair\) 的构造函数。

对于一个 \(pair\) 来说，它既需要构造它的 \(key\) 又需要构造它的 \(value\)。

如果我们按照普通的 的语法使用变参模板，我们无法区分哪些参数用来构造 \(key\), 哪些用来构造 \(value\)。

比如下面的代码：

map<string, complex<double>> scp;

scp.emplace("hello", 1, 2);  // 无法区分哪个参数用来构造 key 哪些用来构造 value

                             // string s("hello", 1), complex<double> cpx(2) ???

                             // string s("hello"), complex<double> cpx(1, 2) ???

所以我们需要一种方式既可以接受异构变长参数，又可以区分 key 和 value，解决 方式是使用 C++11 中提供的 tuple。

pair<string, complex<double>> scp(make_tuple("hello"), make_tuple(1, 2));

然后这种方式是有问题的，因为这里有歧义，第一个 tuple 会被当成是 key，第二 个tuple会被当成 value。

最终的结果是类型不匹配而导致对象创建失败，为了解决 这个问题，C++11 设计了 piecewise_construct_t 这个类型用于解决这种歧义，它 是一个空类，存在的唯一目的就是解决这种歧义，全局变量 std::piecewise_construct 就是该类型的一个变量。

所以最终的解决方式如下：

pair<string, complex<double>> scp(piecewise_construct,

                                  make_tuple("hello"),

                                  make_tuple(1, 2));

当然因为 map 的 emplace 把参数原样转发给 pair 的构造，所以你需要使用同样 的语法来完成 emplace 的调用，当然你可以使用 forward_as_tuple 替代 make_tuple，该函数会帮你构造一个 tuple 并转发给 pair 构造。

map<string, complex<double>> scp;

scp.emplace(piecewise_construct,

            forward_as_tuple("hello"),

            forward_as_tuple(1, 2));

所以对于 map 来说你虽然避免了临时变量的构造，但是你却需要构建两个 tuple 。

这种 traedoff 是否值得需要代码编写者自己考虑，从方便性和代码优雅性上来说：

scp.insert({"world", {1, 2}});

这种写法都要胜过前面这个 emplace 版本。

所以个人认为对于临时变量构建代价不是 很大的对象（比如基础类型）推荐使用 insert 而不是 emplace。