从源代码看push_back与emplace_back
· 阅读需 7 分钟
为更好地理解这两者的区别,我决定通过源代码进行深入研究。本文将分析这两个函数的实现机制,探讨它们在性能和使用上的差异,并总结在使用时的最佳实践。
引入
最近在复习C++,正好看到 push_back
与 emplace_back
,网上的教程各有说辞,令人困惑。为了更好地理解这两者的区别,我决定自己动手看看源代码,研究研究。
首先,让我们看一个常见的观点:
vector
的函数emplace_back()
它和push_back()
函数一样,都是用来在容器尾部插入一个元素。
区别在于,使用push_back()
需要调用拷贝构造函数,而emplace_back()
则是原地构造元素,不会触发拷贝构造,因此效率更高。
我们暂且不讨论这个观点的准确性,直接来看看以下的代码示例:
std::vector<A> v;
v.reserve(10);
A tem = A(1);
// A Construction2
A tem3 = A(1);
// A Construction2
v.emplace_back(1);
// A Construction2
v.push_back(1);
// A Construction2
// A Move Construction
v.emplace_back(tem);
// A Copy Construction
v.push_back(tem);
// A Copy Construction
v.emplace_back(A(1));
// A Construction2
// A Move Construction
v.push_back(A(1));
// A Construction2
// A Move Construction
v.push_back(std::move(A(1)));
// A Construction2
// A Move Construction
v.emplace_back(std::move(A(1)));
// A Construction2
// A Move Construction
v.push_back(std::move(tem3));
// A Move Construction
v.emplace_back(std::move(tem));
// A Move Construction
从代码中我们可以明显看出,只有在直接传入参数构造时,push_back
和 emplace_back
的行为存在差异。
有小伙伴可能会疑惑,以下部分似乎有些不妥:
v.emplace_back(1);
// A Construction2
v.push_back(1); // 传入1?不应该传入A类对象吗?
// A Construction2
// A Move Construction
由此可见:
- 两者之间的区别仅在于直接构造时的使用参数传递。
- 而由于
push_back
只能接受对象,若忽略多余的构造过程,两者实际上没有本质区别。
此过程指的是
v.push_back(1);
将1
构造为A
类对象。
因此,可以得出结论:这两者在本质上并没有太大的差异,在程序员视角中,甚至可以认为没有差距。
源代码分析
1. push_back(左值)
这是 push_back
的左值引用版本,用于向 std::vector
添加元素,具体步骤如下:
push_back(const value_type& __x) {
if (this->_M_impl._M_finish != this->_M_impl._M_end_of_storage) {
_GLIBCXX_ASAN_ANNOTATE_GROW(1);
_Alloc_traits::construct(this->_M_impl, this->_M_impl._M_finish, __x);
++this->_M_impl._M_finish;
_GLIBCXX_ASAN_ANNOTATE_GREW(1);
} else {
_M_realloc_insert(end(), __x);
}
}
解析:
-
检查容量:
if (this->_M_impl._M_finish != this->_M_impl._M_end_of_storage)
_M_finish
指向当前vector
的最后一个元素的下一个位置。_M_end_of_storage
是vector
当前分配的内存的结束位置。- 当
_M_finish
不等于_M_end_of_storage
时,说明还有空间可以添加新元素。
-
构造元素:
_Alloc_traits::construct(this->_M_impl, this->_M_impl._M_finish, __x);
- 使用分配器构造一个新元素,内容与
__x
相同。 - 这实际上是调用
__x
的拷贝构造函数。
- 使用分配器构造一个新元素,内容与
-
更新状态:
++this->_M_impl._M_finish;
- 增加
_M_finish
的值,以反映新元素的添加。
- 增加
-
处理异常:
_GLIBCXX_ASAN_ANNOTATE_GROW(1)
和_GLIBCXX_ASAN_ANNOTATE_GREW(1)
用于 AddressSanitizer 的注释,帮助检测内存使用问题。
-
重新分配内存:
else
_M_realloc_insert(end(), __x);- 如果没有足够的空间,调用
_M_realloc_insert
来重新分配内存并插入元素__x
。
- 如果没有足够的空间,调用
省流:
若传入的是左值,则在Vector中调用拷贝构造函数,构造新对象。