我读到了复制省略以及它如何通过提供更直接的代码编写可能性而不考虑变量的引用来加快程序。在一个小例子中,我试图找出这种技术的局限性。
#include <iostream>
class A
{
public:
A(){}
A(const A &a) {std::cout << "Copy" << std::endl;}
};
A foo(A a)
{
return a;
}
int main(void)
{
A a = foo(foo(A()));
std::cout << std::endl;
A b;
b = foo(foo(b));
return 0;
}
输出:
Copy
Copy
Copy
Copy
Copy
在这个例子中,编译器已经删除了许多副本。但是为什么编译器不能删除所有导致 a 或 b 修改的副本?