带模板参数的模板类运算符重载特化出现链接错误如何解决

你遇到的链接错误是C++模板代码的经典编译单元可见性问题：针对Point<FieldElement<T>>的偏特化运算符属于带模板参数的模板实现，放在.cpp文件中时，只有编译Point.cpp时能看到对应实现，而调用运算符的Test.cpp编译时只能看到头文件中的前置声明，无法自动实例化出T=int对应的函数实现，只能生成外部符号依赖，链接阶段就会找不到对应符号。
该需求完全可实现，按以下方案调整即可：

• 方案一（通用推荐）：将Point.cpp中的两个偏特化运算符实现直接移动到Point.hpp头文件的末尾。模板相关的实现默认都应该放在头文件中，所有引用头文件的编译单元都可以根据需要自动实例化对应类型的模板代码，不会出现链接找不到的问题。
• 方案二（适用类型固定的场景）：如果坚持要把实现放在.cpp文件中，需要在Point.cpp的末尾添加对应使用类型的显式实例化声明，比如测试用例中用到的是FieldElement<int>，就添加如下代码：

namespace crypto {
// 显式实例化int类型对应的偏特化运算符
template std::ostream& operator<<<int>(std::ostream& os, const Point<FieldElement<int>>& point);
template Point<FieldElement<int>> operator+<int>(const Point<FieldElement<int>>& lhs, const Point<FieldElement<int>>& rhs);
}

方案二的局限性：后续如果用到其他参数类型如FieldElement<long>，需要对应添加新的显式实例化声明，否则仍然会报链接错误。

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