C++中push_back与emplace_back之间的区别？

一直没搞明白push_back()和emplace_back()的区别，今天看了下libstdc++的源码，记录一下。

• allocate：gcc.gnu.org/onlinedocs/…
• push_back：gcc.gnu.org/onlinedocs/…
• emplace_back：gcc.gnu.org/onlinedocs/…

push_back()需要先构造一个临时对象__x，然后调用元素类型_Tp的 拷贝构造函数 或 移动构造函数 来初始化对象。

// GCC libstdc++ vector
void push_back(const value_type& __x) {
    if (this->_M_impl._M_finish != this->_M_impl._M_end_of_storage) {
        // 空间足够，在已开辟的内存上【拷贝构造】新对象
        this->_M_impl.construct(this->_M_impl._M_finish, __x);
        ++this->_M_impl._M_finish;
    } else {
        // 空间不足，扩容并移动/拷贝旧数据
        _M_realloc_insert(end(), __x);
    }
}void push_back(value_type&& __x) {
    if (this->_M_impl._M_finish != this->_M_impl._M_end_of_storage) {
        // 空间足够，在已开辟的内存上【移动构造】新对象
        this->_M_impl.construct(this->_M_impl, this->_M_impl._M_finish, std::move(__x));
        ++this->_M_impl._M_finish;
    } else {
        _M_realloc_insert(end(), std::move(__x));
    }
}void 
construct(pointer __p, const _Tp& __val)  
{ ::new((void *)__p) _Tp(__val); }       /* 直接进行拷贝/移动构造 */

emplace_back()接收的是元素类型_Tp的构造函数的参数，然后通过变长模版参数和完美转发，直接调用_Tp的构造函数来构建新对象，避免了构建临时对象的开销。

template<typename... _Args>
void
emplace_back(_Args&&... __args) {
    if (this->_M_impl._M_finish != this->_M_impl._M_end_of_storage) {
        // 空间足够，直接在目标内存上【就地构造】
        this->_M_impl.construct(this->_M_impl, this->_M_impl._M_finish,
                                 std::forward<_Args>(__args)...);
        ++this->_M_impl._M_finish;
    } else {
        _M_realloc_insert(end(), std::forward<_Args>(__args)...);
    }
}template<typename... _Args>              /* 可变模版参数 */ 
void
construct(pointer __p, _Args&&... __args)
{ ::new((void *)__p) _Tp(std::forward<_Args>(__args)...); } /* 完美转发 */

总结一下：

• 使用的区别：push_back()接收对象作为参数，emplace_back()接收构造函数的参数作为参数（有点绕口，理解一下）
• 实现上的区别：使用push_back()需要构建一个临时对象，然后将其作为参数传给拷贝构造函数或移动构造函数，emplace_back()会直接利用传入的参数进行原地的构造，相比之下，减少了一次对象构造的开销。