为什么模板只能在头文件中实现？

引用C++标准库：教程和手册：

目前使用模板的唯一可移植方式是使用内联函数在头文件中实现它们。

这是为什么？

（澄清：头文件不是唯一的可移植解决方案。但它们是最方便的可移植方案。）

当前回答

单独实现的方法如下。

内部_内部.h

template <typename T>
struct Foo
{
    void doSomething(T param);
};

foo.tpp文件

#include "inner_foo.h"

template <typename T>
void Foo<T>::doSomething(T param)
{
    //implementation
}

小时

#include <foo.tpp>

主.cpp

#include <foo.h>

inner_fo.h具有前向声明。foo.tpp具有实现并包括inner_fo.h；而foo.h只有一行，包括foo.tpp。

编译时，将foo.h的内容复制到foo.tpp，然后将整个文件复制到foo.h，然后进行编译。这样，没有任何限制，并且命名是一致的，以换取一个额外的文件。

我这样做是因为代码的静态分析器在*.tpp中看不到类的前向声明时会中断。这在任何IDE中编写代码或使用YouCompleteMe或其他工具时都很烦人。

2017-05-13 01:42:11

其他回答

尽管上面有很多很好的解释，但我缺少一种将模板分离为页眉和正文的实用方法。

我主要担心的是，当我更改其定义时，避免重新编译所有模板用户。

对我来说，在模板主体中包含所有模板实例不是一个可行的解决方案，因为模板作者可能不知道其使用情况，模板用户可能无权修改它。

我采用了以下方法，这也适用于较旧的编译器（gcc 4.3.4，aCC A.03.13）。

对于每个模板的使用，在其自己的头文件（从UML模型生成）中都有一个typedef。它的主体包含实例化（最终在一个库中，该库在末尾链接）。

模板的每个用户都包含该头文件并使用typedef。

示意图示例：

MyTemplate.h：

#ifndef MyTemplate_h
#define MyTemplate_h 1

template <class T>
class MyTemplate
{
public:
  MyTemplate(const T& rt);
  void dump();
  T t;
};

#endif

我的模板.cpp：

#include "MyTemplate.h"
#include <iostream>

template <class T>
MyTemplate<T>::MyTemplate(const T& rt)
: t(rt)
{
}

template <class T>
void MyTemplate<T>::dump()
{
  cerr << t << endl;
}

MyInstantiatedTemplate.h：

#ifndef MyInstantiatedTemplate_h
#define MyInstantiatedTemplate_h 1
#include "MyTemplate.h"

typedef MyTemplate< int > MyInstantiatedTemplate;

#endif

我的实例化模板.cpp：

#include "MyTemplate.cpp"

template class MyTemplate< int >;

main.cpp：

#include "MyInstantiatedTemplate.h"

int main()
{
  MyInstantiatedTemplate m(100);
  m.dump();
  return 0;
}

这样，只需要重新编译模板实例，而不是所有模板用户（和依赖项）。

2016-05-12 14:02:10

只是在这里添加一些值得注意的内容。当模板类的方法不是函数模板时，可以在实现文件中定义它们。

myQueue.hpp：

template <class T> 
class QueueA {
    int size;
    ...
public:
    template <class T> T dequeue() {
       // implementation here
    }

    bool isEmpty();

    ...
}

myQueue.cpp：

// implementation of regular methods goes like this:
template <class T> bool QueueA<T>::isEmpty() {
    return this->size == 0;
}


main()
{
    QueueA<char> Q;

    ...
}

2018-07-19 00:49:05

如果问题是将.h编译为使用它的所有.cpp模块的一部分所产生的额外编译时间和二进制大小膨胀，那么在许多情况下，您可以做的是使模板类从接口的非类型依赖部分的非模板化基类下降，并且该基类可以在.cpp文件中实现。

2016-07-27 05:01:10

这里有很多正确的答案，但我想补充一下（为了完整）：

如果在实现cpp文件的底部，对模板将使用的所有类型进行显式实例化，链接器将能够像往常一样找到它们。

编辑：添加显式模板实例化示例。在定义模板并定义所有成员函数后使用。