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

问题描述

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

#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 修改的副本？

解决方法

暂无找到可以解决该程序问题的有效方法，小编努力寻找整理中！

如果你已经找到好的解决方法，欢迎将解决方案带上本链接一起发送给小编。

小编邮箱:dio#foxmail.com (将#修改为@）