本文为第五部分,目录请参阅概述部分:http://www.cnblogs.com/harrywong/p/cpp-rvalue-references-explained-introduction.html。
右值引用就是右值吗?
同之前一样,给出一个X类,让我们可以重载它的拷贝构造函数和拷贝赋值操作符来实现move语义。现在做如下考虑:
void foo(X&& x)
{
X anotherX = x;
// ...
}
一个有趣的问题就是,在foo函数内,哪一个x的拷贝构造函数重载将会被调用。这里,x是一个被声明为右值引用的变量,也就是说,一个在一般情况下或者在更好的情况下(即使并不是必须的)指代一个右值。因此,也许可以期待x本身应该像是一个右值绑定,也就是说:
X(X&& rhs);
应该被调用。换另一种说法,一个人可能会期待任何被声明为右值引用的,其本身也是一个右值。然后右值引用的设计者们采取了更为微妙的一种解决方案:
被声明为右值引用的可能既是左值也可能是右值。这里判断的标准在于:如果它有名字,那么它就是左值。否则就是右值。
就上面的例子,被声明为右值引用的有了一个名字,那么因此它是一个左值:
void foo(X&& x)
{
X anotherX = x; // 调用 X(X const & rhs)
}
这里就是一个被声明为右值引用并且并没有名字,因此它是一个右值:
X&& goo();
X x = goo(); // 调用 X(X&& rhs) 因为在表达式的右手边
// 并没有名字
这里有关于这种设计的原理阐述:假设默许move语义发生在一个有名字的东西上面,如下:
X anotherX = x;
// x依然在作用域内!
将是十分危险且混乱的,并且是很容易出错的。因为我们刚刚移动的东西,依然在随后的代码中可以被访问到。但是move语义的整个要点在于它就是应用在那些并不用在意移动后的情况的对象上,严格意义上而言,那些我们从它那里移动后会销毁并且放任不管是没有问题的。因此才有了这个规则:“如果它有个名字,那么它是一个左值。”
这里有一个例子显示了「如果它有一个名字规则」的重要性。假设你已经写了一个叫做Base的类,然后你通过重载Base的拷贝构造函数和赋值操作符来实现move语义。
Base(Base const & rhs); // 非move语义
Base(Base&& rhs); // move语义
现在你写了一个Derived的类,他继承于Base。为了保证move语义被实施在Derived对象的Base部分,你必须也同时重载Derived的拷贝构造函数和赋值操作符。让我们来看一下拷贝构造函数,拷贝赋值操作符的处理是类似的。对应于左值的版本比较简单直接:
Derived(Derived const & rhs)
: Base(rhs)
{
// 针对Derived特定的操作
}
对应于右值的版本有一个很大的微妙的不同。下面就是有人没有意识到「如果它有一个名字规则」可能写出来的:
Derived(Derived&& rhs)
: Base(rhs) // 错误:rhs是一个左值
{
// 针对Derived特定的操作 f
}
如果我们像那样写代码,那么non-moving的Base拷贝构造函数的版本将会被调用,因为rhs有一个名字,是一个左值。我们想要调用的是Base的moving构造函数,我们需要这样写:
Derived(Derived&& rhs)
: Base(std::move(rhs)) // 好,调用Base(Base&& rhs)
{
// 针对Derived特定的操作
}