c++ - 如何有效地将左值或右值绑定(bind)到同一个引用？

Question

假设您有一个 C++ 函数，它使用了(常量)参数的更改版本。

MyObject alter_obj( MyObject const & obj ); // Creates new, altered object

void func( MyObject const & original ) {
    MyObject const & altered( alter_obj( original ) );
    // ...
}

由于“最重要的常量”导致临时对象的生命周期延长，因此可以正常工作。如果 alter_obj() 满足返回值优化的要求，它也相当有效，因为 RVO 意味着不会不必要地复制值返回的更改对象。

如果您根本不进行更改，它也会很有效:

void func( MyObject const & original ) {
    MyObject const & not_altered( original );
    // ...
}

对给定对象的额外引用基本上是免费的，不会产生复制的任何性能开销。

但是说需求有点变化，你想根据运行时的情况选择是否做改动。天真地，我本以为使用三元运算符结合前面两种方法会很有效，尽可能直接绑定(bind)原始对象，否则绑定(bind)临时对象。

MyObject alter_obj( MyObject const & obj ); // Creates new, altered object

void func( MyObject const & original ) {
    // ...
    MyObject const & possibly_altered( 
        apply_alteration ? 
        alter_obj( original ) : 
        original 
    );
    // ...
}

但是，这种方法似乎没有我希望的那么有效。三元运算符显然需要最后两个参数 match on lvalue/rvalue status ，而不仅仅是标称类型。这意味着当采用 false(无更改)分支时，将通过调用 original 上的 MyObject 的复制构造函数来生成临时右值。如果 MyObject 不容易复制，则可能会因制作此“虚假”拷贝而导致性能下降。

有什么好的解决办法吗？是否可以在不制作额外拷贝的情况下将本地引用有效地绑定(bind)到另一个现有引用或临时引用(基于运行时值的选择)？

Answer 1

我会创建单独的函数，它接受引用并调用它，如下所示:

void func( MyObject const & original ) {
    if (apply_alteration)
        func_internal(alter_obj(original));
    else
        func_internal(original);
}

void func_internal( MyObject const & possibly_altered) {
    // ...
}