需要迈耶斯有效C++小部件右值示例解释

Need Meyers Effective C++ Widget rvalue example explanation

本文关键字：解释 小部 C++ 有效      更新时间：2023-10-16

我有一个C++的问题。

在《有效的现代C++》的第一页上，有一个例子：

class Widget {
public:
    Widget(Widget&& rhs);
};

此外，还有一个注释："rhs 是一个左值，尽管它有一个右值引用类型"。

老实说，我什么都不懂。"rhs 是一个左值，但它的类型是右值引用"是什么意思？

请记住

，这里有两件不同的事情：

  • 一个与变量的类型有关：有两种类型的引用：左值引用（&）和右值引用（&&）。

    这决定了函数优先接受什么，并且始终是"显而易见的"，因为您可以从类型签名中读取它（或使用 decltype ）。

    • 另一个是表达式（或值

  • ）的属性：表达式可以是左值或右值（实际上，它比这更复杂......

    此属性不会直接在代码中显示（但有一个经验法则，见下文），但您可以在重载分辨率中看到它的效果。 特别

      左值参数
    • 更喜欢绑定到左值引用参数，而
      • 右值参数
    • 更喜欢绑定到右值引用参数。

这些属性密切相关（在某种意义上彼此"双重"），但它们不一定彼此一致。 特别是，重要的是要认识到变量和表达式实际上是不同的东西，所以从形式上讲，它们甚至没有可比性，"苹果到橙子"。

C++有这样的规则，即使您已将rhs声明为右值引用（意味着它将优先匹配右值参数），在移动构造函数块中，变量rhs本身仍将表现为左值，从而优先匹配接受左值引用的函数。

void test(Widget&&) { std::cout << "test(Widget&&): calledn"; }
void test(Widget&)  { std::cout << "test(Widget&): calledn"; }
Widget::Widget(Widget&& rhs) {
    // here, `rhs` is an lvalue, not an rvalue even though
    // its type is declared to be an rvalue reference
    // for example, this will match `test(Widget&)`
    // rather than the `test(Widget&&)` overload, which may be
    // a bit counter-intuitive
    test(rhs);
    // if you really want to match `test(Widget&&)`
    // you must use `std::move` to "wrap" the variable
    // so that it can be treated as an rvalue
    test(std::move(rhs));
}

这样做的基本原理是防止移动构造函数中的意外移动。

一般的经验法则是：如果表达式有一个名称（即由单个命名变量组成），那么它是一个左值。 如果表达式是匿名的，则它是右值。 （正如dyp所指出的，这在技术上是不正确的 - 请参阅他的评论以获取更正式的描述。

简短的解释:P

Widget(Widget&& rhs);

是一个移动构造函数。它将接受右值作为参数。在移动构造函数的定义中，您可以使用名称 rhs 引用另一个 Widget，因此它是一个左值。

相关文章：