C++ 模板函数测试（一）

• 模板函数

C++中的模板函数，简单理解就是一个可以初始化为任意类型参数的函数。

下面实现任意相同类型的加法运算。

// 数据的值可以通过函数参数传递，在函数定义时数据的值是未知的，只有等到函数调用时接收了实参才能确定其值。这就是值的参数化。
// 在C++中，数据的类型也可以通过参数来传递，在函数定义时可以不指明具体的数据类型(泛型)，当发生函数调用时，编译器可以根据传入的实参自动推断数据类型。这就是类型的参数化。
// 函数模板，实际上是建立一个通用函数，它所用到的数据的类型（包括返回值类型、形参类型、局部变量类型）可以不具体指定，而是用一个<虚拟的类型T>来代替（实际上是用一个标识符来占位），等发生函数调用时再根据传入的实参来逆推出真正的类型。这个通用函数就称为函数模板（Function Template）。
// 函数模板中，数据的值和类型都被参数化了，发生函数调用时编译器会根据传入的实参来推演形参的值和类型。换个角度说，函数模板除了支持值的参数化，还支持类型的参数化。
// 不能缩短可执行程序，最终代码将由两个独立函数定义

template <typename T>  // 模板头 //template <class T>
T ADD( T a, T b )
{
	return a + b;
}

在使用时，我们给他进行参数初始化

int a = ADD( 1, 2 );// 形式正确参数为int，int，符合模板定义

但是初始化参数必须是一致的，如不一致，则会报错。

int a = ADD( 1, 2.0 );// 形式(int, double)错误,与函数模板中(T, T)不一致

如果想要完成任意不同类型相加运算，前提这任意类型本可以相加。那么更改一下模板定义即可。

int a = ADD( 1, 2.0 ); // 这几个函数都是一个模板函数初始化而来，置于返回参数，因为C++支持类型转换，所以是不报错的
double b = ADD( 1, 2.0 );
int a = ADD( 1.0, 3 );

如果不想用第二个模板，也可以就用第一个ADD，那么传入类型强制为模板参数类型即可

int a = ADD( 1,int(2.0) );// 正确

学会之后，可以省掉很多函数了，只定义一个模板函数即可^-^。

这是我第一个博文，写得简略，若有问题，希望大家留言多多交流。