Решение

Чтобы понять, почему компилятор жалуется, вам нужно знать две вещи о C "struct":

• они создаются (как объявленный, но еще не определенный тип), как только вы их называете, поэтому самое первое вхождение struct lolсоздает объявление
• они подчиняются тем же правилам "области объявления", что и обычные переменные

( struct lol {Декларирует , а затем начинается определение структуры, это struct lol;или struct lol *или что - то еще , что не имеет открывающую фигурную скобку , который останавливается после «объявляет» шага.)

Тип структуры, который объявлен, но еще не определен, является экземпляром того, что C называет «неполным типом». Вам разрешено использовать указатели на неполные типы, если вы не пытаетесь следовать указателю:

struct lol *global_p;
void f(void) {
    use0(global_p);     /* this is OK */
    use1(*global_p);       /* this is an error */
    use2(global_p->field); /* and so is this */
}

Вы должны завершить тип, чтобы «следовать указателю», другими словами.

Однако в любом случае рассмотрим объявления функций с обычными intпараметрами:

int imin2(int a, int b); /* returns a or b, whichever is smaller */
int isum2(int a, int b); /* returns a + b */

Переменные с именами aи bздесь объявляются в скобках, но эти объявления должны быть удалены, чтобы следующее объявление функции не жаловалось на то, что они были повторно объявлены.

То же самое происходит с structименами тегов:

void gronk(struct sttag *p);

struct sttagОбъявляет структуру, а затем декларация сметена, как и те , для aи b. Но это создает большую проблему: тег исчез, и теперь вы не можете назвать тип структуры больше никогда! Если вы напишите:

struct sttag { int field1; char *field2; };

который определяет новое и другое struct sttag, как:

void somefunc(int x) { int y; ... }
int x, y;

определяет новый и другой xи yна уровне файлового уровня, отличный от тех, что в somefunc.

К счастью, если вы объявляете (или даже определяете) структуру до того, как напишите объявление функции, объявление уровня прототипа «отсылает назад» к объявлению внешней области видимости:

struct sttag;
void gronk(struct sttag *p);

Теперь оба struct sttag«одинаковы» struct sttag, поэтому, когда вы завершите struct sttagпозже, вы завершите тот же, что и в прототипе gronk.

---

Отредактируйте вопрос: конечно, было бы возможно определить действие тегов struct, union и enum по-разному, заставив их «пузыриться» от прототипов к их объемам. Это заставило бы проблему уйти. Но это не было определено таким образом. Поскольку именно комитет ANSI C89 изобрел (или украл, в действительности, из тогдашнего C ++) прототипы, вы можете винить их в этом. :-)

Автор: torek Размещён: 30.05.2013 09:02