为什么复制省略是"好像"规则的一个例外

允许此优化的案例涉及临时副本。从概念上讲，这些应该没有可见的效果，但该语言允许类编写器在复制构造函数中放入他们想要的任何内容。

因此，复制构造函数有时可能会产生明显的副作用。严格地说，好像规则可能不适用。

人们认为，这种优化足够有用，危害最小，值得包含在语言中。考虑到这种优化早于移动语义，在移动语义中返回值总是被复制的。

证明事情很难，即使它们显然是真的(无论它们是真是假(。让编译器在可接受的时间内证明事情就更加困难了。然后，一些副作用可能实际上并不重要，但您将如何通知编译器？

虽然复制省略不应该违反好像规则(至少如果编译器知道在分析中要忽略哪些副作用(，但程序员可以自由地编写类型，所以无论如何都可以。

最后，在特定情况下，如果不能证明应用副本省略不会违反"好像"规则，成本可能会非常高，因为创建对象的副本可能会任意涉及，需要时间和空间。

因此，复制省略被当作规则的一个例外，不管怎样都是允许的。

现在，关于保证的副本省略，人们不得不承认，规则并不一定完全显而易见。因此，依赖它只是性能所必需的(？(，而不是正确性，这是一件好事，至少在性能要求不太严格的情况下是这样。。