C++模板的分离编译

C++ 中为什么模板不支持分离编译?

首先,在C++中,为了一个项目的规范,我们通常把代码归为三类:声明文件、实现文件、测试文件。
比如,我要用C++实现一个链表,那么就会创建这3个文件:

LinkList.h   //链表的相关声明
LinkList.cpp    //链表的实现代码

Test.cpp    //链表测试代码

那么问题来了,普通链表这样写起来一点问题都没有!
如果一旦,我仍然用以上文件结构要通过类模板来实现链表,编译器就会报错:无法解析的外部符号.....

  那么为什么编译器会报错呢?

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

 为什么模板在分离编译时会报错呢?

我简述一下,我们知道模板需要两次编译:

第一次编译是在实例化之前:用来分析基本的语法错误,
第二次编译是在实例化之后,当把这个类型替换之后,判断有没有语法错误。
重点就是在这里:
我们模板代码的实现体在一个文件里,
而实例化模板的测试代码在另一个文件里,
编译器编译一个文件时并不知道另一个文件的存在,
因此,模板代码就没有进行实例化,编译器自然不会为其生成代码,因此会抛出一个链接错误!



你可能感兴趣的:(C++)