万能引用基本概念

#include<iostream>
#include<vector>
using namespace std;
#pragma warning(disable:4996)

void fun(int&& tmp)
{
	cout << tmp << endl;
}

template<typename T>
void func(T&& tmp)
{
	cout << tmp << endl;
}

template<typename T>
void funa(std::vector<T>&& tmp)//不是，因为不是T&&，可以验证一下
{

}

int main()
{
	//一：前言
	int i = 10;

	//fun(i);  //不可以，右值引用不可以绑定到左值
	fun(3); //ok
	
	func(i); //改成模板以后，发现这是正常的
	func(2);//ok

	/*
	思考：这里用函数模板以后，难道T不是一个int类型？
	为什么用函数模板以后，func(i);没报错？看来事情
	没有我们想的那么简单。而且经过观察，发现只有
	在函数模板当中才有这种tmp参数既可以接收右值
	也可以接收左值的情况。

	从观察到的结果可以看出：
	1：函数模板参数tmp即可以接收左值，也可以接收右值。
	2：tmp的类型是T&&(&&是tmp类型的一部分，不是T类型的一部分
	   &&和T类型没有关系)
	
	*/

	//二：开始步入正题了，“万能引用”

	/*从上面可以看出，这种在函数模板当中发生类类型模板参数推断的时候
	 才出现的这种tmp参数既可以接收左值也可以接收右值的情况，即
	 万能引用。

	 万能引用：也称未定义引用，universal reference,万能引用是一种类型，
	 就跟int是一种类型一样。

	 可以发现万能引用和右值引用长得一模一样。
	 但是万能引用必须在以下语境中：
	 1:必须是函数模板
	 2：必须是发生了模板类型推断并且函数模板长：T&&。
	 补充：auto 也存在万能引用的情况，这里先不管

	 一定要分清情况，T&&(也就是tmp)才是万能引用，而不是T是万能引用。
	
	*/
	//思考一下，以下几种情况是不是万能引用？
	
	//void fun(int &&tmp) {},很明显不是,tmp是右值引用

	/*
	template<typename T>
    void func(T&& tmp) //是万能引用
    {
	    cout << tmp << endl;
    }
	*/

	/*
	template<typename T>
	void funa(std::vector<T> &&tmp)//不是，这里是右值引用因为不是T&&，可以验证一下
	{

	}
	*/

	vector<int> a;

	//funa(a); 不可以，所以肯定不是万能引用
	funa(std::move(a)); //右值可以

	//所以说，如果是万能引用的话，你给一个左值，tmp就被推断为左值引用，给右值，就推断有右值引用
	return 0;
}