C VS循環依存性？エラーC2061 - 識別子構文エラー

Question

私はVisual Studioを使用してCで小さなプロジェクトを開発しています。 複数のインクルードを避けるには、インクルードガードを使用しています。
ファイル：collections.h
エラー：C2061
説明：構文エラー：識別子 '末端'

synt_analysis.c

#include <string.h> 
#include "headers\synt_analysis.h" 

私はこの1つを含むエラーの多くを取得しています

synt_analysis.h

#ifndef SYNT_ANALYSIS_H 
#define SYNT_ANALYSIS_H 

#include "collections.h" 

typedef enum { 
    ... 
}TType; 

typedef enum { 
    ... 
}NTType; 

typedef struct { 
    TType type; 
    ... 
}Terminal; 

void push_terminal(Terminal terminal, cStack *stack); 

#endif 

本のcollections.h

#ifndef COLLECTIONS_H 
#define COLLECTIONS_H 

#include "synt_analysis.h" 

typedef union { 
    int error; 
    Terminal terminal; 
    NTType nttype; 
}cItemData; 

typedef struct { 
    char *type; 
    cItemData content; 
}cItem; 

typedef struct { 
    unsigned cap; 
    unsigned used; 
    cItem *items; 
}cStack; 

#endif 

コレクションはsynt_analysisによって定義Terminalを格納することができるcStackを提供します。
synt_analysisはcStack（機能push_terminal）を使用して、Terminalをスタックにプッシュします。この機能は必要なコード量を減らすために存在します（新しいTerminalを作成し、cStackにプッシュします）。

Answer 1

この問題は、前方宣言（コンパイラは不完全なstruct型のサイズを知る必要があります - これはunionの1つのオプションとして使用される必要があります）で単純に解決できないため、解決策は循環依存を破る別のヘッダーファイルを作成することです。

新しいファイルsynt_structures.h

#ifndef SYNT_STRUCTURES_H 
#define SYNT_STRUCTURES_H 

#include "lex_analysis.h" 

typedef enum { 
    ... 
}NTType; 

typedef enum { 
    ... 
}TType; 

typedef struct { 
    TType type; 
    ... 
}Terminal; 

#endif 

synt_analysis.hが含まれています：

#include "collections.h" 
#include "synt_structures.h" 

collections.hが含まれています：サイクルを破る

#include "synt_structures.h" 

を。

Answer 2

EDIT：この場合、実際にこの問題は解決されませんが、いくつかの循環依存関係を解決するための便利なテクニックとしてここに残しました。

cStackは、 "synt_analysis.h"内のポインタ型の一部としてのみ使用されるため、そのヘッダーファイル内の不完全な型になる可能性があります。それを不完全な型にするには、それを参照するタグが必要です。不完全型と同じ型を定義

typedef struct cStack { 
    unsigned cap; 
    unsigned used; 
    cItem *items; 
}cStack; 

「synt_analysis.h」において「collections.h」、cStackタイプの定義に使用されるstructにタグを追加で

。

typedef struct cStack cStack; 

EDIT：前述したように、これは実際にはOPの問題を解決していません。