为什么结构化绑定会禁用返回语句的RVO与移动语义？

这个问题戳中了C++结构化绑定和返回值优化的一个细节点，咱们一步步拆解原因：

1. RVO被禁用的核心原因 #

C++标准里的返回值优化（RVO/NRVO）有明确的适用前提：当返回的是具有自动存储期的非volatile独立局部对象（不能是函数参数、catch参数，也不能是其他对象的成员），且返回语句直接写return 对象名时，编译器才能跳过拷贝/移动，直接把对象构造到函数返回值的内存位置。

在你的代码里，second是结构化绑定生成的变量——它本质上是编译器自动创建的局部tuple临时对象__tmp的第二个元素的左值引用。也就是说，second并不是一个独立的AAA局部对象，而是tuple的成员。这完全不符合RVO对“独立局部对象”的要求，因此RVO直接被禁用。

2. 移动语义失效的原因 #

移动构造函数的触发需要被移动的对象是右值（或被std::move()转为右值的左值）。而结构化绑定出来的second是左值引用，当你写return second时，编译器看到的是一个左值，会默认调用拷贝构造函数，不会自动触发移动语义。

如果想要触发移动，你需要显式将second转为右值：

AAA get_val() {
    auto [ first, second ] = std::make_tuple(AAA{}, AAA{});
    std::cout << "Returning - " << std::endl;
    return std::move(second); // 显式转为右值，触发移动构造
}

对比验证：无结构化绑定的正常情况 #

如果不用结构化绑定，直接创建独立的AAA局部对象，RVO会正常生效：

AAA get_val() {
    AAA second;
    std::cout << "Returning - " << std::endl;
    return second; // RVO生效，无拷贝/移动操作
}

此时运行代码不会输出任何构造函数日志，因为编译器直接把second构造到了返回值的目标内存位置。

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