模板方法专门化链接错误

Question

考虑以下头文件和源文件：

// main.cpp
#include "myClass.h"

int main()
{
  MyClass m;
  m.foo<double>();
  m.foo<float>();
}

// myClass.h
#pragma once

#include <iostream>

using namespace std;

class MyClass
{
public:

  template <typename T>
  void foo()
  {
    cout << "Template function<T> called" << endl;
  }

  template <>
  void foo<int>()
  {
    cout << "Template function<int> called" << endl;
  }

  template <>
  void foo<float>();

};

// myClass.cpp
#include "myClass.h"

template <>
void MyClass::foo<float>()
{
  cout << "Template function<float> called" << endl;
}

我在foo中发现一个链接错误

我认为原因可能是该方法没有显式实例化（尽管模板类的完全专门化不需要显式实例化来正确链接）。如果我尝试显式实例化该方法，我会遇到以下错误：

错误C3416：'MyClass::foo'：显式特化可能无法显式实例化

所以问题是：

• 有没有办法在cpp文件中定义专门化并正确链接




Answer 1

虽然WhozCraig的答案（现已删除）提供了解决您问题的正确代码，但以下是对您的问题的一些直接回答，包括对代码的评论：

>

foo

(§14.7.3/3) [...] 类或类模板的定义应在声明该类或类模板的成员模板的明确专业化之前进行。[...]

所以你必须把它们放在类定义之后。

在foo的情况下

foo的专门化

  template <>
  void MyClass::foo<float>();

这是必需的，因为标准中的另一条声明：

（§14.7.3/6）如果模板、成员模板或类模板的成员显式专业化，则应在第一次使用该专业化之前声明该专业化，这将导致隐式实例化发生，在发生此类使用的每个翻译单元中；不需要诊断。[...]

由于所有专业化都是显式的（即完全专业化，用你的话来说），因此不需要显式实例化，但它们是可能的（§14.7.2）。您可以将它们放在. cpp文件的末尾，语法为：

template void MyClass::foo<float>();
template void MyClass::foo<int>();

同样，这只对没有自己显式专门化的类型真正有用。

因此，头文件和实现文件的正确代码如下所示：

.h文件：

class MyClass
{
public:
  template <typename T> void foo()
  { cout << "Template function<T> called" << endl; }
};

template <> inline void MyClass::foo<int>()
{ cout << "Template function<int> called" << endl; }

template <> void MyClass::foo<float>();

.cpp：

#include "myClass.h"

template <> void MyClass::foo<float>()
{ cout << "Template function<float> called" << endl; }

/* This is unnecessary for float, but may be useful for
   types that do not have their own explicit specializations: */
template void MyClass::foo<float>();