Как устроен препроцессор в C и C++

Иван Корнев·06.05.2026·⏱4 мин

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

Понимание работы препроцессора критически важно для отладки ошибок компиляции, написания кроссплатформенного кода и создания библиотек. В отличие от самого компилятора, препроцессор не знает о типах данных, областях видимости или синтаксисе языка — он оперирует только токенами и текстом.

Этапы обработки кода

Процесс трансляции программы на C/C++ состоит из нескольких стадий, и препроцессинг — самая первая из них.

Лексический анализ и очистка. Препроцессор разбивает файл на токены, удаляет все комментарии (они не попадут в итоговый бинарный файл) и обрабатывает специальные символы (например, переносы строк через обратный слэш \).
Обработка директив. Выполняются команды, начинающиеся с символа #. Сюда входит вставка содержимого других файлов (#include) и определение макроподстановок (#define).
Раскрытие макросов. Имена макросов заменяются на их значения. Этот процесс рекурсивен: если в результате замены появляется новый макрос, он тоже раскрывается.
Условная компиляция. Блоки кода, не удовлетворяющие условиям (#if, #ifdef), полностью вырезаются из текста.

Чтобы увидеть код после работы препроцессора, используйте флаг -E в GCC или Clang: gcc -E main.c > preprocessed.i Открыв файл preprocessed.i, вы увидите весь код с раскрытыми макросами и подключенными заголовками. Это лучший способ понять, почему компилятор выдает странную ошибку.

Основные директивы и их применение

Подключение файлов (#include)

Директива #include копирует содержимое указанного файла в текущее место вызова. Существует два способа указания пути:

#include <filename> — поиск выполняется в системных директориях компилятора (например, /usr/include или папках SDK). Используется для стандартных библиотек.
#include "filename" — поиск начинается в текущей папке проекта, а затем в системных путях. Используется для ваших собственных заголовочных файлов.

#include <iostream> // Системная библиотека
#include "my_utils.h" // Локальный файл проекта

Определение констант и макросов (#define)

Директива #define создает макроподстановку. Компилятор заменит все вхождения имени макроса на его значение.

Объект-подобные макросы (константы):

#define MAX_BUFFER_SIZE 1024
#define PI 3.1415926535

Функция-подобные макросы: Могут принимать аргументы. Важно всегда заключать аргументы и всё выражение в скобки, чтобы избежать ошибок приоритета операций.

// Правильно:
#define SQUARE(x) ((x) * (x))

// Использование:
int area = SQUARE(5 + 2); // Раскроется в ((5 + 2) * (5 + 2)) = 49

Опасность побочных эффектов. Если передать в макрос выражение с инкрементом, оно выполнится дважды: SQUARE(i++) превратится в ((i++) * (i++)). Это приводит к неопределенному поведению и ошибкам логики. В таких случаях всегда используйте обычные функции или inline-функции.

Специальные операторы: # и

В макросах можно использовать два специальных оператора для манипуляции токенами:

Стрингификация (#) — превращает аргумент макроса в строковый литерал.
Конкатенация (##) — склеивает два токена в один.

#define PRINT_VAR(name, value) printf(#name " = %d\n", value)
#define CONCAT(a, b) a##b

// Пример стрингификации:
int speed = 100;
PRINT_VAR(speed, speed); 
// Преобразуется в: printf("speed" " = %d\n", speed); -> "speed = 100"

// Пример конкатенации:
int var10 = 5;
int x = CONCAT(var, 10); // Преобразуется в: int x = var10;

Условная компиляция

Условная компиляция позволяет включать или исключать части кода в зависимости от настроек сборки, операционной системы или версии компилятора. Это основной инструмент для написания кроссплатформенных приложений.

Основные директивы:

#if, #elif, #else, #endif — проверка числовых или логических условий.
#ifdef, #ifndef — проверка, определен ли макрос.
defined(NAME) — оператор для использования внутри #if.

#ifdef _WIN32
    #include <windows.h>
    #define PLATFORM_NAME "Windows"
#elif __linux__
    #include <unistd.h>
    #define PLATFORM_NAME "Linux"
#else
    #error "Unsupported platform"
#endif

void init() {
    // Код инициализации будет разным для разных ОС
}

Частый паттерн — использование «защитных макросов» (include guards) для предотвращения двойного включения заголовочных файлов:

#ifndef MY_HEADER_H
#define MY_HEADER_H

// Содержимое файла

#endif // MY_HEADER_H

Современный стандарт C++ и большинство компиляторов поддерживают директиву #pragma once. Она делает то же самое, что и защитные макросы, но короче и менее подвержена ошибкам именования. Однако #ifndef остается более переносимым решением для старых систем.

Предопределенные макросы

Компилятор предоставляет набор встроенных макросов, которые полезны для логирования и отладки. Они раскрываются автоматически.

Макрос	Значение
`LINE`	Номер текущей строки в файле
`FILE`	Имя текущего файла
`DATE`	Дата компиляции (строка)
`TIME`	Время компиляции (строка)
`__cplusplus`	Версия стандарта C++ (число)

Пример использования для логирования:

#define LOG(msg) std::cout << "[" << __FILE__ << ":" << __LINE__ << "] " << msg << std::endl;

LOG("Error occurred"); 
// Вывод: [main.cpp:15] Error occurred

Частые ошибки при работе с препроцессором

Забывание точки с запятой или лишние символы. Макросы — это просто текст. Если вы напишете #define FOO 10; (с точкой с запятой), то в коде int x = FOO + 5; получится int x = 10; + 5;, что вызовет ошибку синтаксиса. Никогда не ставьте точку с запятой в определении макроса-константы.
Конфликты имен. Поскольку макросы глобальны и заменяются везде, имя MAX или min может случайно переопределить функцию из стандартной библиотеки или другого модуля. Используйте префиксы пространства имен (например, MY_LIB_MAX).
Рекурсивное включение файлов. Если файл A включает файл B, а файл B включает файл A, компилятор уйдет в бесконечный цикл (или исчерпает лимит вложенности). Защитные макросы (#ifndef) решают эту проблему.
Сложность отладки. Ошибки в макросах часто дают непонятные сообщения об ошибках, указывающие на раскрытый код, а не на исходный макрос. Используйте флаг -E для просмотра промежуточного результата.

FAQ

Чем макросы отличаются от констант const или constexpr? Макросы обрабатываются до компиляции и не имеют типа. const и constexpr переменные проверяются компилятором на типизацию, имеют область видимости и занимают место в памяти (или оптимизируются). В современном C++ предпочтительно использовать constexpr вместо макросов для констант и inline функции вместо макросов-функций.

Что такое #pragma? Это директива для передачи специфических инструкций компилятору. Стандарт не регламентирует все возможные прагмы, они зависят от реализации (GCC, MSVC, Clang). Например, #pragma pack(1) меняет выравнивание структур в памяти.

Почему #include иногда замедляет компиляцию? Каждый #include физически копирует тысячи строк кода из заголовочных файлов. Если заголовки включают друг друга глубоко и многократно, компилятору приходится обрабатывать огромные объемы текста. Решение: использовать предкомпилированные заголовки (PCH) или модули (в C++20).