1

在这个答案中，有人提到，当按值将变量传递给函数或作为函数的返回值时，不一定要调用复制构造函数。有人可以解释这种情况发生的时间和原因吗？此外，在这种情况下，编译器如何设法返回结果？

4

1 回答 1

1

如前所述，这就是Return value optimization和Copy elision。

当新创建对象然后复制对象时，可能会发生这种情况。在这种情况下，允许编译器对其进行优化，以便在正确的位置直接创建新对象，并且不需要复制（并且也不会调用复制构造函数）。

例如：

struct A {};
void test(A a) {}

int main() {
   test(A()); // probably there will be no copy here
}

对于返回，它是类似的。您创建一个新对象，然后如果您返回它，这将涉及一个副本，但允许编译器优化该副本（以及对复制构造函数的调用）。

例如：

A returnANewA() {
    return A(); // copying would take place here
}

int main() {
    A a = returnANewA(); // the compiler is allowed to do that without copying
}

编译器如何做到这一点：根据调用约定，它知道返回值必须存储在堆栈中的什么位置。在其他情况下，如果它知道函数代码，它当然会对编译器有所帮助。但这一切都取决于架构（x86 或其他）和编译器（GCC、Microsoft 或其他）。该标准只是说允许编译器省略对复制构造函数的调用。

如果您对有关调用约定的一些依赖于平台的详细信息感兴趣，这里有一些链接。但是请注意，这些细节并不重要。您所需要知道的是允许编译器优化复制构造函数调用（并且在大多数情况下会这样做）。

于 2013-10-18T10:45:35.583 回答