Можем ли мы объявить объект структуры в области видимости файла до определения структуры?

Question

Согласно приведенному ниже коду и ответу на него:

Вопрос : Какие из следующих объявлений структуры приведут к ошибке?

1. struct temp { char c; } s;
   int main(void) {}
   

2. struct temp { char c; };
   struct temp s;
   int main(void) {}
   

3. struct temp s; 
   struct temp { char c; };
   int main(void) {}
   

4. Ничего из перечисленного.

Ответ : 4

Это правильно? Можем ли мы сначала объявить объект структуры, а затем только определение структуры?

Answer 1

Да, C иногда странный.Поскольку эта переменная находится в области видимости файла и не имеет инициализатора или спецификатора класса хранения, она является предварительным определением.Стандарт C определяет его следующим образом:

6.9.2 Определения внешних объектов

Объявление идентификатора для объекта, который имеет область действия файла без инициализатораи без спецификатора класса хранения или со статическим спецификатором класса хранения составляет предварительное определение.Если модуль перевода содержит одно или несколько предварительных определений для идентификатора, а модуль перевода не содержит внешнего определения для этого идентификатора, , то поведение точно такое, как если бы модуль перевода содержал объявление области файла этого идентификатора ссоставной тип на конец единицы перевода , с инициализатором, равным 0.

Я выделил соответствующую часть.Поскольку в вашей переменной нет инициализатора, вы как бы написали ее в самом конце файла и инициализировали в ноль.Физическая структура файла не имеет значения, поскольку логически определение типа структуры доступно в конце файла.

Таким образом, ответ действительно (4).Однако я бы не стал писать такой код в реальной жизни, это ужасно сбивает с толку в экосистеме C, где почти все должно быть предварительно объявлено для использования.