一、什么是模板
是一种自动生成代码的技术,这种技术能让程序员在编写代码时不需要考虑数据类型,这种技术被称为泛型编程技术
二、为什么使用模板
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。