我有一个 C++ 的小问题。
在Effective Modern C++的第一页,有一个例子:
class Widget {
public:
Widget(Widget&& rhs);
};
此外,还有评论:“rhs 是左值,尽管它具有右值引用类型”。
老实说,我什么都不懂。 “rhs 是左值,但它的类型是右值引用”是什么意思?
最佳答案
请记住,这里有两件不同的事情:
一个与变量的类型有关:引用有两种类型:左值引用(
&
)和右值引用(&&
)。这决定了函数优先接受什么并且总是“显而易见的”,因为您可以从类型签名(或使用
decltype
)中读取它。另一个是表达式的属性(或值):表达式可以是左值或右值 ( actually, it's more complicated than that... )。
此属性不会直接显示在代码中(但有一个经验法则,见下文),但您可以在重载决议中看到它的效果。特别是,
- 左值参数倾向于绑定(bind)到左值引用参数,而
- 右值参数倾向于绑定(bind)到右值引用参数。
这些属性密切相关(并且在某种意义上彼此“双重”),但它们不一定彼此一致。尤其重要的是要认识到,变量 和表达式 实际上是不同的东西,因此从形式上讲,它们甚至没有可比性,“苹果对橘子”。
C++ 中有这样一条规则,即使您已将 rhs
声明为右值引用(意味着它将优先匹配作为右值的参数),在在移动构造函数 block 中,变量 rhs
本身仍将表现为左值,因此优先匹配接受左值引用的函数。
void test(Widget&&) { std::cout << "test(Widget&&): called\n"; }
void test(Widget&) { std::cout << "test(Widget&): called\n"; }
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 所指出的,这在技术上是不正确的——请参阅他的评论以获得更正式的描述。)
关于c++ - 需要 Meyers Effective C++ Widget 右值实例讲解,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/26962691/