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

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

本文关键字：绑定 引用 有效地      更新时间：2023-10-16

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

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

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

但假设需求有点变化，您需要根据运行时条件选择是否进行更改。天真地说，我本以为使用三元运算符来组合前面的两种方法会很有效，在可能的情况下直接绑定原始对象，如果不可能，则绑定临时对象。

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对复制来说不是微不足道的，那么由于制作这种"虚假"复制，可能会导致性能损失。

有什么好办法解决这个问题吗？是否可以有效地将本地引用绑定到另一个现有引用或临时引用(基于运行时值的选择)，而不进行额外的复制？

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

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

也许会在func()中添加第二个参数？

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

可能会实现你想要的。。。

相关文章：