如何专门化非内联模板化成员函数？ （用于不同的翻译单元）

Question

上下文

我们开发了一个模板化设置系统类，它将成为我们向不同架构的用户公开的 API 的一部分（少说：我们不应该依赖编译器特定的行为）

通用代码如下所示：

在标题中

namespace Firm
{

// Class definition
class A
{
  template<class T>
  void foo(T* aParam);
};

// Non specialized template definition
template<class T>
void A::foo(T* aParam)
{
  //...
}

// Declaration of a specialization
template<>
void A::foo<int>(int* aParam); 

} // namespace

在 CPP 文件中

namespace Firm
{

// Definition of the specialized member function
template<>
void A::foo<int>(int* aParam)
{
  //...
}

} // namespace

问题

gcc 4.x 一切正常。 （即不同的编译单元在适当的时候使用专门的方法。）但是我读到以下条目后感到不舒服：

Visibility of template specialization of C++ function

接受的答案状态，如果我理解正确，如果 从调用中看不到模板方法的特化定义，则这是一个错误网站。 （所有不是上面列出的CPP文件但包含头文件的编译单元都是这种情况）

1. 我不明白为什么此时声明还不够（标题提供的声明）？

2. 如果它真的是一个错误，有没有正确的方法来定义它的专业化：

   • 非内联
   • 可用于包含标头（以及与相应 .obj 的链接）的任何编译单元？

Answer 1

将声明放在头文件中。

编译器要么需要实例化模板（需要定义），要么你需要使用 c++0x 外部模板

看这里：https://stackoverflow.com/a/8131212/258418

编辑 @ 单定义规则： 你应该没问题，因为我体验了模板的以下行为： 在不同的 o 文件中创建它们（多次，由于多次编译而耗时），当链接器进入时，它会删除重复项并使用一个实例化。

另请查看此答案/wiki 链接：https://stackoverflow.com/a/8133000/258418

edit2

对于类它的工作方式如下：

extern template class yourTemplate<int>; //tell the compiler to just use this like a funciton stub and do no instantiation. put this in the header

template class yourTemplate<int>; //instantiation, put this in a c file/object that you link with the project

对于您的功能，它应该像这样工作： // 在你的头文件中声明一个特化 外部模板 无效 A::foo(int* aParam);

//in your cpp file
template<>
void A::foo<int>(int* aParam) {
    code...
}

template class A::foo<int>(int* aParam);