一、函数模板
当我们在编写一个交换数据的函数时,不同的数据类型就要对应不同的交换函数类型,但其实这个交换函数的主体非常一致,为了解决这个问题就引入了模板:
如上图,template <class T>或template<tyoename T>表示模板,Swap会根据函数传参的不同类型生成对应类型的Swap函数,在反汇编代码中可以看见Swap函数生成了不同的函数,
1.1函数模板实例化
如上图,当将两个同类型参数传参,函数正常运行,但是如果两个不同类型的参数传参时就会报错,此时要么显示实例化,即Add<int>(x1,x3),或者强制类型转换Add(x1,(int)x3)。
二、类模板
模板不支持声明、定义分开,会导致链接出错。
如上图,在头文件中存在Vector类和Swap函数的声明,但其各自的定义实现在remplate.cpp文件中,在Test1.cpp文件对其进行调用。
在预处理时,各自展开对应的头文件,在进行编译阶段由于template.cpp和test1.cpp各自执行,因此template.cpp文件中的T类型没有被指定,Test1.cpp中只有函数声明无定义,导致template.cpp编译生成的符号表是空文件,最终导致链接出错。
通过显示实例化指定即可解决: