c++模板template范式编程

可以使用它来简化代码，分为函数模板和类模板

函数模板

如：我们想要实现一个可以返回两个数之和的函数。我们需要把所有的类型通通重载一遍。

int add(int x, int y)	//定义两个int类型相加的函数
{
	return x + y;
}

double add(double x, double y) //重载double类型
{
	return x + y;
}
//long，long long, float...
int main()
{
    add(x, y);//我们想写进任意类型的x, y必须在上面把所有类型的函数都重载出来。
}

但是通过模板就不一样了，代码将简化为：

template<class T>
T add(T t1, T t2)
{
    return t1 + t2;
}
int main()
{
    int x = 5, int y = 6;
    add(x, y); //隐式，系统将自动推断出来x, y是什么类型。
    add<int>(x, y);//显式
    return 0;
}

如果想实现两种不同类型的参数相加

template<class T1, class T2>
T1 add(T1 t1, T2 t2)
{
    return t1 + t2;
}
int main()
{
    int x = 5;
    double y = 10;
    add(x, y); //隐式，然会的是t1的类型
    add<int, double>(x, y); //显式
    return 0;
}

给模板参数一个固定值，可以弥补#define和const不能改变的特性，即它有一个默认值，但是也可以改变。

template <class T, int kMax=10>
T add(T x) {
    return kMax + x;
}

void test() {
    int x = 2;
    cout << add<int>(x) << endl; //输出12，即2 + 10
    cout << add<int, 20>(x, y) << endl; //可以改变默认值，输出22，即2 + 20
}

模板特化

在函数模板add中，如果传递的参数是char *指针时，程序就会出现问题。对于这种情况，我们有两种解决方案：一是直接重载一个版本，二是针对于这种情况设置模板特化版本。

特化版本的函数模板格式如下：

template后直接跟<>，里面不写类型，在函数名后跟<>，其中写要特化的类型

template <>
const char * add<const char *>(const char * p1, const char * p2)
{
    char * tmp = new char[strlen(p1) + strlen(p2) + 1]();
    strcpy(tmp, p1);
    strcat(tmp, p2);
    return tmp;
}

普通类的成员函数模板

一句话解释，就是函数模板也可以在类内部使用

class A
{
public:
	template <class T>
	void printElements(T t1, T t2)
	{
		cout << t1 << t2 << endl;
	}
};

类模板

即为类定义一个模板，让某些成员函数的返回值能够取任意类型（包括系统预定义和用户自定义）

类模板定义形式，以stack为例：

template <class T, int kMaX = 10>
class stack
{
private:
    T *_data;  //这样的话data就可以是任意类型了我们不需要int、double、等等都写一遍了。
}
};