c++函数模板

c++的泛型编程思想，主要利用的技术就是模板。
c++提供两种模板机制：函数模板和类模板；
函数模板
函数模板的作用：
建立一个通用函数，其函数的返回值类型和形参类型可以不具体制定，用一个虚拟的类型代表。
语法：

template<typename T>//其中template可以换为class
函数声明或定义

解释：
template：声明创建模板
typename：表明其后面的符号是一种数据类型，可以用class代替
T：通用的数据类型，名称可以替换，通常为大写字母
例子：

template<class T>
void m_swap(T& a, T& b)
{
	T tem = a;
	a = b;
	b = tem;
}
void test01()
{
	int a = 10;
	int b = 20;
	m_swap<int>(a, b);//等价于m_swap(a,b);
	cout << a << endl << b << endl;//20,10
	double c = 2.3;
	//m_swap<int>(a, c);
}

模板必须推出T的数据类型才可以使用。
m_swap(a,b);a,b都是int类型，编译器可以推测出T的数据类型为int类型，此方法为：自动类型推导
m_swap(a, b)；直接指出了T为int类型，且a,b都符合，此方法称为：显式指定类型
m_swap(a, c);无法确定T的类型，所以不可以使用模板，此行代码错误；
此例中的a,b都是int类型也可以是double,float等由此可见模板提高了复用性；

template<class T>
void func()
{
	cout << "func的调用" << endl;
}
void test02()
{
	//func();
	//func<>();这两个func的调用都是错误的
	func<int>();
}

此列证明了模板必须推出T的数据类型才可以使用。

普通函数与函数模板的区别：
1.普通函数调用时可以发生自动类型转换（隐式类型转换）

int m_Add(int a, int b)
{
	return a + b;
}
void test03()
{
	int a = 10;
	char c = 'A';
	cout << (int)c << endl;//65
	cout << m_Add(a, c) << endl;//75,c自动转换为了‘A'对应的ACSII表值
}

2.函数模板调用时，如果利用自动类型推导，不会发生隐式类型转换
3.如果利用显式指定类型的方式，可以发生隐式类型转换；

template<class T>
T m_Add(T a, T b)
{
	return a + b;
}
void test04()
{
	int a = 10;
	char c = 'A';
	cout << (int)c << endl;//65
	//cout << m_Add(a, c) << endl;//此行报错
	cout << m_Add<int>(a, c) << endl;//75
}

一般情况下建议使用显式指定类型的方式，调用函数模板，应为自己可以确定指定类型T
普通函数与函数模板的调用规则：
1.如果函数模板和普通函数都可以实现，优先调用普通函数
2.可以通过空模板参数列表来强制调用函数模板

void m_Add(T a, T b)
{
	cout << "函数模板的调用" << endl;
}
void m_Add(int a, int b)
{
	cout << "普通函数的调用" << endl;
}
void test05()
{
	int a = 10;
	int b = 20;
	m_Add(10, 20);//普通函数的调用;
	m_Add<>(a, b);函数模板的调用
}

3.函数模板也可以发生重载(和普通函数基本相同，深究可能会更复杂)
4.如果函数模板可以产生更好的匹配，优先调用函数模板

void m_Add(T a, T b)
{
	cout << "函数模板的调用" << endl;
}
void m_Add(int a, int b)
{
	cout << "普通函数的调用" << endl;
}
void test06()
{
	char a = 'a';
	char b = 'b';
	m_Add(a, b);
}

既然提供了函数模板，最好就不要提供普通函数（提供的函数模板可以达到此普通函数的作用），否则容易出现二义性
展示一段无用代码：

template<class T>
bool m_Compare(T& a, T& b)
{
	if (a == b)
	{
		return true;
	}
	return false;
}
void test06()
{
	int a = 10;
	int b = 20;
	if (m_Compare(a, b))
	{
		cout << "a,b相等" << endl;
	}
	else
	{
		cout << "两者不等" << endl;
	}

}
class Person
{
public:
	Person(string name, int age)
	{
		m_name = name;
		m_age = age;
	}
	string m_name;
	int m_age;
};
template<>bool m_Compare(Person& p1, Person& p2)
{
	if (p1.m_name == p2.m_name && p1.m_age == p2.m_age)
	{
		return true;
	}
	return false;
}
void test07()
{
	Person p1("张三",23);
	Person p2("赵四", 23);
	if (m_Compare(p1, p2))
	{
		cout << "是同一人" << endl;

	}
	else
	{
		cout << "不是同一人" << endl;
	}
}