模板与STL-模板

一、为什么使用模板

• C/C++是一种静态类型语言（预处理->汇编->编译->链接）
  • 优点是速度快，缺点是实现通用代码麻烦（例如：实现支持所有类型的快速排序）
• 借助函数重载实现通用代码
  • 好处是实现简单，但代码段会增加
• 借助宏函数实现通用代码，类型检查不严格
• 借助回调函数实现通用代码，使用麻烦
• 由于以上原因C++之父在C++实现了模板技术，让C++能支持泛型编程

二、函数模板

函数模板的定义

template <typename 类型参数1，typename 类型参数2 ... >
类型参数1 函数名(类型参数2 参数名)
{
	return 返回值；
}
template <typename T>
T find(T* arr,size_t len)
{
	return val;
}

• 可以将任何标识符作为类型参数名，但是使用‘T’是约定俗成的，它表示调用这个函数时所指定的任意类型

函数模板的使用

• C++编译的编译器并不是把模板编译成一个可以处理任何类型的单一实体，而是根据模板的使用者的参数，产生不同的函数的实体。
• 根据具体类型代表模板参数生成函数实体过程叫做实例化
• 模板是在使用时才实例化，可以自动实例化，也可以手动实例化（在函数调用时函数名与小括号之间加<类型参数>）
• 每个函数模板都会进行二次编译，第一次编译是在实例化之前，检查模板代码本身是否正确，第二次是实例化过程中，结合所使用类型参数，再次检查模板代码，是否所有的代码都有效
  注意：第二次编译才会生成二进制指令，第一次编译仅仅是在编译器内部生成一个用于描述模板的数据结构

函数模板的隐式推断

• 函数模板虽然可以手动实例化，但使用麻烦，因此一般都根据参数类型进行隐式推断模板的参数
• 注意：不能隐式推断的三种情况
  • 函数参数与模板参数类型没有关系
  • 不允许隐式类型转换
  • 返回值类型不能隐式推断

函数模板与默认形参之间有冲突

模板函数的特化

• 普通函数与同名的模板函数构成重载，如果实现一个与模板函数功能一致的普通函数，编译器会优先调用普通函数，那么这就叫做模板函数的特化
• 注意：一般char* 类型都需要特化

练习1：实现冒泡、选择、插入、快速、归并、堆等排序算法的函数模板

三、类模板

类模板的定义

template <typename M,typename R,typename A,typename O>
class Test
{
public:
	M val;
	Test(A a)
	{
		O var;
	}
	R func(void)
	{
	
	}
};

类模板的使用

• 类模板的参数不支持隐式推断，必须显式指定类型参数

• 类名<类型...> 对象；

• 类模板分为两步进行实例化：

  • 编译期：编译器将类模板实例化类，并生成类对象创建指令
  • 运行期：处理器执行类对象创建指令，将类实例化为对象

• 类模板也是一种静态多态

• 类模板中，只有那些被调用的成员函数才实例化，即产生二进制指令（调用谁实例化谁）

类模板中有静态成员

• 静态成员需要在类的外部定义，但与普通类的定义不同
• template <typename ..> 类型 类名<...>::成员名；

递归实例化

• 类模板的参数可以是任意类型，只要该类型提供类模板所需要的功能
• 类模板的实例化已经是一个有效的类型了，因此它也可以当作类模板的参数，这种叫作递归实例化
• Vector<Vector<int>> //二维数组
• Test<Test<int>>

练习2：实现一个顺序栈的模板类

类的局部特化

• 当类的某个成员函数不能通用，需要对特殊类型(char*)实现一个特殊版本，这叫做类的局部特化

template <> 返回值类型 类名<类型>::函数名(参数)
{

}

• 注意：在类外实现

全类特化

• 当需要针对某种类型对类全部实现一个特殊版本，这种叫类的全特化

template <> class 类名<类型>
{
	...
};

类模板的缺省值

• 类模板的类型参数可以设置默认值类型，规则与函数的默认形参基本一致（设置缺省值类型靠右）
• 后面的类型参数可以使用前面的类型，但前面的类型不能使用后面的

普通数据也可以作为模板参数

template <typename T,类型 B>
{
	int arr[B];
}

• 给类模板一个数据，在类中就可以像使用宏明一个使用参数
• 注意：实例化类中提供的数据必须是常量

作业：实现List模板类