返回值优化（RVO）不是一个错误吗？

Question

我可能问了一个愚蠢的问题，但我在此处查看了 RVO 的维基百科页面，并且无法停止想知道这种行为是否错误。我在我的机器上尝试过，尽管有优化级别，但 RVO 已完全启动。如果构造函数中确实发生了大的事情怎么办？我知道不应该，但如果呢？我不明白为什么当构造函数中有副作用时 RVO 仍然会发生。

编辑：-fno-elide-constructors 似乎停止了 RVO。但问题仍然存在。

EDIT2：更严肃地说，有多少人知道这样的事情？它可能在标准中，但在我看来它仍然是一个非常丑陋的功能。至少编译器应该默认禁用它，并为了解这一点的人提供一个开关。 :)

编辑 3：我仍然坚持认为这真的很糟糕。 :)。我不认为我知道任何其他像这样直接违背语言语法的语言约束。其他一切都会引发编译器或链接器错误，对吧？

Answer 1

该标准规定，与程序的可观察状态有关的操作不得被优化掉，除了复制构造某些情况。您不能依赖复制构造函数来执行，即使它们具有您期望看到的副作用（例如，控制台输出）。

Answer 2

正如其他答案中所述，编译器甚至可以优化不平凡的复制构造函数和赋值运算符。

15.8.12

当满足某些条件时，允许实现省略类对象的复制构造，即使
对象的复制构造函数和/或析构函数有副作用。在这种情况下，实施将处理
省略的复制操作的源和目标只是引用同一对象的两种不同方式，并且
该对象的销毁发生在两个对象在没有该对象的情况下会被销毁的较晚时间
优化。在以下情况下允许省略复制操作（可以组合使用）
消除多个副本）：

——在具有类返回类型的函数的 return 语句中，当表达式是非易失性的名称时
具有与函数返回类型相同的 cv-unqualified 类型的自动对象，可以省略复制操作
通过直接将自动对象构造到函数的返回值中

——当一个尚未绑定到引用（12.2）的临时类对象被复制到一个类对象时
相同的cv-unqualified类型，可以通过直接构造临时对象来省略复制操作
省略副本的目标

Answer 3

定义“错误”。 C++ 语言明确允许这种优化，即使它是可观察到的。如果您的程序的行为取决于特定的实现，那么不幸的是您使用的不是 ISO C++，而是某种方言。