为什么复制构造函数没有被称为[复制]

Question

可能重复:< br >什么是复制省略和返回值优化？

我很难理解为什么在下面的代码中没有调用复制构造函数。

#include <iostream>

class Test
{
public:
  Test(int){std::cout << "Test()" << std::endl;}
  Test(const Test&){std::cout << "Test(const Test&)" << std::endl;}
};

int main()
{
  // Test test;
  Test test2(Test(3));

  return 0;
}

有人能解释一下为什么只调用构造函数，不调用复制构造函数吗？< br >谢谢。

Answer 1

正如其他人已经很好地提到的那样，这是因为编译器的优化。

我还没有检查过它，但你可能会编译你的代码优化，再次没有，看看汇编器代码。那么你也应该肯定地看到一些差异。

Answer 2

这是因为编译器执行了优化。允许编译器执行此类优化，尽管这不是一项要求，因此不能保证。

请注意一个重要的一点，即使最终不调用复制构造函数，它在语义上也需要可访问。也就是说，如果您将复制构造函数设为私有，则您的代码将无法编译！！这是因为语义检查是在优化阶段之前完成的，这意味着编译器首先检查复制构造函数是否可访问;如果它是可访问的，那么只有优化阶段，复制构造被省略。

Answer 3

这被称为复制省略。< br >编译器可以进行这种优化。尽管标准没有保证这一点，但是任何商业编译器都会尽可能地执行这种优化。

标准参考:

C 03 12.8.15：

[……]在以下情况下允许省略复制操作（可组合使用以消除多个复制）：

[...]

< li >当尚未绑定到引用(12.2)的临时类对象将被复制到具有相同cv-unqualified类型的类对象时，可以通过将临时对象直接构造到省略副本的目标中来省略复制操作

您可以使用一些编译器设置来禁用此优化，例如在gcc的情况下，从手册页中：

-fno-elide-constructor

C标准允许实现省略创建一个临时对象，该临时对象仅用于初始化相同类型的另一个对象。指定此选项将禁用该优化，并强制 G 在所有情况下都调用复制构造函数。

但是，使用它会使您的代码无法跨不同的编译器移植。