为什么只有在向量中已经有一个元素时才调用移动构造函数?

Why is the move constructor only called when there is already an element in the vector?

本文关键字:元素 调用 移动 构造函数 有一个 向量 为什么      更新时间:2023-10-16

我正在尝试学习C++11中的新功能。我正在XCode中测试以下代码。

#include <iostream>
#include <string>
#include <vector>
class CClass
{
std::string s;
public:
CClass()
{
std::cout<<"Default Constructor"<<std::endl;
}
CClass(const std::string v) :s(v) {
std::cout<<"Constructor"<<std::endl;
}
CClass(const CClass& other): s(other.s) {
std::cout<<"Copy Constructor"<<std::endl;
}
CClass(CClass&& a) noexcept
{
std::cout<<"Move Constructor"<<std::endl;
s = std::move(a.s);
}
CClass& operator = (const CClass& other)noexcept
{
std::cout<<"Copy Assignment"<<std::endl;
if(this != &other)
{
s = other.s;
}
return *this;
}
CClass& operator = (CClass&& other) noexcept
{
std::cout<<"Move Assignment"<<std::endl;
if(this != &other)
{
s = std::move(other.s);
}
return *this;
}
};
int main()
{
std::vector<CClass> v;
CClass x("hello");
//v.push_back(x);
std::cout<<"--------------------"<<std::endl;
v.emplace_back("uiuiu");
std::cout<<"--------------------"<<std::endl;
}

当我取消注释推送时,我得到以下结果:

Constructor
Copy Constructor
--------------------
Constructor
Move Constructor
--------------------

否则,如果我评论它,我会得到:

Constructor
--------------------
Constructor
--------------------

我的问题是为什么在第二种情况下不调用移动构造函数?仅在第一种情况下,当 vector 最初不为空时,才会调用它。

这是因为向量中的一个元素需要移动到新的内存位置。发生这种情况的原因是新大小将超过矢量容量,因此必须为矢量分配具有新容量的新内存。

std::vector::emplace_back

如果新size()大于capacity()则所有迭代器和引用(包括过去结束的迭代器(都将失效。否则,只有过去结束迭代器失效。

迭代器和引用因同样的原因而失效:因为这些元素现在存储在内存中的新位置。

如果在第一种情况下调用reserve,您将看到没有调用任何移动构造函数:

CClass x{"hello"}; // constructor
v.reserve(2); // make space for 2 elements (you could have also used resize)
v.push_back(x); // copy constructor
v.emplace_back("uiuiu"); // constructor