C++中函数返回指针解引用时为何调用拷贝构造而非移动构造？

你观察到的核心差异，本质是返回表达式的值类别不同导致的：Fn1直接返回参数时触发移动构造，Fn2返回*(&v)时触发拷贝构造，下面详细拆解原因：

逐行对应调用逻辑 #

• 第一行Cls1(Cls1 & other)：调用Fn1(inst1)时，值传递参数，用左值inst1拷贝构造函数参数v。
• 第二行Cls1(Cls1&& other)：Fn1直接返回v，此时v属于函数栈帧内的局部对象（参数也视为局部变量），编译器会将其识别为亡值（xvalue）——这类即将销毁的对象符合移动构造的触发条件，因此调用移动构造函数。
• 第三行Cls1(Cls1 & other)：调用Fn2(inst1)时，同样是值传递参数，拷贝构造v。
• 第四行Cls1(Cls1 & other)：Fn2返回*(&v)时，&v得到的是指向v的左值指针，解引用*(&v)的结果是左值（哪怕v即将被销毁，解引用指针的结果本质仍是左值）。左值无法直接绑定到移动构造函数的右值引用参数Cls1&&，因此编译器只能调用接受左值引用的拷贝构造函数。

让Fn2触发移动构造的方法 #

如果希望Fn2也调用移动构造，只需用std::move将左值转换为右值引用：

Cls1 Fn2(Cls1 v) {
    return std::move(*(&v));
}

std::move会把左值强制转换为右值引用，满足移动构造函数的参数要求，此时就会触发移动构造。

关键规则总结 #

C++中只有**右值（纯右值prvalue或亡值xvalue）**会优先触发移动构造：

• 直接返回函数局部变量（包括参数）时，编译器自动将其标记为亡值；
• 指针/引用解引用的结果永远是左值，必须显式通过std::move转换才能触发移动。

内容的提问来源于stack exchange，提问作者Smart Humanism