C++模板技术

一、什么是模板

是一种自动生成代码的技术，这种技术能让程序员在编写代码时不需要考虑数据类型，这种技术被称为泛型编程技术

二、为什么使用模板

1、C/C++是一种静态编程语言(预处理->编译->汇编->连接->可执行文件)，静态语言的优点就是运行速度比较快，而缺点是实现通用的代码比较麻烦。
任务：实现一个通用的快速排序算法。
2、借助回调模式实现通用代码，实现难度高，使用也比较麻烦。
3、借助宏函数实现通用代码，类型检查不严格、没有返回值、容易出错。
4、借助函数重载实现通用代码，会使用代码段增加，但无法解决未知类型。
5、综合以上原因，C++之父在C++中实现了模板技术，从而让C++的彻底脱离于数据类型的困扰。

三、函数模板

1、函数模板的定义

template <typename T1,typename T2,...>
        T3 函数名(T1 arg1,T2 arg2)
        {
            T3 ret = arg1+arg2;
            return ret;
        }

​ 可以给未知类型取任何名子，但俗成约定使用T。

2、函数模板的原理

​ 函数模板会经历两次编译：

​ 1、检查函数模板的语法是否有错误，但此时并不会生成函数的二进制指令。

​ 2、根据调用者提供的参数类型再次检查代码，如果没有错误再生成二进制指令然后存储在代码段。

3、函数模板的调用

C++编译器并不会把函数模板当作一个函数实体，而是当作一个可以生成函数的工具，当调用都提供类型参数后，再生成函数实体。
调用函数模板的第一步就是提供类型参数：
自动：编译器根据实参的类型，自动获取类型参数。
手动：函数名<type1，type2,type3,…>(参数)。
使用函数模板生成函数的过程叫实例化。

4、默认形参

template <typename T1,typename T2, typename T3=long,...>
T3 函数名(T1 arg1,T2 arg2)
{
	T3 ret = arg1+arg2;
	return ret;
}

函数模板的类型参数可以像普通函数的参数一样设置默认类型参数，规则与普通函数的默认形参样，只有C++11语法才支持，编译器要加参数-std=gnu++0x。

5、模板的特化

模板虽好但并不能解决所有问题，有些特殊的类型与普通类型的运算规则不同，因此需要给特殊类型实现一个特殊版本，如：char*。
编译器会优先调用普通函数，因此不会与函数模板冲突。

练习2：实现二分查找、冒泡、选择、插入、快速、归并、堆等算法的函数模板。

四、类模板

类模板：是一种使用了未知类型来设计类

1、类模板定义

template<typename M, typename T, typename R>
class Test
{
	M num;
public:	
	Test(T t)
	{
		
	}
	R func(void)
	{
		R ret;
		return ret;
	}
};

2、类模板的使用

​ 必须先实例化才能使用，与函数模板不同的是它不支持自动实例化，必须显式实例化

​ 类名<类型参数> 对象。

3、类模板的静态成员

类模板的静态成员与普通类的静态成员一样都需要在类外定义，但定义静态时就需要对类进行实例化了。
template<> 类型 类名<实例化参数>::静态成员 = 初始化数据;

4、递归实例化

​ 什么类型都可以是模板的参数，包括模板

​ 类<类<类型> > 对象；

5、类模板的默认形参

​ 也可以与函数模板一样设置默认形参，规则一样。

template<typename T1,typename T2=int>
class Test
{
	T1 val;
public:
	Test(T2 val)
	{
	}
};

6、类的局部特化

​ 当类模板的成员函数不能支持所有类型时，可以为这个成员函数在类外实现一个特殊版本。 template<> 返回值类型 类名<特殊类>::函数名(类型 参数)

{
}

注意：特殊版本的函数要与类模板的成员函数的参数、返回值类型要一模一样。

7、类的全局特化

​ 为一个特殊类型类模板全新实现一个类，这叫作类的全局特化。

template <>
class 类名<特殊类型>
{
	重新实现类;
};

8、在定义类模板和函数模板时，class关键字代码typename。