c++ - 为什么复制省略不能优化所有复制操作？

Question

我读到了复制省略以及它如何通过提供更直接的代码编写可能性而不考虑变量的引用来加快程序。在一个小例子中，我试图找出这种技术的局限性。

#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;
}

https://godbolt.org/z/xo88jq

输出：

Copy
Copy

Copy
Copy
Copy

在这个例子中，编译器已经删除了许多副本。但是为什么编译器不能删除所有导致 a 或 b 修改的副本？

标签： c++compiler-optimizationcopy-elisionreturn-by-referencereturn-by-value