C++ 泛型编程

模板(Template)

简单的说，模板是一种通用的描述机制，当使用模板时允许使用通用类型来定义函数或类等。模板引入了一种全新的编程思维方式，称为"泛型编程"或"通用编程"。

类型参数化

先看下面的示例代码：

#include<iostream>
#include<string>

using namespace std;

int add(const int a, const int b)
{
    cout<<"func 1"<<endl;
    return a + b;
}

double add(const double a, const double b)
{
    cout<<"func 2"<<endl;
    return a + b;
}

char* add(char* a, const char* b)
{
    cout<<"func 3"<<endl;
    return strcat(a, b);
}

int main()
{
    cout<<add(1, 2)<<endl;
    cout<<add(1.0, 2.02)<<endl;
    char x[20] = "Hello";
    char y[] = " c++";
    cout<<add(x, y)<<endl;
    return 0;
}

运行结果如下：

func 1
3
func 2
3.02
func 3
Hello c++

上面代码分别重载了三个add函数，编译器根据传递的参数决定调用的函数。

下面是使用了函数模板的示例：

#include<iostream>
#include<string>

using namespace std;

template<class T>
T add(const T& a, const T& b)
{
    return a + b;
}

int main()
{
    cout<<add(1, 2)<<endl;
    cout<<add(1.0, 2.02)<<endl;
    string x = "Hello";
    string y = " c++";
    cout<<add(x, y)<<endl;
    return 0;
}

运行结果如下：

3
3.02
Hello c++

模板的定义

template<class T>

或者

template<typename T>

函数模板

template<模板参数表>
返回类型 函数名(参数表)
{
//函数体
}

显示实例化

template 返回类型 函数名<类型实参表>(函数参数表);

特化

template<>返回类型 函数名[<类型实参表>](函数参数表)
{
//函数体
}