我可以显式调用复制构造函数吗？

Question

我对复制构造函数的机制有点困惑。如果我错了，请纠正我：

如果一个方法将对对象的引用作为参数，并且该类定义了一个复制构造函数，则该类使用构造函数创建自身的副本，并将其传递给函数而不是对原始对象的引用？

此外，可以调用

Object * obj = new Object(&anotherObject);

创建 anotherObject 的副本吗？

Answer 1

复制构造函数仅在按值传递时调用，而不是按引用传递。通过引用，不需要复制（这是引用的一部分！），因此不会调用复制构造函数。

Answer 2

不，如果一个函数需要引用：

void f1( Object & o );   // call by reference

那么就不会进行任何复制。如果函数接受一个值：

void f2( Object o );   // call by value

则编译器使用复制构造函数创建一个副本。

是的，当您说：

Object * obj = new Object(anotherObject);   // not &anotherObject

显式使用复制构造函数（假设 anotherObject 是 Object 类型。）这里使用 new 并没有什么神奇之处 - 在这种情况下：

Object obj2(anotherObject);

复制构造函数是也用过。

Answer 3

如果方法将对对象的引用作为参数，则不会调用复制构造函数。如果是这种情况，那么对复制构造函数本身的调用将导致无限循环（因为它采用引用作为参数）。

该行不是调用复制构造函数的有效方法。它期望引用作为参数，而不是指针。

Answer 4

您进行方法调用的事实在这里并不重要。函数调用期间的引用参数初始化与独立引用初始化没有什么不同，并且受相同规则的约束。

引用初始化的规则有点复杂，但底线是，如果初始值设定项是左值（在您的情况下是方法调用中的参数）并且引用的类型与初始值设定项的类型相同（即参数的类型与实参类型相同），则引用将直接绑定。即没有创建副本。

Object a; // class type
Object &r = a; // no copying
const Object &cr = a; // no copying

如果不满足这些要求（例如，如果初始化器是右值），那么这一切都取决于。在某些情况下，复制可能并且将会发生。例如，

const Object &tr = Object();

编译器可以将其解释为

const Object &tr = Object(Object(Object(Object())));

依赖于实现的有限数量的复制。当然，出于效率原因，编译器通常会尝试不创建不必要的副本，即使允许它们复制也是如此。

一个经常引起关于编译器复制行为有效性争论的经典例子是像下面这样的表达式中的引用初始化。

Object a;
const Object &r = <some condition> ? a : Object();

熟悉 C++ 引用语义的人会理解像上面这样的表达式很可能是标准权限背后的基本原理。在引用初始化期间执行多余的复制。

Answer 5

是的，使用新的放置位置，如下所示：

Object dstObject;
new(&dstObject) Object(&anotherObject);

Answer 6

两种情况都没有。在第一种情况下，传递对该对象本身的引用，并且不创建副本。在第二种情况下，您将指针传递给 object 的构造函数，因此不会创建副本。所以对象应该有一个构造函数（而不是复制构造函数），类似于 object(anotherClass*)