模板编程之转发引用(forwarding reference)

大意就是，在模板编程时，模板参数(T&&)既能匹配左值又能匹配右值，以前也叫做万能引用(universal reference)。

这个规则应该只适用于模板函数，也就是在发生类型推导(type deduction)的时候会按这个规则来，普通函数不行的，例如下面的就不行

void f(int &&i);
int main(){
    int a=0;
    f(a);    //会报错，说左值不能绑定到右值
    return 0;
}

用法如下

template <typename T>  
void f(T && t);

就目前所知，就是只要是模板函数，不管三七二十一，上（T&&）就行了。

关于这个主题，以及引用折叠、完美转发更详细的知识这里有：https://blog.csdn.net/theonegis/article/details/86568427

其中，关于完美转发的例子很好，代码如下

#include <iostream>

using std::cout;
using std::endl;

template<typename T>
void func(T& param) {
	cout << "传入的是左值" << endl;
}
template<typename T>
void func(T&& param) {
	cout << "传入的是右值" << endl;
}


template<typename T>
void wrap(T&& param) {
	func(param);
}


int main() {
	int num = 2019;
	wrap(num);
	wrap(2019);
	return 0;
}

但是他的解释我有点懵，我的理解是，wrap(2019)传了右值给void wrap(T&& param)，此时param是一个右值。但是在void wrap(T&& param)内部调用一个具名的右值param时，此右值就会被当作左值处理