c++ - 移动构造函数再次被调用 C++

Question

我刚刚编写了一个移动构造函数的代码，它被再次调用以将值 2 传递到推回方法中

#include <iostream>
#include <vector>
using namespace std;
class n{
    int *ptr;
    public:
    n(int d):ptr{new int(d)}{cout<<"constuctor called for "<<d<<endl;
    }
    n(n &&s)noexcept:ptr{s.ptr}{
        s.ptr=nullptr;
        cout<<"move constructor called for "<<*ptr<<endl;}//this is being called again for 2

    ~n(){
        if(ptr==nullptr)
        cout<<"freeing storage for nullptr "<<ptr<<endl;
        else
        cout<<"freeing storage for ptr "<<*ptr<<endl;
        delete ptr;
    }
};
 int main() {
    vector<n>b;
    b.push_back(n{2});
    b.push_back(n{3});;
    return 0;
}

Answer 1

std::vector 为其数据保留一个缓冲区，该缓冲区在幕后自动管理。每次向 vector 添加一个项目时，都会检查该缓冲区的大小 - 如果耗尽，将分配新的内存。然后，所有现有元素将被复制或移动(取决于相关类型的属性)到新缓冲区中。为了形象化这一点，首先获取这个空缓冲区。

||

现在，您对 vector 调用push_back。这需要一个元素的空间。 vector 的容量为空(尚未分配缓冲区)，因此它将分配并将对象放入缓冲区中:

|-  n{2}  -|

此处，容量为一 - 没有空间容纳其他元素。当您再次调用 push_back 时，std::vector 需要更多缓冲区空间。它执行以下操作:

• 分配动态内存
• 如果所有现有元素具有 noexcept 移动构造函数，则将它们移动构造到新缓冲区中 - 否则，它们将被复制。
• 附加新元素。

old buffer:      |-  n{2}  -|
new buffer:      |-        -|-        -|
move existing:   |-  n{2}  -|-        -|
add new element: |-  n{2}  -|-   n{3} -|

当将现有元素移动到新缓冲区时，会发生第二次移动构造。