c++ - 绑定(bind)对 object-or-dummy 的引用的样式

Question

将右值引用绑定(bind)到给定对象或其临时拷贝的最佳方法是什么？

A &&var_or_dummy = modify? static_cast<A&&>( my_A )
                         : static_cast<A&&>( static_cast<A>( my_A ) );

(这段代码在我最近的 GCC 4.6 上不工作……我记得它以前工作过，但现在它总是返回一个拷贝。)

在第一行，static_cast 将 my_A 从左值转换为 xvalue。 (C++0x §5.2.9/1-3) 第二行的内部 static_cast 执行左值到右值的转换，外部从这个 prvalue 获得一个 xvalue。

这似乎得到支持，因为命名引用根据 §12.2/5 有条件地绑定(bind)到临时对象。相同的技巧在 C++03 中以相同的方式使用 const 引用。

我也可以写得不那么冗长:

A &&var_or_dummy = modify? std::move( my_A )
                         : static_cast<A&&>( A( my_A ) );

现在它更短了。第一个缩写是有问题的:move 应该表示对象正在发生某些事情，而不仅仅是 lvalue-to-xvalue-to-lvalue 洗牌。令人困惑的是，move 不能在 : 之后使用，因为函数调用会中断临时引用绑定(bind)。语法 A(my_A) 可能比 static_cast 更清晰，但它在技术上等同于 C 风格的转换。

我也可以一路走下去，完全用 C 风格的转换来写:

A &&var_or_dummy = modify? (A&&)( my_A ) : (A&&)( A( my_A ) );

毕竟，如果这将成为一个习语，它一定很方便，而且 static_cast 并不能真正保护我免受任何影响——真正的危险是无法直接绑定(bind)到 my_A 在 true 情况下。

另一方面，这很容易被重复三次的类型名所控制。如果 A 被替换为又大又丑的模板 ID，我真的想要一个真正的快捷方式。

(请注意，尽管 V 出现了五次，但它只计算了一次:)

#define VAR_OR_DUMMY( C, V ) ( (C)? \
  static_cast< typename std::remove_reference< decltype(V) >::type && >( V ) \
: static_cast< typename std::remove_reference< decltype(V) >::type && >   (  \
  static_cast< typename std::remove_reference< decltype(V) >::type >( V ) ) )

尽管宏有点老套，但我认为这是最好的选择。这有点危险，因为它返回一个 xvalue，因此不应在引用初始化之外使用它。

一定有什么我没有想到的……建议？

Answer 1

只需通过额外的函数调用来避免整个困惑:

void f(bool modify, A &obj) {
  return [&](A &&obj) {
    real();
    work();
  }(modify ? std::move(obj) : std::move(A(obj)));
}

代替:

void f(bool modify, A &obj) {
  A &&var_or_dummy = /* ??? */;
  real();
  work();
}

是lambdas, lambdas, everywhere !