泛型编程——模板及模板的特例化

1. 简介

　　面向对象编程（OOP）和泛型编程都能处理在编写程序时不知道类型的情况。不同之处在于：OOP能处理类型在程序运行之前都未知的情况；而泛型编程中，在编译时就能获知类型了。

　　 模板是C++中 泛型编程的基础。一个模板就是一个创建类或函数的蓝图或者说公式。当使用一个vector这样的泛型类型，或者find这样的泛型函数。这种转换发生在编译时。

　　编写单一模板，使之对任何可能的模板实参都是最合适的，都能实例化，这并不总是能办到。在某些情况下，通用模板的定义对特定类型是不合适的：通用定义可能编译失败或做得不正确。其他时候，我们也可以利用某些特定知识来编写更高效的代码，而不是从通用的模板 实例化。当我们不能（或不希望）使用模板版本时，可以定义类或函数模板的一个特例化版本。

　　在这里我们主要说说 模板和 模板的特例化。

2. 函数模板

　　我们可以定义一个通用的函数模板，而不是为每个类型都定义一个新函数。一个函数模板就是一个公式，可用来生成针对特定类型的函数版本。

　　假如我们希望编写一个函数来比较两个值，并指出第一个值是小于、等于或大于第二个值。我们的一种方案是定义多个重载函数：

// 如果两个值相等，返回0，如果v1小于v2返回-1，如果v1大于v2返回1

int compare(const std::string &v1, const std::string &v2)
{
	if (v1 < v2)
		return -1;

	if (v1 > v2)
		return 1;

	return 0;
}

int compare(const double &v1, const double &v2)
{
	if (v1 < v2)
		return -1;

	if (v1 > v2)
		return 1;

	return 0;
}

　　这两个函数几乎是相同的，唯一的差异就是参数的类型，函数体则完全一样。

　　如果对每种希望比较的类型都不得不重复定义完全一样的函数体，是非常繁琐且容易出错的。更麻烦的是在编写程序的时候，我们就要确定可能要compare的所有类型。

　　对此，我们的解决方案是定义一个通用的函数模板，而不是为每个类型都定义一个新函数。一个函数模板就是一个公式，可用来生成针对特定类型的函数版本。compare的模板版本可能像下面这样：

templete<typename T>
int compare(const T &v1, const T &v2)
{
	if (v1 < v2)
		return -1;

	if (v1 > v2)
		return 1;

	return 0;
}

　　当我们调用一个函数模板时，编译器用函数实参来为我们推断模板实参。编译器用推断出的模板来为我们实例化一个特定版本的函数。

std::cout << compare(1, 0) << std::endl;	//实例化出——int compare(const int &v1, const int &v2)

std::cout << compare(str1, str2) << std::endl;	//实例化出——int compare(const std::string &v1, const std::string &v2) 
						//其中std::string str1, str2;

　　看上去我们的函数模板似乎没什么问题，但是我们定义的函数的通用模板并不适合字符指针这种特定的情况。我们希望的是通过compare调用strcmp比较两个字符指针而非比较指针值。

　　为了处理字符指针，可以为我们的compare函数模板定义一个模板特例化版本。一个特例化版本就是模板的一个独立的定义，在其中一个或多个模板参数被指定为特定的类型。

　　当我们特例化一个函数模板时，必须为原模板中的每个模板参数都提供实参。

// compare 的特殊版本，处理字符数组的指针
templete<>
int compare(const char *const &p1, const char * const &p2)
{
	return strcmp(p1, p2);
}

　　当定义函数模板的特例化版本时&#x