C++函数模板

目录

简介

函数模板的建立

函数模板注意事项

普通函数与函数模板的区别

普通函数和模板函数的调用规则

函数模板的局限性

---

简介

C++一种编程思想称为泛型编程，主要利用的技术就是模板

C++提供两种模板机制:函数模板和类模板。这里介绍函数模板，类模板在该专题下的另外篇文章中。

函数模板作用:建立一个通用函数，其函数返回值类型和形参类型可以不具体指定，用一个虚拟的类来表达。

函数模板的建立

template<typename T>
函数声明或定义

template 声明创建模板

typename 表面其后面的符号是一种数据类型，可以用class代替

T 通用的数据类型，名称可以替换

案例:

#include<iostream> 
using namespace std; 
template<typename T>
void mySwap(T& a, T& b)
{
	T temp = a;
	a = b;
	b = temp;
}
int main() 
{  
	int a = 10,b = 20;

	//1.自动类型推导
	mySwap(a, b);
	cout << "a="<<a << " b=" << b << endl;
	//2.显示指定类型
	mySwap<int>(a, b);
	cout << "a="<<a << " b=" << b << endl;
	return 0; 
}

函数模板注意事项

1.自动类型推到必须推出一致的数据类型T才可以使用

2.模板必须要确定出T的数据类型才能够使用

#include<iostream> 
using namespace std; 
template<typename T>
void mySwap(T& a, T& b)
{
	T temp = a;
	a = b;
	b = temp;
}
template<typename T>
void fun() {
	cout << "fun调用" << endl;
}
int main() 
{  
	//1.模板必须T一致
	int a = 10;
	double b = 20;
	//mySwap(a, b);错误
	
	//2.模板必须确定T类型才可以使用
	fun<int>();
	return 0; 
}

普通函数与函数模板的区别

1.普通函数调用时可以发送自动类型转换(隐式类型转换)

2.函数模板调用时，如果利用自动类型推导，不会发生隐式类型转换

3.如果利用显示指定类型的方式，可以发生隐式类型转换

#include<iostream> 
using namespace std; 
//普通函数
int myAdd01(int a, int b) {
	return a + b;
}
//函数模板
template<typename T>
T myAdd02(T a, T b) {
	return a + b;
}
int main() 
{  
	int a = 10;
	int b = 20;
	char c = 'c';
	cout << myAdd01(a, c) << endl;

	//myaddd02(a,c)报错
	cout<<myAdd02<int>(a, c)<<endl;//正确，显示指定类型可以发生隐式类型装好
	return 0; 
}

普通函数和模板函数的调用规则

1.如果函数模板和普通函数都可以实现，优先调用模板函数

2.可以通过空模板参数列表来强制调用函数模板

3.函数模板也可以发生重载

4.如果函数调用可以产生更好的匹配，优先调用函数模板

函数模板的局限性

template<class T>
void f(T a, T b)
{
    a = b;
}

这里的传入a和b是一个数组就无法实现了

template<class T>
void f(T a, T b)
{
    if(a > b) { ... }
}

这里如果传入的数据类型T是一个Person这样的自定义数据类型，也无法正常运行

为了解决这种问题，提供模板的重载，可以为这些特定类型提供具体化的模板

#include<iostream> 
using namespace std; 
class Person {
public:
	Person(string name,int age) {
		this->m_name = name;
		this->m_age = age;
	}
	string m_name;
	int m_age;
};
//普通函数模板
template<class T>
bool myCompare(T& a, T& b) {
	if (a == b)
		return true;
	return false;
}
//具体化，显示具体化的类型以temlate<>开头，并通过名称来指出类型
//具体化优先于常规模板
template<> bool myCompare(Person& p1, Person& p2) {
	if (p1.m_name == p2.m_name && p1.m_age == p2.m_age)
		return true;
	return false;
}
int main() 
{  
	Person p1("p1", 10);
	Person p2("p2", 10);
	if (myCompare(p1, p2))
		cout << "yes" << endl;
	else
		cout << "no" << endl;
	return 0; 
}