今天踩了个大坑,在学习静态库与动态库进行实践时,我尝试着把之前的写的模板通用函数分离成.cpp文件和.h文件,编译时出现了大问题,一直会找不到链接符号,很明显是编译的时候头文件没有正确找到函数的实现。
后来查阅大量东西才发现,模板库编程并不适用于直接建库,只能把实现和声明全部放在.h头文件中。
理由:(猜想)
在编译过程中,g++编译器会对每一个cpp文件进行单独编译,最后进行链接操作,然而,模板函数或者模板类在编译时遇到实例化参数就会单独编译出模板参数实例化的代码,那么意味着这个步骤是在编译阶段就完成了,编译阶段由于一个cpp文件内只有模板函数的实现而没有模板函数的调用,也就没有实例化代码的产生(通俗来讲就关于模板的代码一行也没有),那么在链接的时候就根本不会有代码去链接了。(要是实例化代码在链接阶段就好了)
遇到这种情况有两周解决办法:
1)在每个cpp文件单独执行模板参数实例化,这样在链接的时候也就可以在这个.obj文件中找到实现代码了。很美好,但根本不现实,我在模板要用到的每种参数都实例化一遍,那模板化的意义何在?况且我根本意料不到调用者会怎么使用模板。
2)直接把实现写在.h文件里吧,让调用者去选择模板参数,虽然会造成单个.obj文件膨大,但好过内容还是完整的。毕竟.h文件是预编译阶段直接替换到代码里的。但这也就意味着建静态库或者动态库就不现实了,只能直接在静态库和动态库内调用。