使用右值引用成员？

Question

我想知道右值引用成员有什么用处

class A {
  // ...
  // Is this one useful?
  Foo &&f;
};

与左值引用成员相比它有什么优点或缺点？它的主要用途是什么？

Answer 1

我看到了右值引用数据成员的一个非常令人兴奋的用例，它位于 C++0x 草案中：

template<class... Types>
tuple<Types&&...>
forward_as_tuple(Types&&... t) noexcept;

效果：构造一个元组
对 t 中参数的引用
适合作为参数转发
到一个函数。因为结果可能
包含对临时的引用
变量，程序应确保
该函数的返回值是
不会比它的任何论点更长久。
（例如，程序通常应该
不将结果存储在命名的
变量）。

返回：元组<类型&&...>(std::forward<类型>(t)...)

当右值用作forward_as_tuple 的参数时，元组具有右值引用数据成员，否则具有左值引用数据成员。

我发现，当需要捕获可变参数时，forward_as_tuple 随后很有帮助，将它们完美地转发为元组，并在转发到函子时重新扩展它们。在实现 LWG 1385 中提出的 tuple_cat 的增强版本时，我以这种风格使用了forward_as_tuple：

Answer 2

根据 Stephan T. Lavavej，右值引用数据成员没有用。

[at 31:00] 我看到程序员在掌握右值引用时所做的事情是，他们开始变得有点疯狂，因为他们太强大了。他们开始说“哦，我将拥有右值引用数据成员，我将拥有右值引用局部变量，我将拥有右值引用返回值！”然后他们编写这样的代码：[...]

Answer 3

只是在这里大声思考，但它在函子中没有用处吗？构造函数通常用于“柯里化”，在实际函数调用之前提前绑定一些参数。

因此，在这种情况下，类成员只是即将到来的函数调用的临时场所（或手动实现的闭包），并且我认为右值引用没有任何意义。

但在“常规”非函子类中，我看不出有什么意义。

Answer 4

class A {
  // ...
  // Is this one useful?
  Foo &&f; 
};

在这种特定情况下，没有理由使用右值引用。它不会给你带来任何你以前做不到的事情。

但您可能想用参数化类型定义数据成员。例如，std::tuple 将支持左值和右值引用数据成员。这样，您就可以对表达式的值类别进行编码，这对于“延迟完美转发”可能会派上用场。标准草案甚至包括形式的函数模板

template<class Args...>
tuple<Args&&...> pack_arguments(Args&&...args);

但老实说我不确定它的用处。