C++返回语句构造函数中std::move对效率及编译器优化的影响

首先需要明确一个前提：你之前了解的「返回局部变量不要加std::move」的规则，仅适用于直接返回局部变量本身的场景（对应NRVO/隐式移动的适用条件），本次讨论的是用局部变量构造其他对象再返回的场景，二者规则完全不同。

问题1：第一种实现中，编译器能否识别my_vec_a、my_vec_b即将出作用域，对return语句中的构造过程执行优化？ #

不能。
C++标准明确规定，只有当return语句的操作数是局部变量的名字本身时，才会触发隐式右值转换，优先匹配移动构造。而第一种写法中，你是把my_vec_a、my_vec_b作为参数传给std::make_pair，这一步属于普通的函数参数传递，没有隐式移动的规则支持，两个vector默认按左值处理，会触发拷贝构造。
这类场景下编译器也不能私自做优化：把左值自动转为右值属于语义变更，不在as-if规则的允许范围内，除非编译器能证明拷贝操作完全没有可观测的副作用，而对于std::vector这类涉及动态内存分配的类型，几乎不可能满足这个前提。

问题2：若支持上述优化，第二种实现中的std::move是否会阻止该优化生效？ #

首先这个场景本来就不存在可以被阻止的优化，其次std::move的使用完全不会影响返回值本身的RVO优化：

• 两种写法中return语句返回的都是std::make_pair生成的临时对象，符合RVO（纯右值返回值优化）的适用条件，编译器会直接把pair对象构造在调用方的返回值地址上，pair本身的拷贝/移动都会被消除，这一步和你传给make_pair的参数是否加std::move没有任何关系。
• 你加的std::move仅作用于make_pair的参数传递阶段，和pair本身的RVO优化完全独立，不存在任何冲突。

问题3：第二种实现的执行效率是否高于第一种？ #

是的，且效率差距非常明显。

• 第一种实现中，std::make_pair接收左值参数，会拷贝构造两个vector存入pair：需要为新vector分配动态内存、复制所有存储的double元素，开销是O(n)的，n为vector的元素数量。
• 第二种实现中，std::move把两个vector转成右值参数，std::make_pair会用移动构造生成pair内的vector：对于std::vector来说，移动构造仅需要交换内部的数组指针、大小、容量三个字段，开销是固定O(1)的，几乎没有额外成本。

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