C++移动构造函数临时对象疑问：为何比拷贝构造更具优势？

一、vec.push_back(MyClass {5})的正确执行流程 #

• 第一步：创建临时对象MyClass {5}，调用你的普通构造函数（比如你需要实现MyClass(int val) : ptr(new int(val)) {}），此时这个临时对象是右值（xvalue），持有一块动态分配的int内存。
• 第二步：vector的push_back方法会在自身内存缓冲区中构造一个MyClass对象。因为传入的是右值，所以触发你定义的移动构造函数：
  • 移动构造函数接收该临时对象的右值引用rhs，直接将rhs.ptr的地址赋值给新对象的ptr（这就是所谓的“窃取资源”）。
  • 紧接着把rhs.ptr置为nullptr，确保临时对象析构时不会释放已经被转移的资源。
• 第三步：临时对象被销毁，由于它的ptr已经是nullptr，析构函数只会执行空指针的delete，不会影响vector中对象接管的资源。

二、你对移动构造的核心误解 #

你以为移动构造函数内部会创建新的临时对象，这是错误的：

• 移动构造函数的参数MyClass &&rhs是右值引用，它直接绑定已经存在的临时对象（就是MyClass {5}），不会生成新对象。
• 移动构造的本质是资源所有权的转移，而非创建新资源再拷贝——整个过程没有额外临时对象，只是对已有对象的成员做了指针赋值操作。

三、移动构造 vs 拷贝构造的核心优势 #

你提到两种情况的构造/析构次数相同，但这只是表面现象，两者的资源操作成本完全不同：

拷贝构造的流程（假设实现了拷贝构造） #

• 同样先创建临时对象MyClass {5}。
• vector内部调用拷贝构造函数时，会新分配一块动态内存，把临时对象*ptr的值复制到新内存中（即ptr = new int(*rhs.ptr)）。
• 临时对象销毁时，释放自身持有的内存。
• 这里的问题是：同一份数据被复制了两次，浪费了内存分配和数据拷贝的时间（如果是大对象比如动态数组、长字符串，这个成本会非常高）。

移动构造的优势 #

• 无内存分配：只是把临时对象的ptr指针直接转移给vector中的对象，是O(1)的轻量操作。
• 无数据拷贝：不需要复制资源内容，仅转移所有权。
• 临时对象析构不浪费资源：因为它的ptr已被置空，析构时不会释放已被接管的资源。

简单来说，拷贝构造是“复制一份资源”，移动构造是“把我的资源直接给你，我不用了”——后者在处理持有昂贵资源的对象时，性能提升是数量级的。

内容的提问来源于stack exchange，提问作者ConventionalProgrammer