g ++中的模板规范编译错误

Question

我有一个模板化的容器对象。我正在尝试为float 版本制作一个专门的构造函数。问题是，当编译器尝试编译使用float 版本的第二个对象时，我收到multiple definition of 错误。

注意：h 文件中的整个类。该文件包含一个定义（#ifndef、#define 和 #endif）。 g++ 版本 3.4.6。这可以与其他编译器一起编译，例如英特尔的 icc。

代码类似如下：

template <typename T>
class Container {
public:
   Container();
   virtual ~Container() {}
private:
   std::vector<T> data;
   // other members
};

template <> Container<float>::Container() {
   // do something special
}

template <typename T> Container<T>::Container() {
   // do default initialization
}

有什么想法吗？谢谢！

EDIT正在编译的对象也将进入单独的共享对象，不确定是否与它有关。

Answer 1

专业化仍然必须遵守单一定义规则，就像任何其他非模板方法一样。要么将其标记为内联，要么在源文件（不是你的头文件）中定义方法体。

Answer 2

template <> Container<float>::Container() {
   // do something special
}

是专业的定义。必须在使用它的每个编译单元中声明特化：

template <> Container<float>::Container();

并在仅一个的 CU 中定义。所以你的.h 必须有声明，你必须找到一个足够的（可能是新的）.cpp 来定义。 （正如 Mark B 所指出的，内联特化也是一种允许将定义放在需要的所有编译单元中的方法。

Answer 3

这很棘手。问题是你的专业不是 模板，而是一个实际的函数定义。而且因为它在一个 标题，当你包含它两次时，你会得到多个定义。 比如：

template<> Container<float>::Container();

在标头中，并在单个源文件中实现。

Answer 4

你可以使用typeid:

template <typename T> Container<T>::Container() {
   if(typeid(T)==typeid(float)) {
      // do something special
   }
   else {
      // do default initialization
   }
}

缺点：您不能在特殊情况下使用初始化列表。 编辑： 当我写这个答案时，我仍然认为该错误是由编译器引起的，而不是由 OP 的代码引起的（没有过多地研究它）。然而，这种 typeid 方法是绝对有效的 C++（参见下面的链接），如果模板确实不能与您的特定编译器一起正常工作，它是一个非常好的解决方法，并且如果有一天您可以切换到模板解决方案，它可以很容易地替换为更好的编译器。

演示：example @ ideone