从 .h 在 .cpp 中定义模板化函数（出现错误）

Question

部分头文件dlist.h定义为：

#ifndef __DLIST_H__
#define __DLIST_H__
#include <iostream>

class emptyList {};

template <typename T>
class Dlist {
 public:
    bool isEmpty() const;

 private:
    struct node {
    node   *next;
    node   *prev;
    T      *o;
    };

    node   *first; // The pointer to the first node (NULL if none)
    node   *last;  // The pointer to the last node (NULL if none)
};

#include "dlist.cpp"
#endif

当我像这样创建一个 dlist.cpp 文件时：

#include "dlist.h"

template <typename T>
bool Dlist<T>::isEmpty() const
{
    return !first and !last;
}

我在第 4 行收到错误消息：重新定义 'bool Dlist::isEmpty() const'

如果我删除 #include "dlist.h"，我会在第 4 行收到错误：在 '

这里有什么帮助吗？我做错了什么，不允许我从 dlist.h 文件中定义我的函数吗？谢谢。

Answer 1

您必须将类模板的成员函数的实现放在头文件或头文件包含的文件中。编译器需要访问此代码才能实例化任何给定类型T 的模板。

在您的情况下，问题似乎是您将标题包含在 .cpp 中，反之亦然。如果您真的想将声明和实现保留在单独的文件中，我建议将实现的后缀从 .cpp 更改为其他内容，例如.icpp。一些构建系统可能会尝试使用带有.cpp 后缀的任何内容来编译目标文件，这也会导致错误。

1. 从dlist.cpp 中删除#include "dlist.h"。
2. （可选）将dlist.cpp 重命名为dlist.icpp。为什么？因为许多构建系统会自动将任何以.cpp 结尾的文件编译为目标文件。许多程序员认为.cpp 文件会被编译成目标文件。
3. （仅当采取第 2 步时）在 dlist.h 中包含重命名的 dlist.icpp，就像目前对 dlis.cpp 所做的那样。

Answer 2

头文件是为我定义的，我不允许以任何方式更改它

然后你需要从.cpp 中删除#include "dlist.h" 指令（因为你已经在 dlist.h，从而创建了一个循环依赖），从而使一切完全倒退，因为你得到的标题是愚蠢的！

.cpp 应该永远是#included。通常，如果一个必须将与模板相关的定义拆分到他们自己的文件中，它应该有一些其他的扩展名。我强烈建议您与赋予您此任务的人交谈，并解释他们的标题很愚蠢、令人困惑且非常规。

Answer 3

不要在头文件中使用#include "dlist.cpp"，而是将函数定义移动到dlist.h。

Answer 4

为什么在 .h 文件中包含 .cpp 文件？在 99% 的情况下，您不应该这样做。

只需添加您的代码

template <typename T>
bool Dlist<T>::isEmpty() const
{
    return !first and !last;
}

而不是 .cpp 文件包含指令。

Answer 5

删除#include "dlist.h"，不编译dlist.cpp本身。

你也可以使用this：

因为 dlist.h 包含 dlist.cpp 并定义了__DLIST_H__：

#define __DLIST_H__

你可以修改dlist.cpp为

#ifdef __DLIST_H__

template <typename T>
bool Dlist<T>::isEmpty() const
{
    return !first and !last;
}

#endif

这样，如果您尝试编译 dlist.cpp，就不会出现编译器错误。 但我同意其他答案，最好不要将此文件命名为 .cpp。