Как обрабатывать круговые зависимости в структурах typedef'd

Question

У меня есть два модуля: a и b.

хиджры:

#ifndef A_H_ 
#define A_H_ 

#include "b.h" 

typedef struct { 
    b_t *b; 
    ... 
} a_t; 

#endif // A_H_ 

b.h:

#ifndef B_H_ 
#define B_H_ 

#include "a.h" 

typedef struct { 
    a_t *a; 
    ... 
} b_t; 

#endif // B_H_ 

Как изменить это так, что он будет собирать? (Я хочу сохранить два отдельных блока компиляции.)

---

Редактировать: Я забыл сделать элементы структуры указателями.

Answer 1

Используйте вперед заявления:

хиджры:

struct b_t; 

typedef struct a_t { 
    struct b_t *b; 
} a_t; 

b.h:

struct a_t; 

typedef struct b_t { 
    struct a_t *a; 
} b_t; 

Answer 2

[Этот ответ применим только к исходному вопросу, где указатели были , а не, используемые в качестве членов struct].

Вы не можете.

По существу у вас есть

typedef struct { 
    b_t b; 
} a_t; 
typedef struct { 
    a_t a; 
} b_t; 

и не опережающее объявление не может помочь вам. Здесь у вас есть невозможная структура: sizeof будет бесконечным.

Answer 3

Именно это не представляется возможным. Вы не можете иметь структуру, являющуюся ее собственным членом, даже не транзитивно. Это возможно, если вы используете указатель. Используйте структуру декларации:

typedef struct a_struct *a_t; 

typdef struct { 
    a_t a; 
} *b_t; 

typedef struct a_struct { 
    b_t b; 
} a_t; 

Answer 4

[Этот ответ относится только к первоначальному вопросу, где указатели не были использованы в качестве членов STRUCT].

это невозможно. естественно, невозможно иметь такую ​​структуру.

скажем:

struct a { 
    struct b b; 
    int i; 
}; 

struct b { 
    struct a a; 
    int i; 
}; 

что вы ожидаете от sizeof(struct a)? эта структура будет взрываться, ее невозможно скомпилировать.

однако, он может быть собран, если вы их обратиться к указателям:

struct a; 

struct b { 
    struct a *ap; 
}; 

struct a { 
    struct b *bp; 
}; 

этот код действительно компилируется: http://ideone.com/GKdUD9.