C++中如何高效绑定左值或右值到同一引用且无额外拷贝？

这个问题确实挺坑的——三元运算符在这里的行为很容易让人踩坑，因为它不仅要求两个分支的类型匹配，还要求值类别（左值/右值）一致。当你把左值original和右值（alter_obj的返回临时对象）放在三元运算符的两个分支时，编译器会自动把左值转换成右值，也就是默默调用拷贝构造函数创建一个临时对象，这就产生了你不想看到的额外拷贝开销。

下面是几种高效的解决思路，都能避免不必要的拷贝：

方法一：用lambda表达式初始化引用 #

利用C++11及以后的lambda表达式，我们可以在初始化引用时根据条件返回不同值类别的引用，编译器会正确处理临时对象的生命周期延长，同时避免拷贝：

MyObject alter_obj(MyObject const& obj); // 创建新的修改后的对象

void func(MyObject const& original) {
    bool apply_alteration = /* 运行时条件判断 */;
    
    // 用lambda封装分支逻辑，直接初始化引用
    MyObject const& possibly_altered = [&]() -> MyObject const& {
        if (apply_alteration) {
            return alter_obj(original); // 返回临时对象，生命周期被延长到引用的生命周期
        } else {
            return original; // 直接绑定原左值，无拷贝
        }
    }();
    
    // 后续使用possibly_altered即可
}

这种方法的优势是代码紧凑，逻辑清晰，完全不需要额外的辅助变量，而且编译器能很好地优化这段代码。

方法二：用std::optional存储临时对象（更直观） #

如果觉得lambda的写法有点绕，也可以用std::optional来存储可能存在的修改后对象，然后根据条件绑定引用：

#include <optional>

MyObject alter_obj(MyObject const& obj);

void func(MyObject const& original) {
    bool apply_alteration = /* 运行时条件判断 */;
    
    std::optional<MyObject> altered_temp;
    MyObject const& possibly_altered;
    
    if (apply_alteration) {
        altered_temp = alter_obj(original); // 仅当需要修改时才创建对象
        possibly_altered = *altered_temp;   // 绑定到optional内的对象
    } else {
        possibly_altered = original;        // 直接绑定原对象，无拷贝
    }
    
    // 后续使用possibly_altered即可
}

这里altered_temp只会在需要修改的时候才会存储新对象，否则保持空状态，完全不会触发原对象的拷贝操作。而且std::optional的开销极小，几乎可以忽略不计。

为什么三元运算符不行？ #

再补一句关键解释：三元运算符的规则要求两个操作数的值类别必须兼容——当一个是左值，一个是右值时，编译器会将左值转换为右值（也就是通过拷贝构造函数创建临时对象），这样才能让两个分支的结果都是右值，满足运算符的要求。这就是为什么你会看到无意义的拷贝，而这正是我们要避开的点。

内容的提问来源于stack exchange，提问作者R.M.