为何此处需用std::move避免“调用已隐式删除的拷贝构造函数”错误？

核心原因：结构化绑定的变量始终是左值 #

不管初始化表达式是prvalue、xvalue还是lvalue，结构化绑定引入的名字永远是左值表达式。你代码里的auto&& [i, pp2] = gen_p();中，pp2是指代临时std::pair<int, OP>对象第二个成员的左值引用——当直接返回pp2时，编译器会默认触发拷贝语义，尝试调用OP（即std::optional<P>）的拷贝构造函数。但由于P的拷贝构造函数被显式删除，std::optional<P>的拷贝构造函数也被隐式删除，因此触发编译错误。

为什么std::move能解决问题？ #

std::move(pp2)会把左值pp2转换为xvalue（亡值），此时编译器会匹配OP的移动构造函数。因为P是可移动的，std::optional<P>的移动构造函数是正常可用的，所以编译可以通过。

你的推理误区 #

你提到的“完美转发”规则不适用于结构化绑定：

• 结构化绑定的本质是为对象成员引入别名，这些别名的表达式类型固定为左值，和初始化器的值类别无关。
• NRVO无法生效：NRVO要求返回的是函数内自动存储期的局部对象，而pp2绑定的是gen_p()返回的临时std::pair对象的成员，不属于函数内的局部变量，因此NRVO不适用。

额外验证 #

你可以在返回前添加如下断言，验证pp2的左值属性：

static_assert(std::is_lvalue_reference_v<decltype(pp2)>);

断言会成立，证明pp2确实是左值引用。

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