C++ 函数模板与模板函数

模板介绍

模板的作用和面向对象是一致的，都是为了能够尽可能的代码复用，函数模板可以实现类型参数化，从而实现代码的可复用性，这充分体现了C++的一种思想：泛型编程。

模板分类

模板分为两种，一种是函数模板，一种是类模板。
函数方面可以分为：函数模板和模板函数（其实是同一个东西）。
类方面可以分为：类模板和模板类。

一、函数方面

没怎么用过模板函数的人很容易记混函数模板和模板函数的概念。
函数模板，模板在后则这个就是函数定义，用于产生实例函数的模板。
模板函数，函数在后则这个就是函数实例，使用模板生成出的实例函数。

函数模板定义

// 定义形式
template <typename T> // 别名 typename也可使用class替换
返回类型 函数名称（形式参数列表）
{
	// 函数定义主体
}

// 函数模板
template <typename T>
T max(T t1 , T t2)
{
	return (t1 > t2) ? t1 : t2;
}

// 模板函数
int a = 10;
int b = 20;
// 函数模板的实例化，称作模板函数
std::cout << max(a,b) << std::endl; // 自动类型推导

// 当然你也可以手动指定类型
std::cout << max<int>(a,b) << std::endl;

说明

1. Templeate 是关键字，声明形参的typename就是别名的意思。
2. 函数模板被调用实例化时，编译器会根据实际类型来生成模板函数。
   
   

函数模板扩展示例

1. 多类型模板示例

#include <iostream>

// 使用两种类型，当然也可以三种四种
template <typename T , typename T1>
bool compare(T t , T1 t1)
{
	return (t > t1);
}

int main()
{
	int a = 10;
	char c = 'a';
	
    // 还记得不同类型是如何比较的吗？
	std::cout << "compare:" << compare(a,c) << std::endl;
	// 指定类型
    std::cout << "compare:" << compare<int,char>(c,a) << std::endl;
	return 0;
}

2. 编写一个排序功能的模板

/*
选择排序（Selection Sort）是一种简单直观的排序算法，无论什么数据进去都是 O(n²) 的时间复杂度。
所以用到它的时候，数据规模越小越好。唯一的好处可能就是不占用额外的内存空间吧。

1. 算法步骤
1）首先在未排序的序列中找到最小或最大的元素，存放到排序序列的起始位置。
2）再从剩余未排序元素中继续寻找最小或最大的元素，然后放到已排序序列的末尾。
3）重复第二步，直到所有元素均排序完毕。
*/

#include <iostream>

#define ARR_MAX_SIZE 10

// 交换函数模板
template <typename T>
void swap(T &a , T &b)
{
    T temp = a;
    a = b;
    b = temp;
}

// 打印函数模板
template <typename T>
void Printf(T array[] , int arr_length)
{
    for(int i = 0 ; i < arr_length; i++)
    {
        std::cout << array[i] << " " ;
    }
    std::cout << std::endl;
}

namespace Sort
{
// 排序函数模板
template <typename T>
void SelectionSort(T vec[] , int len)
{
    for(int i = 0; i < len - 1; ++i)
    {
        // 索引指向第一个元素
        int index = i;
        // 从第二个元素开始
        for(int j = i + 1; j < len; ++j)
        {
            // 如果第二个元素小于第一个元素
            if(vec[j] < vec[index])
            {
                // 保存遇到的比上一个小的元素的索引
                index = j;
            }
        }
        
        // 查找完毕，判断是否遇到小的情况
        if(index != i)
        {
            // 将遇到的小的元素进行交换
            swap(vec[index],vec[i]);
        }
    }
}
}

int main()
{
    int ivec[ARR_MAX_SIZE] = { 8,9,10,2,1,11,8,12,3,6 };
    char cvec[ARR_MAX_SIZE] = { 'e','b','a','c','q','x','f','z','y','o' };

    // 模板函数 - 自动推导类型
    Printf(ivec,ARR_MAX_SIZE);
    Sort::SelectionSort(ivec,ARR_MAX_SIZE);
    std::cout << "  Selection Sort Complete!" << std::endl;
    Printf(ivec,ARR_MAX_SIZE);
    
    // 模板函数 - 指定类型
    Printf<char>(cvec,ARR_MAX_SIZE);
    Sort::SelectionSort<char>(cvec,ARR_MAX_SIZE);
    std::cout << "  Selection Sort Complete!" << std::endl;
    Printf<char>(cvec,ARR_MAX_SIZE);
	
    return 0 ;
}

由上述示例的函数模板已经可以看出模板的强大，尤其是现在市场上稍强些的软件开发公司都在使用泛型编程了，作为一个C++应用程序开发人员理应掌握并熟悉此项技术，否则新入职时打开公司代码一看，可能会很难适应代码，例如下面的模板，这段代码是使用模板元编程和Hana元编程库来实现计算阶乘的功能。