1.4 Язык предварительной обработки

После токенизации поток токенов может быть просто передан непосредственно в парсер компилятора. Однако, если он содержит какие-либо операции на языке предварительной обработки, он будет преобразован сначала. Эта стадия примерно соответствует «фазе 4 перевода» стандарта и является тем, что большинство людей понимают под работой препроцессора.

Язык предварительной обработки состоит из директивы для выполнения и макросов для расширения. Его основные возможности:

• Включение файлов заголовков. Это файлы объявлений, которые могут быть подставлены в вашу программу.
• Расширение макросов. Вы можете определить макросы, которые являются сокращениями для произвольных фрагментов кода C. Препроцессор заменит макросы их определениями на протяжении всей программы. Некоторые макросы автоматически определены для вас.
• Условная компиляция. Вы можете включать или исключать части программы в зависимости от различных условий.
• Управление строками. Если вы используете программу для объединения или перестановки исходных файлов в промежуточный файл, который затем компилируется, вы можете использовать управление строками, чтобы сообщить компилятору, откуда происходит каждая исходная строка.
• Диагностика. Вы можете обнаруживать проблемы на этапе компиляции и выдавать ошибки или предупреждения.

Есть ещё несколько менее полезных функций.

За исключением расширения предопределённых макросов, все эти операции вызываются директивами предварительной обработки. Директивы предварительной обработки — это строки в вашей программе, которые начинаются с ‘#’. Разрешается наличие пробелов до и после ‘#’. За ‘#’ следует идентификатор, имя директивы. Он определяет выполняемую операцию. Директивы обычно обозначаются как ‘#имя’, где имя — это имя директивы. Например, ‘#define’ — это директива, которая определяет макрос.

‘#’, которая начинается директиву, не может исходить из расширения макроса. Кроме того, имя директивы не расширяется как макрос. Таким образом, если foo определен как макрос, расширяющийся до define, это не делает ‘#foo’ действительной директивой предварительной обработки.

Набор допустимых имён директив фиксирован. Программы не могут определять новые директивы предварительной обработки.

Некоторые директивы требуют аргументов; они составляют остальную часть строки директивы и должны быть разделены от имени директивы пробелами. Например, ‘#define’ должно следовать за именем макроса и предполагаемым расширением макроса.

Директива предварительной обработки не может охватывать более одной строки. Однако строка может быть продолжена обратной косой чертой с новой строкой или блоком комментария, который выходит за пределы конца строки. В любом случае, когда директива обрабатывается, продолжения уже были объединены с первой строкой, чтобы сделать одну длинную строку.

Предыдущая: Токенизация, Вверх: Обзор [Содержание][Индекс]