【深入理解C++】函数模板的自动类型推导

1.指针类型

#include <iostream>
using namespace std;

template <typename T>
void myfunc(T* val)
{
	cout << val << endl;
	return;
}

int main()
{
	int i = 180;
	const int* pi = &i;

	myfunc(&i); // T为int类型，val为int*类型
	myfunc(pi); // T为const int类型，val为const int*类型

    return 0;
}

#include <iostream>
using namespace std;

template <typename T>
void myfunc(const T* val)
{
	cout << val << endl;
	return;
}

int main()
{
	int i = 180;
	const int* pi = &i;

	myfunc(&i); // T为int类型，val为const int*类型
	myfunc(pi); // T为int类型，val为const int*类型

    return 0;
}

2.引用类型

#include <iostream>
using namespace std;

template <typename T>
void myfunc(T& val)
{
	cout << val << endl;
	return;
}

int main()
{
	myfunc(120); // 报错

	int i = 180;
	const int j = i;
	const int& k = i;

	myfunc(i); // T为int类型，val为int&类型
	myfunc(j); // T为const int类型，val为const int&类型
	myfunc(k); // T为const int类型，val为const int&类型

	return 0;
}

#include <iostream>
using namespace std;

template <typename T>
void myfunc(const T& val)
{
	cout << val << endl;
	return;
}

int main()
{
	int i = 180;
	const int j = i;
	const int& k = i;

	myfunc(i); // T为int类型，val为const int&类型
	myfunc(j); // T为int类型，val为const int&类型
	myfunc(k); // T为int类型，val为const int&类型

    return 0;
}

3.万能引用

#include <iostream>
using namespace std;

template <typename T>
void myfunc(T&& val)    // 万能引用
{
	cout << val << endl;
	return;
}

int main()
{
	myfunc(120); // 120是右值，T为int类型，val为int&&类型

	int i = 180;
	const int j = i;
	const int& k = i;

	myfunc(i); // i是左值，T为int&类型，val为int&类型
	myfunc(j); // j是左值，T为const int&类型，val为const int&类型
	myfunc(k); // k是左值，T为const int&类型，val为const int&类型

	return 0;
}

4.传值方式

#include <iostream>
using namespace std;

template <typename T>
void myfunc(T val)
{
	cout << val << endl;
	return;
}

int main()
{
	int i = 180;
	const int j = i;
	const int& k = i;

	myfunc(i); // T为int类型，val为int类型
	myfunc(j); // T为int类型，val为int类型，const属性没有传递进去
	myfunc(k); // T为int类型，val为int类型，const属性没有传递进去

	return 0;
}

#include <iostream>
using namespace std;

template <typename T>
void myfunc(T val)
{
	cout << val << endl;
	return;
}

int main()
{
	char str[] = "hello world!";
	const char* const p = str;
	myfunc(p); // T为const char*类型，val为const char*类型，第一个const保留了，第二个const没有了

	return 0;
}

5.数组做实参

#include <iostream>
using namespace std;

template <typename T>
void myfunc(T val)
{
	cout << val << endl;
	return;
}

int main()
{
	const char str[] = "hello world!";
	myfunc(str); // T为const char*类型，val为const char*类型

	return 0;
}

#include <iostream>
using namespace std;

template <typename T>
void myfunc(T& val)
{
	cout << val << endl;
	return;
}

int main()
{
	const char str[] = "I Love China!";
	myfunc(str); // T为const char [14]类型，val为const char (&)[14]类型

	return 0;
}

#include <iostream>
using namespace std;

template <typename T, unsigned LEN>
void myfunc(T (&val)[LEN])
{
	cout << LEN << endl; // 14
	return;
}

int main()
{
	const char str[] = "I Love China!";
	myfunc(str); // T为const char类型，val为const char (&)[14]类型

	return 0;
}

6.函数名做实参

#include <iostream>
using namespace std;

template <typename T>
void myfunc(T val)
{
	cout << val << endl;
	return;
}

void test() {}

int main()
{
	myfunc(test); // T为void (__cdecl*)(void)类型，val为void (__cdecl*)(void)类型

	return 0;
}

#include <iostream>
using namespace std;

template <typename T>
void myfunc(T& val)
{
	cout << val << endl;
	return;
}

void test() {}

int main()
{
	myfunc(test); // T为void __cdecl(void)类型，val为void (__cdecl&)(void)类型

	return 0;
}