将右值按值传递给函数时，为什么不调用复制构造函数

Question

这是我不知何故错过的一件事，但我很惊讶。考虑以下代码示例：

#include <iostream>

class A
{
    int a;

public:
    A(int a) : a(a) { std::cout << "Normal constructor called." << std::endl; }
    A(const A& orig) : a(orig.a) { std::cout << "Copy constructor called." << std::endl; }
};

void testFunction1(const A arg) { std::cout << "testFunction1()" << std::endl; }
void testFunction2(const A& arg) { std::cout << "testFunction2()" << std::endl; }

int main()
{
   testFunction1(A(2));

   testFunction2(A(2));

   return 0;
}

我期望得到以下结果：

/* Normal constructor called. */
/* Copy constructor called. */
/* testFunction1() */
/* Normal constructor called. */
/* testFunction2() */

但我错了。确切的结果如下：

/* Normal constructor called. */
/* testFunction1() */
/* Normal constructor called. */
/* testFunction2() */

当我将A(2) 按值传递给testFunction1() 时，为什么没有调用复制构造函数？这是否意味着在 C++98 中通过值或引用传递右值没有区别？是优化吗？ A(2) 和 arg 完全一样 testFunction1() 中的对象吗？

Answer 1

是优化吗？

是的！它被称为 Copy Elision，如果可能，根据编译器，可以省略（绕过）副本。

因此，在您的情况下，编译器知道它可以在不调用复制构造函数的情况下逃脱，并且正是这样做的。请注意，即使您使用了arg，例如调用A 的打印成员函数，编译器仍然可以使用复制省略来进行优化。换句话说，不使用arg 并不是造成这种行为的原因。

如果您使用古老的编译器，或调整当前编译器的设置，您可能会首先看到预期的结果。

使用c++17，在这种情况下可以保证复制省略，正如 Guillaume Racicot 提到的那样。