模板与泛型编程之实现（归并排序）

昨夜突然遇到一道编程，需要查看一趟归并之后，字符串数组的排序情况。因为平时用的程序是基于整型数组，所以就在原有基础上改变了数组参数。此时突然想到，为何不用模板编程的思想改成通用模板函数，这样不管输入的数组是什么类型，都可以进行类似的计算。

好，下面就来实践下如何实现泛型函数

首先是定义一个泛型函数：

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

模板定义以关键字template开始后跟一个模板参数列表，用<>号包围起来，里面的参数以逗号分隔。所以下面，就贴出归并排序，Merge函数的模板代码：

template <typename T>
void  Merge( T *array, int first, int mid, int last, T *temp)
{
	int i = first;
	int j = mid + 1;
	int k = 0;
	while (i <= mid&&j <= last)
	{
		if (array[i] <= array[j])
			temp[k++] = array[i++];
		else
			temp[k++] = array[j++];
	}

	while (i <= mid)
		temp[k++] = array[i++];

	while (j <= last)
		temp[k++] = array[j++];

	for (int i = 0; i < k; i++)
		array[i + first] = temp[i];
}

然后是归并排序递归调用的总函数：

void MergeSort(const T *array,int start,int end,T *temp)
{
	int mid = 0;
	if (start < end)
	{
		mid = (start + end) / 2;
		MergeSort( array, start, mid, temp);
		MergeSort( array, mid + 1, end, temp);
		Merge<T>( (T *)array, start, mid, end, temp);//这里注意Merge<T>，这是实例化的格式要求，必须给出额外信息给编译器，告诉编译器实际调用那个函数模板
	}
}

下面定义完模板之后，在使用时，还必须实例化模板函数，我么那必须的提供额外信息。这些额外信息是显示模板实参，例如我们实例化两个Blob函数：

Blob<int>(const T*array);
Blob<char>(const T*array);

这个实例化过程是在调用时必须确定的。

好，下面贴出主函数调用代码：

int _tmain(int argc, _TCHAR* argv[])
{

	int n = 0;
	printf("please input a total element of sequence: ");
	scanf_s("%d", &n);
	int *temp1 = new int[n];		
	char *temp2 = new char[12];
	int *a = new int[n];
	char b[] = { 'Q', 'D', 'F', 'X', 'A', 'P', 'N', 'B', 'Y', 'M', 'C', 'W' };

	printf("Please enter a serial number to sort:\n");
	for (int i = 0; i < n; i++)
	{
		a[i] = rand() % 100;
	}

	for (int i = 0; i < n; i++)
		printf("%4d", a[i]);
	printf("\n");

	MergeSort<int>(a, 0, n - 1, temp1);//必须实例化MergeSort函数，
	                                                        //提供额外信息，编译器才能使用这些
	MergeSort<char>(b, 0, 11, temp2);//模板实参来实例化出特定的类

	for (int i = 0; i < 12; i++)
		printf("%4d", a[i]);
	for (int i = 0; i < 12; i++)
		printf("%4c", b[i]);

	delete[]temp1;
	delete[]temp2;

	delete[]a;
	return 0;
}