7 Директивы

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

GCC исторически предпочитал использовать расширения синтаксиса языка, такие как __attribute__, для этой цели. Однако GCC определяет несколько своих директив. Они в основном влияют на весь блок трансляции или исходный файл.

В версии GCC 3 все определённые и поддерживаемые GNU директивы получили префикс GCC. Это соответствует префиксу STDC для всех директив, определённых стандартом C99. Для обеспечения обратной совместимости директивы, распознаваемые предыдущими версиями, по-прежнему распознаются без префикса GCC, но такое использование устарело. Некоторые более старые директивы устарели полностью. Они не распознаются с префиксом 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’.

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