c++ - 命名空间中函数特化的 undefined reference

Question

我正在实现一个以 boost::archive 为模型的 JSON 归档系统.对于您想要序列化的每种类型，您定义一个非侵入式函数来接受文件和您的对象:

// archive.hpp
#pragma once

namespace Archive {
    template <class A, class T>
    void serialize(A& a, T& value);
}

struct ArchiveOut {
    void add(const char* key, int& value) {}

    // ... Implementations for basic types ...

    template <class T>
    void add(const char* key, T& value) {
        ArchiveOut archive;
        Archive::serialize(archive, value);
    }
};

// main.cpp
#include "archive.hpp"

struct Child {
    int id;
};

struct Parent {
    int id;
    Child child;
};

template <class A>
void Archive::serialize(A& a, Parent& v) {
    a.add("id", v.id);
    a.add("child", v.child);
}

template <class A>
void Archive::serialize(A& a, Child& v) {
    a.add("id", v.id);
}

int main() {
    Parent parent;
    ArchiveOut archive;
    Archive::serialize(archive, parent);
}

现在，该系统适用于复杂的嵌套类型，但仅适用于 serialize位于全局命名空间中。一旦它移入 Archive命名空间我收到链接器错误:

C:/msys64/mingw64/bin/../lib/gcc/x86_64-w64-mingw32/10.2.0/../../../../x86_64-w64-mingw32/bin/ld.exe: C:\Users\DDP\AppData\Local\Temp\ccMWEvEu.o:test.cpp:(.text$_ZN10ArchiveOut3addI5ChildEEvPKcRT_[_ZN10ArchiveOut3addI5ChildEEvPKcRT_]+0x20): undefined reference to `void Archive::serialize<ArchiveOut, Child>(ArchiveOut&, Child&)

我知道我的专业有正确的签名，因为它们匹配 boost 的，但也许我的初始原型(prototype)是错误的？我试过挖掘 boost 内部，但找不到初始 serialize 的位置原型(prototype)是。我还检查了其他答案，所有答案都与不匹配函数签名或未将其放置在正确命名空间中的特化有关。我能得到这个链接器行为的解释吗？

Answer 1

您在需要部分特化的地方使用重载。
问题是一个函数不能被部分特化。
建议:在部分专用结构中使用静态函数。
如下(注意:代码未测试)

// archive.hpp

namespace Archive {
    template <typename A, typename T>
    struct serial;

    template <class A, class T>
    void serialize(A& a, T& value)
     { serial<A, T>::func(a, value); }
}

// main.cpp
#include "archive.hpp"

// ...

namespace Archive {

   template <class A>
   struct serial<A, Parent>
    {
      static void func (A & a, Parent & v)
       {
         a.add("id", v.id);
         a.add("child", v.child);
       }
    };  

   template <class A>   
   struct serial<A, Child>
    {
      static void func (A & a, Child & v)
       { a.add("id", v.id); }
    };
 }