c++ - 使用 push_back 函数调用复制构造函数的 vector 内存分配调用

Question

<分区>

Answer 1

vector is resized (sequently grow) to different memory location (which should have triggered move for first push)

std::vector仅当使用 noexcept specifier 声明该移动构造函数时，才会在重新分配期间使用该移动构造函数，或者如果没有可用的复制构造函数(请参阅 std::move_if_noexcept 了解更多详细信息):

通过添加以下小改动:

MoveableClass(MoveableClass&& src) noexcept {
//                                 ~~~~~~~^
        cout << "Move constructor" << endl;
}

你会得到输出:

Copy constructor
Move constructor
Move constructor
Move constructor

noexcept说明符告诉 std::vector它可以安全地将移动语义应用于其内容的实现。否则，您将没有强大的异常安全保证，它基本上声明如果由于异常导致重新分配失败， vector 将保持完整:

§23.3.6.5 [vector.modifiers]/p1:

Requires: If an exception is thrown other than by the copy constructor, move constructor, assignment operator, or move assignment operator of T or by any InputIterator operation there are no effects. If an exception is thrown by the move constructor of a non-CopyInsertable T, the effects are unspecified.

此外，push_back成员函数不会尝试移动构造一个新元素，除非它的参数可以被一个非 const 右值引用绑定(bind)——如果不能，那么它会退回到复制构造。如果你想移动构造一个基于 mc 的新元素push_back 中的实例调用，需要传入一个mc的xvalue :

vecSource.push_back(std::move(mc));
//                  ~~~~~~~~^

输出:

Move constructor

---

Even when I initialize the vector object with size 3 why the call to copy ctor increases to 4 for one push_back(mc).

初始容量vecSource ，可以用 .capacity() 查询成员函数，大概设置为 3 在您的情况下，这意味着任何存储更多元素的尝试都会导致需要重新分配，这需要将已存储在 vector 中的所有元素复制构造到新的内存位置。

可以通过在 push_back 之前保留足够的存储空间来避免意外的重新分配。以下调用:

vector<MoveableClass> vecSource;
vecSource.reserve(4);    // reserve a storage for 4 elements
vecSource.resize(3);     // default-construct 3 elements
cout << "----" << endl;
MoveableClass mc;
vecSource.push_back(mc); // copy-construct 4th element

输出:

Default constructor
Default constructor
Default constructor
----
Default constructor
Copy constructor

---

2) point when I initilize for size 3 , does this mean 3 memory locations are initialized with class instance ?

是的，通过在 vector 的构造函数调用中提供初始容量，或者使用 resize成员函数，在 C++11 中，您将获得准备好访问和使用的默认构造(在 C++03 中 - 从默认构造的元素复制构造)元素。

---

cout << (*it).fun() << endl;

I am not able to use above code It gives error

您无法打印出声明 void 的函数调用的结果。作为返回类型。只需删除 cout部分，它将编译:

for(auto it = vecSource.begin(); it != vecSource.end(); ++it )
    (*it).fun();

---

If I comment copy constructor I am getting compile error

某些操作要求 vector 元素的类型是CopyConstructible；在您的代码中，这些是:

vecSource.push_back(mc);
//...
vector<MoveableClass> vecOne(vecSource.begin(), vecSource.end());

---

"Copy constructor Copy constructor Move constructor." I am confused by the order here. I am expecting it "Copy constructor Move constructor Copy constructor"

对于下面的一段代码:

vector<MoveableClass> vecSource;
vecSource.push_back(mc);
vecSource.push_back(mc);

根据您的输出，会发生以下情况:

1. 初始容量vector设置为 0 .
2. 第一个push_back调用:mc复制插入到新分配的内存存储(复制构造函数)。
3. 第二 push_back调用:mc试图复制插入。 vector的容量|太小了，所以分配了一个新的存储空间。 mc的拷贝被插入到新存储中(复制构造函数)。然后，将其余元素移动到新的内存位置(移动构造函数)。

我不认为标准强制要求重定位之前附加元素的复制构造的顺序，这只是它在您使用的 libstdc++ 中的实现方式。

---

旁注:

1. 首选 -std=c++11至 -std=c++0x如果编译器支持前者。

2. 您不应重复使用已移出的实例。我希望您这样做只是为了测试目的。