《Effective Modern C++》学习笔记之条款二十五：针对右值引用实施std::move，针对万能引用实施std::forward

我们知道，一个函数接受一个右值引用参数后将变成左值（可以对其取地址），所以如果在函数内部想要继续使用其右值属性，就可以对其实施std::move，将形参左值转换为右值。

而对于万能引用，因为其实参可能是右值，也可能是左值（最终形参都是左值），所以对其实施std::forward，若实参为右值，经过std::forward处理后，其将被转换回右值，而如果实参是左值将，则什么也不做。

至于为什么不能对万能引用实施std::move，主要考虑到其实参可能是左值的情况，例如在某函数内部，我们将左值局部变量转换为右值后，然后将其移动给某个其他变量后，局部变量将变成一个不确定的值。

还有一点比较经典的返回值优化案例，代码示例如下:

struct Widget
{
public:
	Widget() {
		std::cout << "默认构造函数" << std::endl;
	}
	Widget(const Widget& w) {
		std::cout << "默认拷贝函数" << std::endl;
	}
	void operator=(const  Widget& w) {
		std::cout << "默认赋值函数" << std::endl;
	}

	Widget(Widget&& w) {
		std::cout << "移动拷贝函数" << std::endl;
	}
	void operator=(Widget&& w) {
		std::cout << "移动赋值函数" << std::endl;
	}
	~Widget() { 
		std::cout << "析构函数" << std::endl; 
	}
};

Widget makeWidget() {
	Widget w;
	return w; // 返回局部变量w，未发生临时变量生成
}

int main()
{
	{
		Widget w1 = makeWidget(); // 执行移动拷贝	
	}
	system("pause");
}

函数的执行结果将会是什么呢？结果出乎意料：

第一次的默认拷贝应该都知道，是因为makeWidget函数里面局部变量w定义生成的，但是紧接着从局部变量到返回值并没有发生拷贝构造，这是因为编译器存在RVO返回值优化。将局部临时变量直接移动到了w1上。

首先若想要编译器帮忙执行RVO返回值优化，函数需要满足两个条件：

1. 返回的是局部变量对象本身
2. 局部变量型别与函数返回值型别完全相同

上述代码，完全符合要求，所以编译器将会对其执行返回值优化：将局部变量的值直接移动到返回值存储位置。

可能你又会说，万一不满足条件，我们总可以对其执行std::move来主动优化了吧，但劝你还是别这样做，因为编译器的第二点说明了：若函数不满足返回值优化，则会将返回值转换为右值。可见，你想到的，编译器都已经为你做好了。