函数模板

泛型编程的概念：

不考虑具体数据类型的编程模式

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++  编译器优先考虑普通函数;

如果函数模板可以产生一个更好的匹配，  那么选择模板;

可以通过空模板实参列表的语法限定编译器只通过模板匹配;

函数模板不允许自动类型转化
普通函数能够进行自动类型转换

函数模板可以定义任意多个不同的类型参数;

当声明的类型参数为返回值类型时 ,无法进行自动类型推导。

函数模板其实是一个具有相同行为的函数家族；

函数模板可以根据类型实参对函数进行推导调用；

函数模板可以显示的指定类型参数；

函数模板可以被重载；