14.1 - Function templates

The need for function templates

首先举例你想写一个返回两个数中的最大值，你可以写成这样

int max(int nX, int nY)
{
    return (nX > nY) ? nX : nY;
}

这个函数对于int型的数据可以很好的工作。可以如果以后要处理double型的数据怎么办呢？简单来说，你可以重载这个函数

double max(double dX, double dY)
{
    return (dX > dY) ? dX : dY;
}

这两个函数除了数据类型是完全一样的。虽然简单，但这有悖重复的代码应该越少越好的原则。

What is a function template?

在C++中，function templates是创建相似函数的模板。function template的基本想法是定义一个函数，却不制定其中部分或全部的变量类型。我们使用占位符，template type parameters来定义函数的变量类型。

显然我们不能直接调用function template，因为编译器不知道怎么处理占位符。所以使用的时候要指明真实的变量类型。

Creating function templates in C++

从第一个例子，我们可以发现有3个地方明确的指明了变量类型，参数nX, nY和返回值。创建function template就需要把这些变量类型替换成占位符.

template <typename Type> // this is the template parameter declaration
Type max(Type tX, Type tY)
{
    return (tX > tY) ? tX : tY;
}

现在，我们仔细分析一下template参数声明。首先是关键字template-这个关键字告诉编译器接下来是template参数列表。所有的参数都放在一对尖括号内。创建一个template类型参数，应该使用关键字typename或者class. 这两个关键字其实一样，但是许多人都使用class，但是笔者认为typename关键字更好，因为类型参数并不一定要是class类型。关键字后面就是占位符类型的名字。如果你有多个类型参数，应该用逗号分开

template <typename T1, typename T2>
// template function here

Using function templates

function template的使用很简单，就像一般函数一样。

int nValue = max(3, 7); // returns 7
double dValue = max(6.34, 18.523); // returns 18.523
char chValue = max('a', '6'); // returns 'a'

Template functions也有一些缺点，首先，老的编译器可能不能很好的支持。其次，难以调试。