从函数返回的对象在不使用时是否仍然创建？

Question

考虑以下代码。当 doStuff() 被调用但没有使用返回值时会发生什么？ SomeClass 是否仍然创建？当然，创建本身可能会产生重要的副作用，但是复制构造函数也可以，并且它们在 RVO / 复制省略中仍然被省略。

SomeClass doStuff(){
    //...do stuff
    return SomeClass( /**/);
}

SomeClass some_object = doStuff();
doStuff(); //What happens here?

（编辑：用 GCC -O3 对此进行了测试。对象被构造然后立即销毁）

Answer 1

我觉得对 RVO 和复制省略存在误解。这并不意味着没有创建函数的返回值。它总是被创建的，这不是实现可以逃避的事情。

在删除副本方面，唯一的余地是削减中间人，尽管有副作用。当您使用调用结果初始化对象时，标准允许插入目标对象，以便函数直接初始化。

如果您不提供目标对象（通过使用结果），则必须将临时对象物化并销毁，作为包含函数调用的完整表达式的一部分。

所以用你的例子来玩一下：

doStuff(); // An object is created and destroyed as part of temporary materialization
           // Depending on the compilers analysis under the as-if rule, there may be
           // further optimization which gets rid of it all. But there is an object there 
           // formally.

std::rand() && (doStuff(), std::rand());
// Depending on the result of std::rand(), this may or may not create an object.
// If the left sub-expression evaluates to a falsy value, no result object is materialized.
// Otherwise, one is materialized before the second call to std::rand() and 
// destroyed after it.

Answer 2

编译器在某些情况下可能会忽略不必要的副本，即使它有副作用，是的。

编译器可能不会忽略一个对象的整个存在，如果它有副作用的话。

如果它没有副作用，那么就无法观察到任何结果，因此存在与否实际上是一个非问题。

tl;dr：标准列出了非常具体的省略机会，这不是其中之一。