Есть ли способ разрешить циклическую зависимость, как это

Я пишу компилятор C и нахожусь на стадии анализа синтаксиса. У меня есть иерархия узлов синтаксического дерева. Я хочу реорганизовать код, но не могу разрешить зависимости, подобные этой.

Например, вот заголовок со всеми предварительно объявленными классами и абстрактный класс Node:

#ifndef TINY_C_COMPILER_NODE_H
#define TINY_C_COMPILER_NODE_H

#include "../token.h"#include <ostream>

class PostfixExprNode;
class IdNode;
class ConstNode;
class StringLiteralNode;
class FloatConstNode;
class IntConstNode;
class PostfixIncrementNode;
class PostfixDecrementNode;
class StructureOrUnionMemberAccessNode;
class StructureOrUnionMemberAccessByPointerNode;
class ArrayAccess;

class Node
{
public:
virtual void Print(std::ostream &os, int depth) = 0;
};

#endif //TINY_C_COMPILER_NODE_H

primary_expr.h:

#ifndef TINY_C_COMPILER_PRIMARY_EXPR_H
#define TINY_C_COMPILER_PRIMARY_EXPR_H

#include "node.h"
// primary-expr ::= id | constant | string-literal | (expr)

class PrimaryExprNode: public PostfixExprNode
{
public:
void Print(std::ostream &os, int depth) override = 0;
};

class IdNode: public PrimaryExprNode
{
public:
explicit IdNode(Token *token);
void Print(std::ostream &os, int depth) override;
private:
Token *token;
};

class ConstNode: public PrimaryExprNode
{
public:
explicit ConstNode(Token *token): token(token) {}
void Print(std::ostream &os, int depth) override = 0;
protected:
Token *token;
};

class IntConstNode: public ConstNode
{
public:
explicit IntConstNode(Token *token);
void Print(std::ostream &os, int depth) override;
};

class FloatConstNode: public ConstNode
{
public:
explicit FloatConstNode(Token *token);
void Print(std::ostream &os, int depth) override;
};

class StringLiteralNode: public PrimaryExprNode
{
public:
explicit StringLiteralNode(Token *token);
void Print(std::ostream &os, int depth) override;
private:
Token *token;
};#endif //TINY_C_COMPILER_PRIMARY_EXPR_H

postfix_expr.h:

#ifndef TINY_C_COMPILER_POSTFIX_EXPR_H
#define TINY_C_COMPILER_POSTFIX_EXPR_H

#include "node.h"
//
//postfix-expr ::= primary-expr | postfix-expr [expr] | postfix-expr (`argument-expr-list)
//                | postfix-expr . id | postfix-expr -> id | postfix-expr ++ | postfix-expr --
//                | (type-name) {initializer-list} | (type-name) {initializer-list, }

class PostfixExprNode: public Node
{
public:
virtual void Print(std::ostream &os, int depth) = 0;
};

class PostfixIncrementNode: public PostfixExprNode
{
public:
explicit PostfixIncrementNode(PostfixExprNode *node): node(node) {}
virtual void Print(std::ostream &os, int depth);
private:
PostfixExprNode *node;
};

class PostfixDecrementNode: public PostfixExprNode
{
public:
explicit PostfixDecrementNode(PostfixExprNode *node): node(node) {}
virtual void Print(std::ostream &os, int depth);
private:
PostfixExprNode *node;
};class StructureOrUnionMemberAccessNode: public PostfixExprNode
{
public:
StructureOrUnionMemberAccessNode(PostfixExprNode *structureOrUnion, IdNode *member): member(member),
structureOrUnion(structureOrUnion) {}

void Print(std::ostream &os, int depth) override;
private:
PostfixExprNode *structureOrUnion;
IdNode *member;
};

class StructureOrUnionMemberAccessByPointerNode: public PostfixExprNode
{
public:
StructureOrUnionMemberAccessByPointerNode(PostfixExprNode *structureOrUnion, IdNode *member): member(member),
structureOrUnion(structureOrUnion) {}

void Print(std::ostream &os, int depth) override;
private:
PostfixExprNode *structureOrUnion;
IdNode *member;
};

class ArrayAccess: public PostfixExprNode
{
public:
ArrayAccess(PostfixExprNode *left, PostfixExprNode *inBrackets): left(left), inBrackets(inBrackets) {}
void Print(std::ostream &os, int depth) override;
private:
PostfixExprNode *left, *inBrackets;
};

#endif //TINY_C_COMPILER_POSTFIX_EXPR_H

Проблема в том, что PrimaryExprNode и его наследники нуждаются в полном объявлении PostfixExprNode, поэтому необходимо включить primary_expr.h. С другой стороны, StructureOrUnionMemberAccessNode нуждается в информации о IdNode в функции Print. Так есть ли способ решить эту проблему? Или я просто должен держать все в одном заголовке?

0

Решение

Задача ещё не решена.

Другие решения

Других решений пока нет …

По вопросам рекламы ammmcru@yandex.ru
Adblock
detector