C++泛型编程----（一）模板函数

泛型编程：编写与类型无关的代码，提高代码利用率。
模板是泛型编程的基础
一、模板函数
它不是真的函数，代表了一个函数家族，该函数与类型无关，在使用时被参数化，根据实参类型产生函数的特定类型版本。

1、模板的定义：

//模板的格式：
//template<class 形参1,class 形参2,...,class 形参名n>
//返回类型 函数名（参数列表）
//{...}
template<typename T>//形参列表
T Add(T left, T right)
{
    return left + right;
}

typename 是用来定义模板参数关键字，也可以使用class，建议尽量使用 typename
注意：不能使用 struct 代替 typename

2、模板的调用

template<typename T>
T Add(T left, T right)
{
    return left + right;
}
int main()
{
    cout << Add(1, 2) << endl;
    cout << Add(1.5, 2.5) << endl;
    cout << Add('1', '2') << endl;
    cout << Add<int>('1', 2) << endl;//显式实例化，否则编译器将无法确定T的类型

    getchar();
    return 0;
}

还有一种方式解决两个参数类型不同的方法：

template<typename T1, typename T2>
T1 Add(T1 left, T2 right)
{
    return left + right;
}
int main()
{

    cout << Add('1', 2) << endl;


    getchar();
    return 0;
}

3、类型形参转换

//const 转换
template<typename T>
void FunTest(const T& a)
{
    cout << typeid(a).name() << endl;
}

int main()
{
    int b;
    FunTest(b);
    getchar();
    return 0;
}

//函数到指针的转换
template<typename T>
void FunTest(const T& a)
{
    cout << typeid(a).name() << endl;
}
void M()
{
    cout << "M()" << endl;
}
int main()
{
    FunTest(M);
    getchar();
    return 0;
}

4、模板参数
名字屏蔽规则：

typedef int T;
template<typename T>
void FunTest(const T a)
{
    cout << typeid(a).name() << endl;
}
T a;
int main()
{

    FunTest('1');
    cout << "a Type = " << typeid(a).name() << endl;
    getchar();
    return 0;
}

模板形参的名字在同一模板形参列表中只能使用一次

在函数模板内部不能指定缺省的模板实参
（1）类型形参

（2）非模板类型参数
如数组长度：

//
template<typename T,int N>
void FunTest( T(& arr)[N])
{
    cout << typeid(T).name() << endl;
}
int main()
{
    int a[10];
    FunTest(a);

    getchar();
    return 0;
}

代码实现：

template<typename T,int N>
void FunTest( T(& arr)[N])
{
    cout << typeid(T).name() << endl;
}
int main()
{
    int a[10];
    FunTest(a);
    int b[9];
    FunTest(b);
    getchar();
    return 0;
}

5、模板函数重载

template<typename T>
T Max(const T& left, const T& right)
{
    cout << "模板 -> Max()" << endl;
    return left > right ? left : right;
}
int Max(int left, int right)
{
    cout << "普通 -> Max()" << endl;
    return left > right ? left : right;
}
int main()
{

    Max(1, 2);
    Max('a', 'c');
    Max(1, 'a');
    getchar();
    return 0;
}

6、模板函数特化
—— 特殊情况处理
下面来看一段代码：

template<typename T>
T Max(const T& left, const T& right)
{
    if (left > right)
    {
        return left;
    }
    return right;
}

void Test()
{
    char* p1 = "I want sleep";
    char* p2 = "I can fly ";
    int c = strcmp(p1, p2);//验证比较的字符串，s1>s2?1:-1
    cout << " c = " << c << endl;
    cout<<"Max(p1, p2) = "<< Max(p1, p2)<<endl;//比较字符串
}
int main()
{
    cout<<"Max(1, 2) = "<< Max(1, 2)<<endl;
    cout<<"Max('a', 'c') = "<< Max('a', 'c')<<endl;
    Test();
    getchar();
    return 0;
}

代码实现：

template<typename T>
T Max(const T left, const T right)
{
    if (left > right)
    {
        return left;
    }
    return right;
}
template<>
char* Max<char*>( char* const pleft,  char* const pright)
{
    char* str = pleft;
    char* cur = pright;
    while (*str == *cur)
    {
        str++;
        cur++;
    }
    if (*str > *cur)
    {
        return pleft;
    }
    else
        return pright;

}
void Test()
{
    char* p1 = "I want sleep";
    char* p2 = "up sky ";
    int c = strcmp(p1, p2);//验证
    cout << " c = " << c << endl;
    cout<<"Max(p1, p2) = "<< Max(p1, p2)<<endl;
}
int main()
{
    Test();
    getchar();
    return 0;
}