[C++]模板类的声明与实现分离问题

时间:2021-08-10 23:17:06
本文,记录C++模板类的实现。
实验环境:
  1. linux
  2. g++
  3. c++98

模板类的声明与实现分离错误
目的:实现一个bag类
做法:模板类bag的声明与实现分离,也就是.cpp和.h文件分离 此时,编译失败。
将.cpp和.h取消(亦即取消声明与实现的分离) 此时,编译成功,运行正常。
马上查找资料,收集整理如下:
  1. C++ 中的模板类声明头文件和实现文件分离后,如何能实现正常编译? ,链接
  2. Splitting templated C++ classes into .hpp/.cpp files--is it possible? ,链接
  3. C++模板的编译问题,链接

结论:
  1. 不行滴

原因:
  1. 具体看第一个链接,说明是:模板类是根据不同的type来编译多份的.o文件,根据需要链接
  2. 而这做法的根本原因是:C++和C一样是静态编译语言,不能动态解析。
  3. 再具体的原因,可以深入:
    1. 编译链接
    2. C++模板类的“实例化”过程

解决办法:
  1. 全部写到头文件里面即可(我使用linux g++ c++98,不行,具体继续看下面)
  2. 如果还不满意,感觉与以往的.c与.h文件分离有违背规范,可以参考stl做法(鉴于水平,我就不弄了)

拓展:
  1. 相反,普通的class是可以将声明与实现分类的
  2. 因为普通的class仅仅是针对一个type,不需要编译多份.o文件。

验证与解决思路
参考链接:https://www.bbsmax.com/A/rV573nLE5P/
最终方案:
  1. .cpp存实现
  2. .h存声明
  3. 调用include “xxx.cpp”

此时,完成了声明和实现分离