C++函数模板与普通函数的区别、调用规则和模板实现机制

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

区别就是普通函数可以进行隐式类型转换而模板不可以，测试以下函数：

#include<iostream>
using namespace std;

//普通函数与函数模板区别
template<class T>
T myPlus(T a, T b){//模板函数
	return a + b;
}
int myPlus2(int a, int b){//普通函数
	return a + b;
}
void test01(){
	int a = 10;
	int b = 20;
	char c = 'c'; // a = 97 
	//myPlus(a, c); //类型推导不出来 ,函数模板不可以进行隐式类型转换
	cout << myPlus2(a, c) <<endl; // 10 + 99  普通函数 可以进行隐式类型转换
}
int main(){
	test01();
	return EXIT_SUCCESS;
}

函数模板调用规则

1. c++编译器优先考虑普通函数
2. 可以通过空模板实参列表的语法限定编译器只能通过模板匹配
3. 函数模板可以像普通函数那样可以被重载
4. 如果函数模板可以产生一个更好的匹配，那么选择模板

#include<iostream>
using namespace std;

//普通函数和函数模板的调用规则
template<class T>
void myPrint(T a ,T b){
	cout << "模板调用的myPrint" << endl;
}
template<class T>
void myPrint(T a, T b ,T c){
	cout << "模板调用的myPrint(a,b,c)" << endl;
}
通过模板生成的函数  叫模板函数
//void myPrint(int a, int b, int c){}

void myPrint(int a, int  b){
	cout << "普通函数调用 myPrint" << endl;
}
void test01(){
	int a = 10;
	int b = 20;

	//1 、如果出现重载  优先使用普通函数调用,如果没有实现，出现错误
	myPrint(a, b);

	//2、 如果想强制调用模板 ，那么可以使用空参数列表
	myPrint<>(a, b);

	//3、 函数模板可以发生重载
	int c = 30;
	myPrint(a, b, c);

	//4、 如果函数模板可以产生更好的匹配，那么优先调用函数模板
	char c1 = 'c';
	char d = 'd';
	myPrint(c1, d);//调用模板
}
int main(){
	test01();
	return EXIT_SUCCESS;
}

模板实现机制

1. 编译器并不是把函数模板处理成能够处理任何类型的函数（比如类类型的比较）
2. 函数模板通过具体类型产生不同的函数
3. 编译器会对函数模板进行两次编译，在声明的地方对模板代码本身进行编译，在调用的地方对参数替换后的代码进行编译。