函数模板
模板是泛型编程的基础。所谓泛型编程就是编写与类型无关的逻辑代码,是一种复用的方式。模板分为模板函数和模板类。
例如:如果是交换两个数据,我们会定义对应类型的函数,比如要交换int类型数据,我们会定义int类型swapp函数,如果是交换double类型数据,会再定义double类型交换函数。
函数模板格式
template<typename 形参名1,typename 形参名2,typename形参名3>
返回类型 函数名(参数列表)
{…}
模板参数的定义既可以用typename或class
具体实例:
#include <bits/stdc++.h>
using namespace std;
//让编译器区分是普通函数还是模板函数
template<class T> //或者:template<typename a>
void swapp(T&a,T&b){
T temp=a;
a=b;
b=temp;
}
int main(){
int a=6;
int b=10;
// 1.自动类型推导
cout<<"a="<<a<<" b="<<b<<endl;
swapp(a,b);
cout<<"a="<<a<<" b="<<b<<endl;
// 2.显式的指定类型
swapp<int>(a,b);
return 0;
}
函数模板与模板函数
函数模板和普通函数的区别
函数模板不允许自动类型转化
普通函数能够自动进行类型转化
函数模板和普通函数一起调用规则
1.函数模板和普通函数同名情况下,且传参类型和普通函数里的类型匹配C++编译器优先考虑普通函数。
若想调用函数模板,则在函数模板名字后加上<>
例如:myadd<>(a,b);这样的形式
2.如果函数模板可以产生一个更好的匹配,那么选择模板
通过下面几个例子帮助我们更好理解:
1.对此段话的理解:函数模板和普通函数同名情况下,且传参类型和普通函数里的类型匹配C++编译器优先考虑普通函数。
#include <bits/stdc++.h>
using namespace std;
//让编译器区分是普通函数还是模板函数
template<class T> //或者:template<typename a>
void swapp(T&a,T&b){
T temp=a;
a=b;
b=temp;
}
void swapp(int a,int b){
int temp=a;
a=b;
b=a;
cout<<"被调用!!! "<<endl;
}
int main(){
int a=6;
int b=10;
cout<<"a="<<a<<" b="<<b<<endl;
swapp(a,b);
cout<<"a="<<a<<" b="<<b<<endl;
return 0;
}
编译后:
2.对此段话的理解:若想调用函数模板,则在函数模板名字后加上<>
#include <bits/stdc++.h>
using namespace std;
//让编译器区分是普通函数还是模板函数
template<class T> //或者:template<typename a>
void swapp(T&a,T&b){
T temp=a;
a=b;
b=temp;
}
void swapp(int a,int b){
int temp=a;
a=b;
b=a;
cout<<"被调用!!! "<<endl;
}
int main(){
int a=6;
int b=10;
cout<<"a="<<a<<" b="<<b<<endl;
swapp<>(a,b);
cout<<"a="<<a<<" b="<<b<<endl;
return 0;
}
编译后:
3.对此段话的理解:如果函数模板可以产生一个更好的匹配,那么选择模板
#include <bits/stdc++.h>
using namespace std;
//让编译器区分是普通函数还是模板函数
template<class T> //或者:template<typename a>
void swapp(T&a,T&b){
T temp=a;
a=b;
b=temp;
}
void swapp(int a,int b){
int temp=a;
a=b;
b=a;
cout<<"被调用!!! "<<endl;
}
int main(){
double a=6.2;
double b=10.4;
cout<<"a="<<a<<" b="<<b<<endl;
swapp(a,b);
cout<<"a="<<a<<" b="<<b<<endl;
return 0;
}
编译后: