条款24：区分万能引用和右值引用

条款24：区分万能引用和右值引用

考虑如下代码：

void f(Widget &&parm);		     // 右值引用

Widget &&var1 = Widget();	    // 右值引用

auto &&var2 = var1;				// 非右值引用

template
void f(std::vector &¶m);	// 非右值引用

template
void f(T &¶m);				// 非右值引用

T&&有两种不同的含义：

1. 其中一种含义为右值引用。
2. 另外一种含义，则表示既可以是右值引用，亦可是左值引用。带有这种含义的引用在代码中形如右指值引用（T&&）,称为万能引用;万能引用在以下两种情形出现：

template
void f(T &¶m);				// param是个万能引用

auto &&var2 = var1;				// var2是个万能引用

上述代码的共同之处，在于它们都涉及类型推导。param和var2都是推导得到的;如果你看到了T&&,但是没有涉及类型的推导，那么，这就是一个右值引用，如：

void f(Widget &&parm);		     // 右值引用

Widget &&var1 = Widget();	    // 右值引用

因为万能引用首先是一个引用，所以必须进行初始化；万能引用的初始化物会决定它代表是个左值引用还是右值引用：

template
void f(T &¶m);		// param为万能引用

Widget w;
f(w);				   // 左值被传递给f,param的类型是Widget&,左值引用

f(std::move(w));	  // 右值被传递给f,param的类型是Widget&&,右值引用

若要使得一个引用称为万能引用，其涉及到类型推导是必要条件，而不是充分条件：

template
void f(std::vector && param);  // param是个右值引用

当f被调用时,类型T將被推导，但是param的类型声明形式不是T&&，而是std::vector&&;这个事实在你试图传递左值给f时编译器很乐意为你确认出来：

std::vector v;
f(v);	// 错误！不能给右值绑定一个左值

如果你在一个模板内看到一个函数形参写作T&&，你可能会想当然认为它肯定是个万能引用。不能想当然，如下：

template>
class vector {
public:
	void push_back(T&& x);
};

push_back不涉及类型推导，因为push_back作为vector的一部分，如果不存在特定的vector实例，则它也无从存在。该实例的类型完全决定了push_back的声明类型，即：std::vector v会导致std::vector模板具现化为如下实例：

template>
class vector {
public:
	void push_back(Widget&& x); //右值引用
};

作为对比，emplace_back却实实在在的涉及类型推导：

template>
class vector {
public:
	template
	void emplace_back(Args&&... args);
};

其中的类型形参Args独立于vector的类型形参T,所以，Args必须在每次emplace_back被调用时进行推导 。