1

我有一个名为 Token 的父类

我有两个子类， ErrorToken 和 EndToken。 这些类中的每一个都需要能够创建另一个的对象，并通过函数调用返回它。每个都有自己单独的头类。

所以，ErrorToken 需要能够创建新的 EndToken 对象并返回，而 EndToken 需要能够创建新的 ErrorToken 对象并返回。

成功做到这一点的最佳方法是什么？我希望它尽可能兼容交叉编译器，所以我不想使用 pragma 一次。（但这基本上就是我正在寻找的）。

理想情况下，我希望能够做这样的事情......

#ifndef ErrorToken
#include "ErrorToken.h"
#endif

但这似乎永远行不通（我的猜测是那是错误的？有人可以帮我理解为什么吗？）。

我对前向声明的理解是它只适用于函数签名和指针（对吗？），所以我认为这不适用于我的情况，因为我需要它能够运行构造函数......或者确实编译器只需要知道构造函数在那一刻退出？

4

2 回答 2

2

好吧，使用前向声明。正如你所说，那里有数百万种解释，现在有数百万零一个：

错误令牌.h：

#ifndef H_ERROR_TOKEN
#define H_ERROR_TOKEN

#include "Token.h"

class EndToken;

class ErrorToken : public Token
{
public:
    EndToken makeEndToken();
};

#endif

EndToken.h：

#ifndef H_END_TOKEN
#define H_END_TOKEN

#include "Token.h"

class ErrorToken;

class EndToken : public Token
{
public:
    ErrorToken makeErrorToken();
};

#endif

在每个实现文件中，您现在可以愉快地包含两个头文件：

#include "ErrorToken.h"
#include "EndToken.h"

ErrorToken EndToken::makeErrorToken()
{
    return ErrorToken();   // example
}

EndToken ErrorToken::makeEndToken()
{
    return EndToken();
}

正如@James Kanze 指出的那样，您可能对 C++ 的工作原理感到困惑。以下代码可能更符合您对 Java 的期望，并且在多态设计方式中更有意义：

class Token { virtual ~Token()  {} };

class ErrorToken : public Token
{
    std::unique_ptr<Token> makeEndToken();
};

class EndToken : public Token
{
    std::unique_ptr<Token> makeErrorToken();
};

std::unique_ptr<Token> EndToken::makeErrorToken()
{
    return { new ErrorToken; }
}

std::unique_ptr<Token> ErrorToken::makeEndToken()
{
    return { new EndToken; }
}

由于您仅通过基指针处理对象，因此标头不需要了解有关其他派生类的任何信息。（我留给您将代码细分为文件；每个块都进入一个单独的文件。）

于 2013-09-12T08:31:04.897 回答
1

为什么你的

#ifndef ErrorToken

错误的？首先，将其放在头文件中，其次确保某些内容实际定义 ErrorToken

包含守卫和前向声明可能会让你摆脱这个困境：

//"ErrorToken.h"
#ifndef ERROR_TOKEN_INCLUDED
#define ERROR_TOKEN_INCLUDED

class EndToken;

class ErrorToken
{
public:
    EndToken DoSomething();
};
#endif

//"EndToken.h"
#ifndef END_TOKEN_INCLUDED
#define END_TOKEN_INCLUDED
class ErrorToken;

class EndToken
{
public:
    ErrorToken DoSomething();
};
#endif

之前已经讨论过循环依赖：这里、这里和这里
你可以在 cpp 文件中完成大部分工作，其中包含另一个头文件，因此它知道完整的类定义，而不仅仅是前向声明，并且可以使用。
不过先退后一步，问：“他们真的需要了解彼此吗？”

于 2013-09-12T08:32:44.617 回答