Препроцессор C++: макросы, #include, #ifdef — практическое руководство с примерами

Препроцессор C++ — это этап до компиляции, который обрабатывает директивы вида #include, #define, #if, #ifdef и другие. Понимание его работы помогает избежать загадочных ошибок линковки, конфликтов имён и странного поведения «магических» макросов, а также грамотно настраивать сборку под разные платформы и режимы (Debug/Release).

#include и защита заголовков

#include буквально копирует содержимое файла на место директивы. Чтобы заголовки не подключались повторно (и не вызывали ошибки множественного определения), используют include guards или #pragma once.

// utils.h
#ifndef UTILS_H_INCLUDED
#define UTILS_H_INCLUDED

int add(int a, int b);

#endif // UTILS_H_INCLUDED

Современная альтернатива — #pragma once (поддерживается большинством компиляторов):

// utils.h
#pragma once
int add(int a, int b);

Косые скобки и кавычки в #include важны: #include <iostream> ищет в системных путях, а #include "utils.h" — сперва рядом с текущим файлом.

Макросы #define: константы и «функции»

Макросы заменяются текстуально. Для констант лучше предпочитать constexpr, но знать макросы полезно.

#define PI 3.141592653589793

constexpr double kPi = 3.141592653589793; // безопаснее и типобезопасно

Функциональные макросы часто таят ловушки из-за побочных эффектов и приоритетов операторов. Минимум — всегда оборачивайте параметры и всё выражение в скобки.

#define SQR(x) ((x) * (x))

int i = 3;
int a = SQR(i);     // OK: 9
int b = SQR(i++);   // ПЛОХО: i инкрементируется дважды!

constexpr int sqr(int x) { return x * x; } // правильная альтернатива
int c = sqr(i++);   // Безопасно: i++ выполнится один раз

Часто макросы используются для логирования: удобно добавлять файл, строку и имя функции с помощью предопределённых идентификаторов.

#include <iostream>

#define LOG(msg) \
  std::cout << __FILE__ << ":" << __LINE__ << " " << __func__ \
            << " | " << (msg) << '\n';

void run() {
  LOG("started");
}

# и ##: строкизация и склейка токенов

Оператор # превращает аргумент макроса в строковый литерал, а ## склеивает токены.

#define STR(x) #x
#define CAT(a, b) a##b

int xy = 42;

static_assert(sizeof(STR(Hello)) > 0, "");
// STR(Hello world) -> "Hello world"
// CAT(x, y) -> идентификатор xy

Эти приёмы полезны при генерации однотипного кода, но не злоупотребляйте ими — читаемость важнее.

Условная компиляция: #if, #ifdef, #ifndef

С помощью условной компиляции легко настраивать код под платформы, компиляторы и режимы сборки.

#if defined(_WIN32)
  const char* OS = "Windows";
#elif defined(__linux__)
  const char* OS = "Linux";
#elif defined(__APPLE__)
  const char* OS = "Apple";
#else
  const char* OS = "Unknown";
#endif

Отладочные макросы удобно включать/выключать через NDEBUG.

#include <iostream>

#ifndef NDEBUG
  #define DBG(expr) do { \
    std::cerr << "DBG: " << #expr << " = " << (expr) << '\n'; \
  } while(0)
#else
  #define DBG(expr) do { } while(0)
#endif

int calc(int x) { return x * 2; }

int main() {
  int v = 21;
  DBG(calc(v));
}

Передача определений из командной строки компилятора:

g++ main.cpp -DNDEBUG -O2 -std=c++20 -o app
clang++ main.cpp -DAPP_VERSION=\"1.2.3\" -o app

В CMake это можно сделать так:

target_compile_definitions(app PRIVATE NDEBUG APP_VERSION=\"1.2.3\")

Частые ошибки и как их избежать

• Побочные эффекты в макросах: выражения вроде SQR(i++) приведут к двойному инкременту. Используйте constexpr функции.
• Отсутствие скобок: #define MUL(a,b) a*b сломается для 1+2*3+4. Пишите ((a)*(b)).
• Многострочные макросы без \ в конце строки — синтаксическая ошибка. Применяйте шаблон do { ... } while(0) для надёжности.
• Конфликты имён: глобальные макросы загрязняют пространство имён. Используйте префиксы и #undef после использования, если нужно.
• Windows min/max из windows.h как макросы ломают std::min/std::max. Решение: #define NOMINMAX перед #include <windows.h>.

Лучшие практики

• Для констант используйте constexpr и enum class; для «функций» — constexpr/inline функции.
• Всегда ставьте include guards или #pragma once в заголовках.
• Используйте макросы для: логирования, платформенных различий, генерации однотипного кода (осторожно), фич-флагов сборки.
• Именуйте макросы SCREAMING_SNAKE_CASE, не переопределяйте имена из стандартной библиотеки.
• Минимизируйте область видимости макросов: определяйте их ближе к месту использования и по возможности #undef после.

Мини-проверка понимания

• Сможете ли вы объяснить, почему SQR(i++) опасно?
• Чем #include <...> отличается от #include "..."?
• Когда стоит предпочесть constexpr вместо макроса?

Что дальше изучить

Разобравшись с препроцессором C++, вы будете реже сталкиваться с «мистическими» ошибками сборки и напишете чище код. Хотите прокачаться системно и на практике? Загляните в курс Прокачать C++ на практике → «Программирование на C++ с Нуля до Гуру» — пошаговые модули, задания и разборы для уверенного роста от базовых тем до продвинутых приёмов.

Итог: препроцессор — мощный, но требующий дисциплины инструмент. Знайте его сильные стороны (условная компиляция, логирование, генерация кода) и выбирайте современные альтернативы там, где это повышает безопасность и читаемость.