为什么C++不知道在初始值列表中使用变量时在返回中进行隐式移动？

Question

请考虑以下代码：

#include <iostream>
template<typename A>
struct S{
    S(const A& a){
        std::cout << "L\n";
    }
    S(A&& a){
        std::cout << "R\n";
    }
};
S<int> f1(){
    int a = 1;
    return {a};
}
S<int> f2(){
    int a = 1;
    return a;
}
S<int> f3(){
    int a = 1;
    return {std::move(a)};
}
int main()
{
    f1();
    f2();
    f3();
}

输出为

L
R
R

您可能知道，C++在返回中隐式移动(f2中）。当我们在初始值列表中手动执行时，它可以工作(f3)，但在F1中它不是由C++自动执行的。

这是否有一个很好的理由不起作用，还是仅仅是一个被认为不够重要的角落案例，而不是标准所规定的？

附注。我知道编译器可以（有时必须）执行RVO，但我不明白这如何解释输出。

Answer 1

好在：

return name;

这是一个很简单的例子：很明显，你返回的只是一个对象，名字，这里没有其他的把戏。然而，这种特殊情况导致了一个又一个补丁。所以，也许终究没那么简单。

一旦我们在此基础上加入任何更多的复杂性，它就会变得更加复杂。

返回初始值列表后,我们必须开始考虑各种其他情况：

// obviously can't move
return {name, name};       

// 'name' might refer to an automatic storage variable, but
// what if 'other_name' is an alias to it? What if 'other_name'
// is a separate automatic storage variable but is somehow
// dependent on 'name' in a way that matters?
return {name, other_name}; 

你只是...不能知道。我们可以考虑的唯一情况是由单个名称组成的初始值列表：

return {name};

那件事也许可以含蓄地移开。但问题是，在这种情况下，你可以移动：

return {std::move(name)};

对于返回name；的具体问题是，返回std::move（name）；有时是强制性的，有时是悲观的，我们希望您始终只编写一个内容，并获得最佳行为。这里没有这种担心，return{std：：move（name）}；不能以同样的方式禁止复制删除。所以写这些就不是什么问题了。