泛型编程的概念:
不考虑具体数据类型的编程模式
C++ 中泛型编程:
函数模板
提供一种特殊的函数可用不同类型进行调用;
看起来和普通函数很相似,区别是类型可被参数化;
template<typename T>//template告诉编译器开始泛型编程了,typename表示泛指类型声明
void Swap(T& a, T& b)
{
T t = a;
a = b;
b = t;
}
int main(int argc, char *argv[])
{
int a = 1;
int b = 2;
Swap(a, b);//自动类型推导方式
cout<<"a = "<<a<<endl;
cout<<"b = "<<b<<endl;
float fa = 3;
float fb = 4;
Swap<float>(fa, fb);//具体类型显示调用
cout<<"fa = "<<fa<<endl;
cout<<"fb = "<<fb<<endl;
char ca = 'a';
char cb = 'b';
Swap(ca, cb);
cout<<"ca = "<<ca<<endl;
cout<<"cb = "<<cb<<endl;
cout << "Press the enter key to continue ...";
cin.get();
return EXIT_SUCCESS;
}
函数模板的深入理解:
编译器并不是把函数模板处理成能够处理任意类型的函数;
编译器从函数模板通过具体类型产生不同的函数;
编译器会对函数模板进行两次编译;
在声明的地方对模板代码本身进行编译;
在调用的地方对参数替换后的代码进行编译;
函数模板可以像普通函数一样被重载:
C++ 编译器优先考虑普通函数;
如果函数模板可以产生一个更好的匹配, 那么选择模板;
可以通过空模板实参列表的语法限定编译器只通过模板匹配;
函数模板不允许自动类型转化
普通函数能够进行自动类型转换
函数模板可以定义任意多个不同的类型参数;
当声明的类型参数为返回值类型时 ,无法进行自动类型推导。
函数模板其实是一个具有相同行为的函数家族;
函数模板可以根据类型实参对函数进行推导调用;
函数模板可以显示的指定类型参数;
函数模板可以被重载;