模板类成员特化声明

Question

当我在模板类中专门化一个（静态）成员函数/常量时，我​​对声明的去向感到困惑。

这是我要做什么的示例 - 直接来自 IBM 关于模板专业化的参考：

===IBM 会员专业化示例===

template<class T> class X {
public:
   static T v;
   static void f(T);
};

template<class T> T X<T>::v = 0;
template<class T> void X<T>::f(T arg) { v = arg; }

template<> char* X<char*>::v = "Hello";
template<> void X<float>::f(float arg) { v = arg * 2; }

int main() {
   X<char*> a, b;
   X<float> c;
   c.f(10); // X<float>::v now set to 20
}

问题是，如何将其划分为头文件/cpp 文件？通用实现显然在标头中，但是专业化呢？

它不能放在头文件中，因为它是具体的，导致多个定义。但是，如果它进入 .cpp 文件，调用 X::f() 的代码是否知道专门化，或者它可能依赖于通用 X::f() ？

到目前为止，我仅在 .cpp 中进行了专门化，标头中没有声明。我在编译甚至运行我的代码时都没有遇到问题（在 gcc 上，目前不记得版本），并且它的行为符合预期 - 识别专业化。但是 A) 我不确定这是正确的，我想知道正确的是什么，B) 我的 Doxygen 文档很不稳定并且非常具有误导性（稍后将在 a moment 中详细介绍）问题）。

对我来说最自然的是这样的，在标头中声明专业化并在 .cpp 中定义它：

===XClass.hpp===

#ifndef XCLASS_HPP
#define XCLASS_HPP

template<class T> class X {
public:
   static T v;
   static void f(T);
};

template<class T> T X<T>::v = 0;
template<class T> void X<T>::f(T arg) { v = arg; }

/* declaration of specialized functions */
template<> char* X<char*>::v;
template<> void X<float>::f(float arg);

#endif

===XClass.cpp===

#include <XClass.hpp>

/* concrete implementation of specialized functions */
template<> char* X<char*>::v = "Hello";
template<> void X<float>::f(float arg) { v = arg * 2; }

...但是我有不知道这是否正确。有什么想法吗？

Answer 1

通常，您只需按照 dirkgently 的说法在标头中定义专业化 inline 即可。

如果您担心编译时间或代码膨胀，您可以在单独的翻译单元中定义专业化：

// x.h:
template<class T> struct X {
    void f() {}
}

// declare specialization X<int>::f() to exist somewhere: 
template<> void X<int>::f();

---

// translation unit with definition for X<int>::f():
#include "x.h"
template<> void X<int>::f() {
    // ...
}

所以是的，您的方法看起来不错。请注意，您只能通过完全专业化来执行此操作，因此这样做通常是不切实际的。

有关详细信息，请参阅Comeaus 模板常见问题解答。

Answer 2

将它们全部放入 hpp 文件中。使专业化和您在类外部定义的任何内容内联——这将处理多个定义。

Answer 3

回答您的问题之一：是调用 X::f() 的代码知道专门化，还是可能依赖于通用 X::f()？

如果编译器看到一个定义，符合它的要求，那么它就会使用它。否则它将生成正常的函数调用。

在第一个代码片段中，您为 X::f(T arg) 提供通用定义，因此编译器将为除 < 之外的任何 T 实例化该定义。代码>浮动。

如果您要省略泛型定义，那么编译器将生成对 X::f(double) 的调用，并且链接器将搜索可能以链接器错误。

总结一下：您可以在标题中包含所有内容，因为作为模板，您不会获得多个定义。如果您只有声明，则需要在其他地方进行定义，以便链接器稍后查找。

Answer 4

使用模板 void X::f(float arg) { v = arg * 2; } 相反。