为什么模板不支持分离编译

什么是模版的分离编译?

如图所示
为什么模板不支持分离编译

我们先来简单的分析一下,编译器报的这种错误属于链接性错误,也就是当程序预处理、编译、汇编、链接,在链接时出现了错误。而一般出现链接错误,通常是因为,声明了一个函数,但是没有写实现体.因此,当程序在链接时,从符号表中只找到了函数名,找不到具体函数实现的地址,因此编译器会报出这样的错误!

为什么当模板在分离编译时会报出这样的错误呢?

我们知道模板需要两次编译:第一次编译是在实例化之前:用来分析基本的语法错误,第二次编译是在实例化之后,当把这个类型替换之后,判断有没有语法错误.

然而我们模板代码的实现体在一个文件里,而实例化模板的测试代码在另一个文件里,编译器编译一个文件时并不知道另一个文件的存在,因此,模板代码就没有进行实例化,编译器自然不会为其生成代码,因此会抛出一个链接错误!

解决办法

  1. 在模板头⽂件 xxx.h ⾥⾯显⽰实例化->模板类的定义后⾯添加 template class SeqList; ⼀般不推荐这种⽅法,⼀⽅⾯⽼编译器可能不⽀持,另⼀⽅⾯实 例化依赖调⽤者。(不推荐)
  2. 将声明和定义放到⼀个⽂件 “xxx.hpp” ⾥⾯,推荐使⽤这种⽅法。