为何具名返回值优化（NRVO）在此场景下不生效？

嘿，这个问题戳中了NRVO的一个关键细节！咱们先把两段代码摆出来对比：

这段代码不会触发NRVO优化：

MyObj example() {
    MyObj a = MyObj(3);
    return a += 1;
};

而这段代码可以正常触发NRVO：

MyObj example() {
    MyObj a = MyObj(3);
    a += 1;
    return a;
};

核心原因其实和返回表达式的类型与返回值的关联逻辑有关：

• 第二个例子里，return a;直接返回的是函数内定义的具名局部对象a，编译器能明确识别到“这个对象就是要返回的目标”，可以直接把它构造到函数的返回值位置，完全跳过拷贝/移动步骤，这正是NRVO设计的典型适用场景。
• 但第一个例子里，return a += 1;返回的是operator+=的结果——通常operator+=会返回对象的引用，但哪怕它返回值类型，这个表达式的结果也不是原具名对象a本身，而是一个由表达式生成的临时对象（或引用指向的对象）。编译器没法建立起“这个表达式结果可以直接复用原局部对象的内存位置”的清晰关联，自然就没法触发NRVO了。

简单总结：NRVO要求你返回的是直接的具名局部对象，而不是一个复杂表达式的结果——哪怕这个表达式最终指向同一个对象，只要不是直接返回对象本身，编译器就没法放心地做优化。

备注：内容来源于stack exchange，提问作者Zebrafish