编译器 MSVC(VS2022)
总结在最后,可以直接看看
开始直接上源代码
- push_back源代码:
_CONSTEXPR20 void push_back(const _Ty& _Val) { // insert element at end, provide strong guarantee
emplace_back(_Val);
}
_CONSTEXPR20 void push_back(_Ty&& _Val) {
// insert by moving into element at end, provide strong guarantee
emplace_back(_STD move(_Val));
//#define _STD ::std::
}
可见push_back就是直接调用emplace_back。
push_back的参数有两种情况,一种左值,一种右值。push_back参数为左值时,给emplace_back传左值参数,push_back参数为右值时,给emplace_back传右值参数。
PS. 我感觉这里可以用std::forward合并两个函数,但是源代码就是这样子的。
- emplace_back源代码
template <class... _Valty>
_CONSTEXPR20 decltype(auto) emplace_back(_Valty&&... _Val)
{...}
emplace_back其实是可变参的一个模板函数,参数 _Valty 就是容器(如vector)中元素构造函数的参数 。当构造函数的参数为元素类型的对象时,就调用复制构造函数或拷贝构造函数(emplace_back内部有forward)
至于具体构造对象的代码部分在这,有个new(placement),没啥别的重点。
template <class _Objty, class... _Types>
static _CONSTEXPR20 void construct(_Alloc&, _Objty* const _Ptr, _Types&&... _Args) {
#if _HAS_CXX20
if (_STD is_constant_evaluated()) {
_STD construct_at(_Ptr, _STD forward<_Types>(_Args)...);
} else
#endif // _HAS_CXX20
{
//在此处为要存放的对象申请空间,当然是placement_new而不是new
//因为vector的capacity有备用空间的
::new (_Voidify_iter(_Ptr)) _Objty(_STD forward<_Types>(_Args)...);
}
}
总结:
其实就是push_back()只能接受固定类型的参数,类型就是容器中元素类型。你push_back中输入的其他参数会在传参前,通过构造函数,将其隐性转化为容器中的元素。
之后调用emplace_back()。
emplace_back()根据接收到的参数直接调用构造函数,可以是拷贝构造函数,也可以是使用别的参数的
构造函数。反正是可变参模板,任性。(注意是会用forward处理的)