c++ - 如果左值不再在其定义范围内使用，编译器是否允许将左值转换为右值引用？

Question

考虑以下：

ComplexObject foo()
{
    ComplexObject temp;
    //Do things with temp
    ComplexObject result(temp, SOME_OTHER_SETTING); //1
    //Do things with result. Do not use temp at all
    return result; //2
}

ComplexObject foo()
{
    ComplexObject temp;
    //Do things with temp
    ComplexObject result(std::move(temp), SOME_OTHER_SETTING); //1
    //Do things with result. Do not use temp at all
    return std::move(result); //2
}

假设 ComplexObject 有一个移动构造函数，它比它的复制构造函数效率高得多。

是否允许编译器有效地将第一个代码转换为第二个代码，因为它知道 ComplexObject 不能用于该块的其余部分？

Answer 1

不是 for temp，但是编译器可以在as-if规则下进行其他优化，可能会有同样的效果。

对于result，有一条关于return语句的特殊规则，如果可能，它将使用移动（并且省略比移动或复制更受欢迎）。