`push_back`和`emplace_back`是C++标准模板库(STL)中`std::vector`容器的成员函数,它们都用于在向量的末尾添加一个元素。但是,它们之间存在一些差异,主要体现在如何构造和插入元素上。
push_back:
- `push_back`函数将一个元素添加到向量的末尾。
- 它接受一个已经构造好的对象作为参数,然后复制(或移动)该对象到向量中。
- 由于涉及到复制或移动构造,当对象构造成本较高时,`push_back`可能导致额外的性能开销。
emplace_back:
- `emplace_back`函数也是将一个元素添加到向量的末尾。
- 它是C++11中引入的,可以接受多个参数,使用这些参数直接在向量的存储空间中构造一个元素,而无需先构造一个临时对象然后再复制或移动到向量中。
- 这意味着`emplace_back`可以利用完美转发(perfect forwarding),将参数直接传递给元素构造函数,从而减少不必要的临时对象的创建,这在一些情况下可以提高性能。
简单来说,`emplace_back`的优势是它可以原地构造对象,避免了额外的拷贝或移动操作,这在元素类型没有定义移动语义,或者构造代价较大时尤其有用。然而,如果已经有一个对象实例并且只需要将其添加到向量中,使用`push_back`就足够了,因为这种情况下,性能差异可能可以忽略不计。
以下是`push_back`和`emplace_back`在使用上的一个简单对比例子。
假设有一个简单的类`MyClass`,其中有一些构造函数,并且我们要将这个类的对象放入一个`std::vector`:
#include <iostream>
#include <vector>
#include <string>
class MyClass {
public:
int a;
std::string b;
MyClass(int x, std::string y) : a(x), b(y) {
std::cout << "Constructed MyClass(" << a << ", " << b << ")" << std::endl;
}
// 拷贝构造函数
MyClass(const MyClass& other) : a(other.a), b(other.b) {
std::cout << "Copied MyClass(" << a << ", " << b << ")" << std::endl;
}
// 移动构造函数
MyClass(MyClass&& other) noexcept : a(other.a), b(std::move(other.b)) {
std::cout << "Moved MyClass(" << a << ", " << b << ")" << std::endl;
}
};
int main() {
std::vector<MyClass> vec;
std::cout << "Using push_back:" << std::endl;
vec.push_back(MyClass(1, "Test")); // 会调用构造函数和移动构造函数
std::cout << "\nUsing emplace_back:" << std::endl;
vec.emplace_back(2, "Test"); // 会直接在容器内存中构造对象
return 0;
}
在这个例子中,当使用`push_back`时,首先会调用`MyClass`的构造函数来创建一个临时对象,然后这个临时对象会被移动到向量中(如果支持移动语义)。这意味着会有至少一个构造和一个移动构造的调用。
而当使用`emplace_back`时,将直接在`std::vector`的内部存储空间中调用`MyClass`的构造函数,这个过程中不会创建临时对象,也就没有不必要的拷贝或移动操作。
输出将展示构造函数调用的差异:
Using push_back:
Constructed MyClass(1, Test)
Moved MyClass(1, Test)
Using emplace_back:
Constructed MyClass(2, Test)
注意,在实际代码中,由于编译器优化(如返回值优化或RVO),你可能不会总是看到上述的构造函数和移动构造函数的调用。但这个例子说明了两者概念上的区别以及`emplace_back`潜在的效率优势。