这是否被视为显式 C++ 模板类实例化？ [复制]

Question

可能重复：
Why can templates only be implemented in the header file?
Why should the implementation and the declaration of a template class be in the same header file?

我是某所大学的计算机科学专业的学生，​​我们得到了要为 hw 处理的文件。 而且我不确定这种实例化是如何工作的。

长代码短它看起来像这样。

在 List.h 中

#ifndef _LIST_H_
#define _LIST_H_

#include <iterator>
#include <ostream>

template <class T>
class List

/* implementation below but not relevant to this post */
.
.
.
.

....下面文件的最后几行。

#include "list.cpp"

#include "list_given.cpp"

#endif

并且 List.cpp 不包含 List.h

我不明白在头文件中包含 List.cpp 是如何工作的。

Answer 1

#include 只是导致文本替换，没有别的，所以就好像list.cpp 的全部内容在头文件中重复了一样。这与“显式模板实例化”无关。

list.cpp 不包含标头，否则标头会递归地包含自身。

Answer 2

不，这里没有实例化，这只是解决 C++ 模板的完整定义必须在实例化模板的每个翻译单元中可见的问题，并且一些程序员希望保留定义和声明分开。如果这真的值得，是不被普遍接受的。有些人还喜欢为要包含在标头中的实现文件使用不同的文件结尾（例如tcc、icc）。

它是如何工作的：

// Foo.h
#ifndef FOO_HEADER_INCLUDED
#define FOO_HEADER_INCLUDED
template<T>
struct Foo {
  void bar();
};

#include "Foo.cpp"
#endif // header guard

// Foo.cpp
// NO HEADER GUARD, NEVER INCLUDE DIRECTLY
// actually this could have an include guard and still work
template<typename T>
void Foo<T>::bar() { /* smart code */ }

现在，每个用户（包括Foo.h 的人）还包括 实现文件和我们的模板工作。另一种方法是 只需将定义写在头文件中即可。

Answer 3

啊啊啊！不要包含.cpp 文件！

对于编写模板类，您通常将大部分（如果不是全部）实现放在.h 文件中，因此您甚至可能不需要list.cpp。我不知道list_given.cpp 是做什么用的，所以我不能告诉你是否需要那个。

当你创建一个模板类时，它只是告诉编译器如何创建一个类的模板。因此，您需要在使用列表类的任何文件中包含包含模板整个定义的 list.h。

您的示例不符合显式实例化的条件 - 我不知道您为什么在这里需要它。请参阅this question，尤其是接受的答案，例如。