std::vector 是否有引用的复制构造函数？

Question

当我看到这样的代码并且它起作用时，我感到很惊讶：

#include <vector>
#include <iostream>

int main() {
    std::vector<std::vector<int>> vec{{1,2,3},{4,5,6}};
    std::vector<int> subvec = vec.back();
    vec.pop_back();
    for (int i : subvec) {
        std::cout << i << std::endl;
    }
}

我想知道std::vector<int> subvec = vec.back(); 其次是vec.pop_back(); . 一开始我以为它会失败。 vec.back()返回对在下一行销毁的元素的引用。 然后我认为它正在调用std::vector的复制构造函数。 但是如果vec.back()返回一个引用，这是否意味着std::vector有一个单独的指针复制构造函数？ 当我尝试使用自己的类构建示例时，这是我能够复制该行为的唯一方法。

Answer 1

鉴于std::vector<int> subvec = vec.back(); , subvec是从vec.back()复制的。 即使是vec.back()引用返回， subvec也是一个全新的对象，与原始vector （ vec.back() ）没有任何关系； vec.pop_back(); 根本不会影响它。

另一方面，如果您将subvec声明为引用，则

std::vector<int>& subvec = vec.back(); // subvec refers to vec.back() too
vec.pop_back();                        // subvec becomes dangled
for (int i : subvec) {                 // UB
    std::cout << i << std::endl;
}

但是如果vec.back()返回一个引用，这是否意味着std::vector有一个单独的指针复制构造函数？

不。对于std::vector<int> subvec = vec.back(); ，采用const std::vector<int>&的复制构造const std::vector<int>&用于初始化subvec 。 没有像引用的复制构造函数这样的东西，在重载解析中，将考虑引用本身以外的引用对象； 参考只是别名。 （并且由于其他原因没有复制构造函数接受指针，如果有一个构造函数接受指针，它就不会再次成为复制构造函数。）

将命名变量声明为引用，即已存在对象或函数的别名。

Answer 2

vec是std::vector<int>的std::vector<int> 。 subvec的初始化：

std::vector<int> subvec = vec.back(); 

将最后一个std::vector<int>元素subvec到subvec 。 您不是在subvec存储对vec的引用，而是一个副本。 这些都是独立的。

---

subvec的初始化涉及的构造函数重载为：

vector(const vector& other);

back()成员函数返回一个左值引用，它可以绑定到上面构造函数采用的const左值引用。 因此，左值引用不需要额外的构造函数重载。