如何有效地将左值或右值绑定到同一个引用？

Question

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

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

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

由于"most important const"，临时文件的生命周期延长，因此可以正常工作。如果 alter_obj() 满足 return 价值优化的要求，它也相当有效，因为 RVO 意味着改变的对象 return 不会被不必要地复制价值。

如果你根本不做任何改动也会有效率：

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

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

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

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 
    );
    // ...
}

但是，这种方法似乎没有我希望的那么有效。三元运算符显然需要最后两个参数，而不仅仅是标称类型。这意味着当采用 false（无更改）分支时，通过在 original 上调用 MyObject 的复制构造函数来创建一个临时右值。如果 MyObject 复制起来很重要，则可能会因进行此 "spurious" 复制而导致性能下降。

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

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) {
    // ...
}

Answer 2

也许向 func() 添加第二个参数？

void func( MyObject const& original, bool modify = false ) {
    if ( modify )  MyObject const & altered( alter_obj( original ) );
    else MyObject const & not_altered( original ); 
}

可能会实现您想要的...

如何有效地将左值或右值绑定到同一个引用？

How to efficiently bind either an lvalue or rvalue to the same reference?

c++

reference

ternary-operator

rvalue

lvalue