Объявление

Можно — размер указателя на структуру известен заранее.

да, это называется «неполный тип»

struct ppp_eee;
struct qqq_eee {
...
   struct ppp_eee *pe;
...
};

struct ppp_eee {
...
};

причём struct qqq_eee { может находится совсем в другом файле.

«неполный тип»

не пори чушь

http://en.wikipedia.org/wiki/Incomplete_type#Incomplete_types

А так: http://en.wikipedia.org/wiki/C_syntax#Incomplete_types

В C или C++?

[рукииз...] Как разрешить циклические зависимости?

sjinks неполный тип, это вот это:

struct ppp_eee;

struct ppp_eee;

А это называется forward declaration.

можно подумать, я там что-то другое написал...

если объявлен заранее, то известен, да.

Ну, вообще-то он и так известен и не зависит от того, куда указует. ;) Ударение было на поинтер, а он зависит только от архитектуры.

Таким образом конструкция вида:

struct first {
        struct second *p;
};

struct second {
        struct first *p;
};

Не скомпилится, если ты вначале не напишешь

struct second;

Дык, компилится и с -Wall и с -pedantic. ;)

Я уже проверил. Хотел удалить, но ты уже ответил. Странно. У меня с подобной вещью были проблемы (я ниже ссылочку приводил).

А там это как-то по-другому делается?

Если мне память не изменяет, то в C не требуется предварительная декларация, а в крестах — требуется.

Проблемы будут, если написать

first_t *p;

struct first var;

У меня с подобной вещью были проблемы

Предполагаю, что у тебя там был typedef на структуру.

Только что проверил, g++ и cl хавают на ура.

Ага.

Странно.

что тут странного? Указатель имеет всегда размер в sizeof(ptrdiff_t), а структура == объявление. Ошибка будет если ты попытаешься разименовать такой указатель до полного объявления.

А… Если перед указателем писать слово struct, то да. Если не писать, то нужно предварительное объявление.