函数模板概念及实现原理

函数模板概念及实现原理

C++为我们提供了函数模板机制。所谓函数模板，实际上是建立一个通用函数，其函数类型和形参类型不具体指定，用一个虚拟的类型来代表。这个通用函数就称为函数模板。

  换一种说法：模板是对类型的参数化，对函数类型（包括返回类型和参数类型）进行参数化，就可以使用函数处理某个类型范围的若干种类型的对象，而函数体则不需要改变。

  凡是函数体相同的函数都可以用这个模板来代替，不必定义多个函数，只需在模板中定义一次即可。在调用函数时系统会根据实参的类型来取代模板中的虚拟类型，从而实现了不同函数的功能。

 为什么要有函数模板？？

下面，我们就通过一个例子来说明为什么需要有函数模板。

需求：写n个函数，交换char类型、int类型、double类型变量的值。

首先如果不适用函数模板的话，我们的代码需要这样写：

void swap(int &a, int &b)  
{  
    int t = a;  
    a = b;  
    b = t;  
}  
void swap(char &a, char &b)  
{  
    char t = a;  
    a = b;  
    b = t;  
}

这样写很麻烦，还要写double，short等多个函数，肯定不推荐，下面是使用函数模板改进上述代码交换两数值：

#include<iostream>
using namespace std;
//template 关键字告诉C++编译器 我要开始泛型编程了.你不要随便报错    
//数据类型T 参数化数据类型  
template <typename T>
void _swap(T &a, T &b)
{
	T t;
	t = a;
	a = b;
	b = t;
}

void main(int argc,char *argv[])
{
	int  x = 1;
	int  y = 2;
	_swap(x, y); //自动数据类型 推导的方式    x=2,y=1

	float a = 2.0;
	float b = 3.0;
	_swap(a, b); //自动数据类型 推导的方式    a=3.0,b=2.0

	_swap<float>(a, b); //显示类型调用        a=2.0,b=3.0

	cout << "hello" << endl;
	return 0;
}

显然这样写，大大的减少了代码量；避免定义多余的重载函数，提高了开发效率。

1、函数模板定义语法

template<模板参数列表>
返回类型   函数名   (函数参数列表)
{
       函数体
}

函数模板参数列表用逗号分隔，且不可以为空，例如：

<template T1, typename T2, int num ,double volue>

上述T1、T2代表两种数据类型，可以是内置类型，也可以是自定义类型。

定义一个求最小值的函数模板：

template<typename Type>
Type minValue(Type array[], int n)
{
	Type MinVal = 0;
	for (int i = 0; i < n; i++)
	{
		if (array[i] < MinVal)
		{
			MinVal = array[i];
		}
	}
	return MinVal;
}

2、函数调用

_swap(x, y); //自动数据类型 推导的方式   
_swap<float>(a, b); //显示类型调用

3、使用非类型参数

template<class Type,int size>        //定义函数模板，类型参数Type,非类型参数size
Type minValue(Type array[], int n = size)  //接收默认为size的数组长度
{
	Type MinVal = 0;
	for (int i = 0; i < n; i++)      //遍历数组
	{
		if (array[i] < MinVal)
		{
			MinVal = array[i];
		}
	}
	return MinVal;
}

4、函数模板做函数参数

#include<iostream>
using namespace std;
template<typename T, typename T2>
void bubbleSortArray(T *a, T2 num)
{
	T tmp;
	int i, j;
	for (i = 0; i<num; i++)
	{
		for (j = i + 1; j<num; j++)
		{
			if (a[i] < a[j])
			{
				tmp = a[i];
				a[i] = a[j];
				a[j] = tmp;
			}
		}
	}
}

template<class T>
void pirntArray(T *a, int num)
{
	int i = 0;
	for (i = 0; i<num; i++)
	{
		cout << a[i] << " ";
	}
	cout << endl;
}

void test()
{
	int num = 0;
	char a[] = "ddadeeettttt";
	num = strlen(a);

	cout << "排序之前" << endl;
	pirntArray<char>(a, num);

	bubbleSortArray<char, int>(a, num); //显示类型调用 模板函数 <>  
	cout << "排序之后" << endl;
	pirntArray<char>(a, num);
	cout << endl;
}

int main()
{
	test();
	return 0;
}