如何在C++17项目的Main模块中特化Common的FromJson模板？

问题背景 #

项目结构如下：

src/
  Common/
  Main/

Common模块中定义了反序列化用的函数模板：

namespace Common
{
  template <class T>
  T FromJson(std::string_view json);
}

希望在Main模块中，为仅Main模块可见的Main::Config类型特化上述模板，但尝试在匿名命名空间中编写特化时编译失败：

#include "Common/Serialization.hpp"
#include "Config.hpp"

namespace 
{
  template <>
  Main::Config Common::FromJson(std::string_view json) { 
     // 使用其他FromJson<T>特化版本
  }
}

改用自定义函数名可以正常运行，但希望保留FromJson的模板调用方式。

错误原因 #

函数模板的显式特化必须与原模板处于同一命名空间（或全局命名空间，若原模板在全局），匿名命名空间是独立的作用域，无法在此处特化Common命名空间下的模板，编译器会因特化位置非法而报错。

正确实现方式 #

由于Main::Config是模块私有类型（其他模块无法访问其定义），可以直接在Main模块的.cpp文件中，将显式特化放在Common命名空间内：

#include "Common/Serialization.hpp"
#include "Config.hpp"

// 在Common命名空间内编写针对Main::Config的显式特化
namespace Common {
    template <>
    Main::Config FromJson<Main::Config>(std::string_view json) {
        // 实现反序列化逻辑，可正常调用其他FromJson特化版本
        Main::Config cfg;
        // 示例：解析json字段到cfg成员
        cfg.some_field = FromJson<int>(json.substr(...));
        return cfg;
    }
}

// Main模块内的调用代码
void process_config(std::string_view json) {
    Main::Config cfg = Common::FromJson<Main::Config>(json);
    // 使用cfg...
}

为什么此方案可行？ #

1. 符合C++标准：显式特化与原模板处于同一命名空间，编译合法。
2. 满足模块私有要求：Main::Config的定义仅在Main模块可见，其他模块无法识别该类型，因此无法引用或实例化此特化，不会造成跨模块的命名冲突或意外调用。

补充说明 #

如果后续需要扩展多个私有类型的特化，只需在对应模块的.cpp文件中重复上述模式即可，无需修改Common模块的代码，保持了模块间的低耦合。

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