1.4 Язык предобработки

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

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

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

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

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

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

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

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

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

Предыдущий: Токенизация, Следующий: Обзор [Оглавление][Индекс]