使用右值引用成员？

Question

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

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

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

Answer 1

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

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

Answer 2

我看到了一个非常鼓舞人心的右值引用数据成员用例，它在 C++0x 草案中：

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

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

返回：tuple<Types&&...>(std::forward<Types>(t)...)

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

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

http://www.open-std.org/jtc1/sc22/wg21/docs/lwg-active.html#1385

Answer 3

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

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

但您可能希望使用参数化类型定义数据成员。例如，std::tuple 将支持左值和右值引用数据成员。通过这种方式，它允许您编码表达式的值类别，这对于“延迟完美转发”可能会派上用场。标准草案甚至包括表单的功能模板

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

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

Answer 4

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

因此，在这种情况下，类成员只是即将到来的函数调用的暂存地（或手动实现的闭包），我认为右值引用在那里没有意义。

但在“常规”非函子类中，我认为没有什么意义。