为什么我们需要引用成员的复制构造函数

Question

我不明白为什么我们需要一个复制构造函数（从..开始），特别是为了引用成员。

给定一个类

Foo类{对象（&O）；};

我现在必须编写一个复制构造函数并=操作符（可能还有其他5个秘密内容），否则它将无法编译。为什么？为什么编译器能够确定它应该复制整数或一串但不是参考？指针也一样吗？它认为我可能想做什么？我必须准确地写出编译器为每个其他属性所写的内容。如果我向类中添加了一个新属性，或者更糟糕的是，其他人向类中增加了一个属性，但忘记将其添加到copy ctor和operator中，该怎么办？

Answer 1

简单的回答是：因为C++标准就是这么说的。但这不是一个很有趣的答案。

要得到一个更有趣的答案，我们可以问一个不同的问题：这种行为的理由是什么？

虽然我并不声称知道这个问题的规范答案，但如果这只是为了减少混乱，我也不会感到惊讶。作为成员的引用可能会出现意外行为，使用它们复制类可能会产生您不期望的结果。

从技术上讲，没有什么可以阻止编译器将引用的成员从源复制到目标。但很多人会期望类“重新指向”引用（类似于指针）。但引用不能被重新绘制，其基本原理在“C++的设计和演化”中给出：

Stroustrup的“C++的设计和进化”中给出了C++不允许重新绑定引用的原因：

…我过去曾被Algol68中r1=r2的引用所咬过可以通过r1赋值给引用的对象，也可以分配一个新的r1的参考值（重新绑定r1）取决于r2的类型。我希望在C++中避免此类问题。