Защищает ли GCC программиста от многократного включения заголовков библиотеки C?

Есть ли гарантия, что каждый заголовок библиотеки выглядит примерно так?

#ifndef STDIO_H
#define STDIO_H
/* contents here... */
#endif

Не могли бы вы сослаться на источник?

Спасибо!


c header include
person Ori Popowski    schedule 23.07.2009    source источник
comment
Если вы спрашиваете, можно ли многократно включать стандартные заголовки C, вы должны спросить именно об этом. Заголовки, конечно, не обязаны иметь охрану. Иногда этого не происходит, особенно если заголовок включает только другой файл.   -  person avakar    schedule 23.07.2009

Ответы (5)


arrow_upward
8
arrow_downward

Нет, GCC не защищает вас от библиотеки, не использующей защиту включения, как вы описали, - это зависит от рассматриваемой библиотеки. (И не является частью GCC.)

Все известные стандартные библиотеки C (glibc, newlibc, ulibc) правильно защищают свои включения. (Поскольку они широко используются, такая вопиющая проблема будет быстро обнаружена.)

Изменить: после вашего второго комментария ваш вопрос теперь имеет больше смысла. Цитата из ISO/IEC 9899:1999 (C99), глава 7.1.2 Стандартные заголовки, параграф 4, первое предложение:

Стандартные заголовки могут быть включены в любом порядке; каждый из них может быть включен более одного раза в заданную область действия с тем же эффектом, что и включение только один раз, за ​​исключением того, что эффект включения ‹assert.h› зависит от определения NDEBUG (см. 7.2).

Это означает, что если какая-либо стандартная библиотека C, с которой вы столкнулись, доставляет вам проблемы, она сломана.

person DevSolar    schedule 23.07.2009
comment
Ну, какой? ;-) Хотя это не имеет отношения к вашему ответу (поскольку ни одна из известных библиотек C не создаст никаких проблем в этой области), вы запросили ссылку на источник, и это может быть только источник конкретного Стандартная библиотека C. Вы знаете, хотя существует стандарт, которого должны придерживаться эти библиотеки (ISO/IEC 9989), существует множество реализаций этого стандарта... - person DevSolar; 23.07.2009
comment
Я знаю. Что я хотел знать, так это то, что стандарт говорит об этом. Под этим я подразумеваю ANSI C. Было ошибкой говорить о GCC, вместо этого я должен был сказать ANSI C. - person Ori Popowski; 23.07.2009

arrow_upward
7
arrow_downward

В стандарте C99 (ISO/IEC 9899:TC3) конкретно указано:

Стандартные заголовки могут быть включены в любом порядке; каждый из них может быть включен более одного раза в заданную область действия с тем же эффектом, что и включение только один раз, за ​​исключением того, что эффект от включения <assert.h> зависит от определения NDEBUG (см. 7.2).

Пункт 4 в разделе 7.1.2

person Evan Teran    schedule 23.07.2009

arrow_upward
3
arrow_downward

Стандарт C++ определенно указывает, что заголовки стандартных библиотек могут быть включены #include более одного раза. Однако он не указывает, каким должен быть механизм, позволяющий избежать множественных определений. Я ожидаю, что стандарт C (которого у меня нет) говорит что-то подобное. Но почему вас это беспокоит?

person Community    schedule 23.07.2009
comment
Потому что у меня есть файлы pass1.h' and pass1.c', а в pass1.c есть #include ‹stdio.h›, а также в pass1.h. Я знаю, что могу просто удалить #include ‹stdio.h› из pass1.c, потому что он уже включен в pass1.h, но мне было интересно, может ли что-то сломаться, если я этого не сделаю. - person Ori Popowski; 23.07.2009
comment
Нет, ничего не сломается — включать файл можно сколько угодно раз. - person ; 23.07.2009

arrow_upward
0
arrow_downward

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

person nik    schedule 23.07.2009

arrow_upward
0
arrow_downward

Вот самый важный раздел, который я смог найти в наиболее последний черновик:

6.10.2 6 - Директива предварительной обработки #include может появиться в исходном файле, который был прочитан из-за директивы #include в другом файле, вплоть до предела вложенности, определенного реализацией (см. 5.2.4.1).

Затем в разделе 5.2.4.1 перечислены минимальные требуемые значения для различных ограничений окружающей среды; для включения вложенных файлов это 15.

Как это достигается, зависит от конкретной реализации; стандарт не предписывает использование охранников #include, хотя разумно предположить, что большинство реализаций делают это именно так.

person John Bode    schedule 23.07.2009
comment
это вообще не соответствующий раздел. Это связано с вложенными включениями, не избыточными включениями. - person user83255; 23.07.2009