C++模板类特化如何将实现代码放在独立的.cpp文件中

首先明确结论：你当前的代码写法是符合C++标准的，不需要使用.txx模板头文件，也不需要额外做显式实例化，链接报错是编译流程问题导致的。

核心原因说明 #

全特化的模板类本质已经是普通非模板类，和普通类的编译规则完全一致：

• 你写的template<> class Foo<TemplateMatching>是对Foo模板的全特化声明，已经明确指定了所有模板参数，这个特化版本本身不再是模板
• 它的成员函数get_pose()的实现放在foo.cpp中是完全合法的，和普通类成员函数放在源文件中的行为没有任何区别

链接报错的解决方法 #

你出现链接错误的唯一原因是编译时没有将foo.cpp加入到编译单元中共同链接：

• 如果你只执行类似g++ main.cpp的编译命令，编译器只会编译main.cpp，链接阶段找不到Foo<TemplateMatching>::get_pose()的实现，就会报未定义引用错误
• 只要把foo.cpp加入编译命令即可，例如：

g++ main.cpp foo.cpp -o test_program

运行后可以正常输出预期结果。

关于显式实例化和.txx文件的适用场景 #

这两种方案都是针对未特化的通用模板的解决方案，不适用于你当前的场景：

• 如果你没有做TemplateMatching的全类特化，而是直接为通用template <VisionMethod> class Foo写成员函数实现，才需要二选一：
  • 把实现放在头文件中（可以单独存为.txx后缀的文件，在foo.h末尾引入），让所有引用该模板的翻译单元都能看到实现完成隐式实例化
  • 把实现放在foo.cpp中，同时在foo.cpp末尾添加显式实例化语句：template class Foo<TemplateMatching>;

内容的提问来源于stack exchange，提问作者Androvich