使用Catch2测试C++项目时遭遇undefined reference错误求助

嘿，这个问题我之前也踩过坑，这是C++模板类特有的链接问题，和Catch2本身其实没啥关系，咱们一步步来解决：

错误原因分析 #

你看到的undefined reference to "domain::IntegerAbstractInterval<int, int>::IntegerAbstractInterval(int, int)"是链接阶段的错误，根源在于：
IntegerAbstractInterval是一个模板类，而你把它的成员函数实现（比如构造函数、operator+这些）放在了.cpp文件（IntegerAbstractInterval.cpp）里，不是头文件（.hpp）中。

C++模板的实例化是按需生成的：当测试代码里用到IntegerAbstractInterval<int, int>时，编译器需要看到模板的完整实现才能生成对应的代码。但如果实现放在.cpp里，编译测试文件的时候编译器看不到这些代码，链接器自然找不到对应的函数定义了。

具体解决方案 #

方案1：把模板实现移到头文件（推荐） #

这是C++模板类的标准写法，把IntegerAbstractInterval.cpp里的所有成员函数定义直接移到IntegerAbstractInterval.hpp中，或者在头文件末尾包含实现文件（记得加头文件保护）：
比如修改IntegerAbstractInterval.hpp，在文件最后添加：

#include "IntegerAbstractInterval.cpp"

这样只要包含头文件，编译器就能看到完整的模板实现，编译测试代码时就能正确生成所需的实例代码。

方案2：显式实例化需要的模板类型 #

如果不想把实现移到头文件，可以在IntegerAbstractInterval.cpp的末尾显式实例化测试代码中用到的所有模板实例：

// IntegerAbstractInterval.cpp 文件末尾添加
template class domain::IntegerAbstractInterval<int, int>;
template class domain::IntegerAbstractInterval<Infinity, Infinity>;
template class domain::IntegerAbstractInterval<Infinity, int>;
template class domain::IntegerAbstractInterval<int, Infinity>;

这样编译器在编译IntegerAbstractInterval.cpp时会提前生成这些实例的代码，链接器就能找到对应的定义了。不过这个方案的缺点是，后续如果测试或业务代码用到新的模板实例，都要手动添加新的显式实例化代码。

额外的CMake优化建议 #

你的CMake配置本身没问题（已经把所有源文件加到了tests可执行文件中），但可以优化下头文件引用方式：
在CMakeLists中给库和测试程序添加源文件目录的包含路径：

target_include_directories(cpp-project PUBLIC ${CMAKE_CURRENT_SOURCE_DIR}/src)
target_include_directories(tests PUBLIC ${CMAKE_CURRENT_SOURCE_DIR}/src)

这样测试文件里的头文件引用可以改成#include "IntegerAbstractInterval.hpp"，不用再写相对路径，更简洁也不容易出错。

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