函数模板

思考：C++中交换两个变量的值

void Swap(int& a, int& b){
	int t = a;
    a = b;
    b = t;
}
void Swap(float& a, float& b){
    float t = a;
    a = b;
    b = t;
}
void Swap(char*& a, char*& b){
    char* t = a;
    a = b;
    b = t;
}

tips:

除了类型不同，函数体代码完全相同！

思考：C++强调代码复用！ 那如何解决这个代码冗余的问题呢？

泛型编程

泛型编程的概念

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

对于Swap函数可以考虑下面的泛型写法

void Swap(T& a, T& b){
    T t = a;
    a = b;
    b = t;
}

Swap泛型写法中的T不是一个具体的数据类型，而是泛指任意的数据类型。

C++中的泛型编程

函数模板：

​ 提供一种特殊的函数可用不同类型进行调用

​ 看起来和普通函数很相似，区别是类型可被参数化

template <typename T> 
void Swap(T& a, T& b){
    T t = a;
    a = b;
    b = t;
}

函数模板的语法规则:

​ template关键字用于声明开始进行泛型编程

​ typename关键字用于声明泛指类型

函数模板的应用：

​ 自动类型推导调用

​ 具体类型显示调用

代码实例 泛型编程初体验

#include <cstdlib>
#include <iostream>

using namespace std;

template<typename T> 
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;
}

代码实例2 泛型排序算法

#include <cstdlib>
#include <iostream>

using namespace std;

template<typename T>
void Swap(T& a, T& b)
{
    T t = a;
    a = b;
    b = t;
}

template<typename T>
void SelectSort(T array[], int length)
{
    for(int i=0; i<length; i++)
    {
        T min = array[i];
        int index = i;
        
        for(int j=i+1; j<length; j++)
        {
            if( array[j] < min )
            {
                min = array[j];
                index = j;
            }
        }
        
        Swap(array[i], array[index]);
    }
}

int main(int argc, char *argv[])
{
    int array[] = {3, 2, 5, 3 , 4};
    
    SelectSort<int>(array, 5);
    
    for(int i=0; i<5; i++)
    {
        cout<<array[i]<<endl;
    }
    
    char ca[] = {'b', 'c', 'a', 'e', 'd', 'f'};
    
    SelectSort<char>(ca, 6);
    
    for(int i=0; i<6; i++)
    {
        cout<<ca[i]<<endl;
    }
    
    cout << "Press the enter key to continue ...";
    cin.get();
    return EXIT_SUCCESS;
}

函数模板的深入理解

​ 编译器并不是把函数模板处理成能够处理任意类型的函数

​ 编译器从函数模板通过具体类型产生不同的函数

​ 编译器会对函数模板进行两次编译

​ 在声明的地方对模板代码本身进行编译

​ 在调用的地方对参数替换后的代码进行编译

当函数模板遇上函数重载会怎么样？

函数模板与重载

函数模板可以像普通函数一样被重载

​ C++编译器优先考虑普通函数

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

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

#include <cstdlib>
#include <iostream>

using namespace std;

int Max(int a, int b)
{
    cout<<"int Max(int a, int b)"<<endl;
    return a > b ? a : b;
}

template<typename T>
T Max(T a, T b)
{
    cout<<"T Max(T a, T b)"<<endl;
    return a > b ? a : b;
}

template<typename T>
T Max(T a, T b, T c)
{
    cout<<"T Max(T a, T b, T c)"<<endl;
    return Max(Max(a, b), c);
}


int main(int argc, char *argv[])
{
    int a = 1;
    int b = 2;
    
    cout<<Max(a, b)<<endl; //调用普通函数 
    cout<<Max<>(a, b)<<endl; //强制调用模板 
    
    cout<<Max(3.0, 4.0) <<"\n"<<endl; //此处调用模板 
    
    cout<<Max(5.0, 6.0, 7.0)<<"\n"<<endl;

	//cout<<Max(5, 6, 7)<<"\n"<<endl; //会怎么调用哪？
    
    cout<<Max('a', 100)<<endl; //函数模板不允许自动类型转化，普通函数能够进行自动类型转换，所以此处调用 int Max(int a, int b)
    
    cout << "Press the enter key to continue ...";
    cin.get();
    return EXIT_SUCCESS;
}

tips:

函数模板不允许自动类型转化

普通函数能够进行自动类型转换

多参数函数模板

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

多个类型参数的模板可以进行自动类型推导吗？

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

cout <<Add<char, float, double>('a', 100.0f) <<endl;
//    cout <<Add('a', 100.0f) <<endl; //error 不能自动推导 

C++编译器的不完美解决方案

将返回类型参数声明到第一个参数位置，调用时只需显示声明返回类型参数即可

#include <cstdlib>
#include <iostream>

using namespace std;


template<typename RT, typename T1, typename T2>
RT Add(T1 a, T2 b)
{
    return static_cast<RT>(a + b);
}


int main(int argc, char *argv[])
{
    cout<<Add<double, char, float>('a', 100.0f)<<endl;
    cout<<Add<double>('a', 100.0f)<<endl;
    
    cout << "Press the enter key to continue ...";
    cin.get();
    return EXIT_SUCCESS;
}

小结

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

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

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

函数模板可以被重载