没有默认构造函数和迭代器的对象向量

Question

我正在学习使用 C++ 向量，并且我不太理解以下程序的输出：

#include <iostream>
#include <vector>

using namespace std;

class Custom {
public:
    int v;

    Custom() = delete;

    explicit Custom(int v) : v{v} {};

    Custom(const Custom &) : v{4} {

    }

    friend ostream &operator<<(ostream &os, const Custom &th) {
        os << "V is " << th.v << endl;
        return os;
    }
};


int main(int argc, char *argv[]) {
    vector<Custom> c(2, Custom(3));
    c[0].v = 5;

    for (auto i: c) {
        cout << i << endl;
    }

}

我期望它产生输出，

V is 5
V is 4

但它却产生

V is 4

V is 4

我是否错过了一些明显的东西？谢谢。

Answer 1

这个基于范围的循环正在制作副本：

for (auto i: c) {
    cout << i << endl;
}

并且复制构造函数将 v 初始化为 4 （并且不进行复制）：

Custom(const Custom &) : v{4} {

}

您可以实现适当的复制构造函数或使用引用在循环中获得所需的输出：

for (const auto& i: c) {
    cout << i << endl;
}

我建议同时执行这两项操作，因为此复制构造函数无论如何都不会执行复制。编译器生成的复制构造函数应该没问题：

Custom(const Custom &) = default;

---

PS：Custom 具有已删除的默认构造函数这一事实与发布的代码并不真正相关。代码中没有任何地方默认构造 Custom。您的代码中也没有迭代器。在基于范围的循环中，i 是向量中元素的副本/引用，它不是迭代器。

Answer 2

当您编写时：

for (auto i: c) //this uses copy constructor to copy initialize each element one by one from the vector
{

}

在上面的代码片段中，向量的每个单独元素都用于在迭代向量时复制初始化名为i的临时对象。由于复制构造函数的构造函数初始值设定项列表中有 v{4}，因此您将获得上述输出。

要解决此问题，您应该将 auto i: c 替换为 auto &i: c 或 const auto &i: c ，如下所示：

for (const auto &i: c) 
{
   cout << i << endl;
}

现在向量的元素未复制到i中。相反，它们是对对象本身的引用，因此您将获得预期的输出。