7 Директивы

Директива ‘#pragma’ — это метод, указанный стандартом C для предоставления дополнительной информации компилятору, помимо того, что передаётся самим языком. Формы этой директивы (обычно называемые директивами) по стандарту C имеют префикс STDC. Компилятор C свободен придавать любое значение другим директивам. Большинство определённых и поддерживаемых GNU директив имеют префикс GCC.

C99 ввёл оператор _Pragma. Эта функция решает основную проблему с ‘#pragma’: будучи директивой, он не может быть результатом макроподстановки. _Pragma — это оператор, подобный sizeof или defined, и может быть встроен в макрос.

Его синтаксис — _Pragma (string-literal), где строковая константа может быть обычной или широкой строковой константой. Она дестрокизируется, заменяя все ‘\\’ на один ‘\’ и все ‘\"’ на ‘"’. Результат затем обрабатывается так, как если бы он появился в правой части директивы ‘#pragma’. Например,

_Pragma ("GCC dependency \"parse.y\"")

имеет тот же эффект, что и #pragma GCC dependency "parse.y". Тот же эффект можно достичь, используя макросы, например

#define DO_PRAGMA(x) _Pragma (#x)
DO_PRAGMA (GCC dependency "parse.y")

Стандарт неясен относительно того, где может находиться оператор _Pragma. Препроцессор не принимает его внутри директивы условной компиляции, например, ‘#if’. Для безопасности лучше всего не включать его в другие директивы, кроме ‘#define’, и помещать его на отдельной строке.

В этом руководстве документируются директивы, имеющие значение для самого препроцессора. Другие директивы имеют значение для компиляторов C или C++. Они документированы в руководстве GCC.

Плагины GCC могут предоставлять свои собственные директивы.

#pragma GCC dependency

#pragma GCC dependency позволяет проверять относительные даты текущего файла и другого файла. Если другой файл более новый, чем текущий, выдаётся предупреждение. Это полезно, если текущий файл получен из другого файла и должен быть перегенерирован. Другой файл ищется с помощью стандартного пути поиска включаемых файлов. Дополнительный текст в конце может использоваться для предоставления дополнительной информации в сообщении предупреждения.

#pragma GCC dependency "parse.y"
#pragma GCC dependency "/usr/include/time.h" rerun fixincludes

#pragma GCC poison

Иногда существует идентификатор, который вы хотите полностью удалить из вашей программы и убедиться, что он никогда не вернётся. Чтобы это обеспечить, вы можете отравлять идентификатор с помощью этой директивы. #pragma GCC poison следует за списком идентификаторов, которые нужно отравлять. Если любой из этих идентификаторов появляется где-либо в исходном коде после директивы, это ошибка. Например,

#pragma GCC poison printf sprintf fprintf
sprintf(some_string, "hello");

вызовет ошибку.

Если отравленный идентификатор появляется как часть расширения макроса, который был определён до того, как идентификатор был отравлен, это не вызовет ошибку. Это позволяет отравлять идентификатор, не беспокоясь о системных заголовках, определяющих макросы, которые используют его.

Например,

#define strrchr rindex
#pragma GCC poison rindex
strrchr(some_string, 'h');

не вызовет ошибку.

#pragma GCC system_header

Эта директива не принимает аргументов. Она заставляет остальную часть кода в текущем файле обрабатываться как если бы она пришла из системного заголовка. См. Системные заголовки.

#pragma GCC warning

#pragma GCC error

#pragma GCC warning "message" заставляет препроцессор выдать диагностическое предупреждение с текстом ‘сообщение’. Сообщение, содержащееся в директиве, должно быть единственной строковой константой. Аналогично, #pragma GCC error "message" выдает сообщение об ошибке. В отличие от директив ‘#warning’ и ‘#error’, эти директивы могут быть встроены в макросы препроцессора с помощью ‘_Pragma’.

#pragma once

Если #pragma once встречается при сканировании файла заголовка, этот файл больше никогда не будет прочитан, независимо от чего. Это менее портативная альтернатива использования ‘#ifndef’ для защиты содержимого файлов заголовков от множественного включения.

Далее: Другие Директивы, Предыдущее: Управление Строками, Вверх: Верх [Оглавление][Индекс]