Зачем в макросах C++ используют бессмысленные do-while и if-else?

Проблема: макросы — это не функции

Главная причина, по которой макросы оборачивают в do { ... } while(0) или if (1) { ... } else (void)0, заключается в том, что макросы препроцессора — это просто текстовая подстановка. В отличие от функций, они не имеют собственной области видимости и не подчиняются правилам синтаксиса C++. Ваш пример с BAD_MACRO наглядно демонстрирует проблему.

Рассмотрим, что происходит после подстановки вашего макроса в условие if:

int a = 5;
if (a > 0)
    int y = a * 2;  // Объявление переменной!
    std::cout << y << std::endl;  // Эта строка уже НЕ внутри if
else
    std::cout << "Negative" << std::endl;  // Ошибка: else без if!

Препроцессор просто вставил тело макроса как есть. В результате int y = ... оказывается единственной инструкцией, связанной с if, а std::cout << y выполняется всегда (и вызывает ошибку компиляции из-за висячего else).

Решение 1: do { ... } while(0)

Это самый популярный идиоматический способ. Он работает так:

• Конструкция do { ... } while(0) — это составной оператор, который выполняется ровно один раз.
• Она всегда требует точку с запятой в конце, что заставляет программиста ставить ; после макроса (как после обычного вызова функции).
• Внутри блока можно объявлять переменные, использовать break и т.д.

Исправленный макрос:

#define LOG_ERROR(msg) do { \
    std::cerr << "ERROR: " << msg << std::endl; \
} while(0)

Теперь после подстановки:

if (a > 0)
    do {
        std::cerr << "ERROR: " << msg << std::endl;
    } while(0);  // Всё работает корректно
else
    std::cout << "Negative" << std::endl;

Блок do-while — это единый оператор, поэтому else привязывается к if без проблем.

Решение 2: if (1) { ... } else (void)0

Альтернативный подход, который решает те же проблемы:

#define SAFE_DELETE(p) if (p) { delete p; p = nullptr; } else (void)0

Здесь else (void)0 выполняет две функции:

• Заставляет макрос быть единым оператором (как и do-while).
• (void)0 — это "пустое" выражение, которое компилятор отбросит. Оно нужно, чтобы синтаксис был полным.

После подстановки:

if (a > 0)
    if (p) { delete p; p = nullptr; } else (void)0;  // Всё корректно
else
    std::cout << "Negative" << std::endl;

Дополнительные преимущества

Обе конструкции защищают от других проблем с макросами:

• Объявление переменных: Внутри do-while можно объявить временную переменную, и она не "вытечет" наружу.
• Точка с запятой: Конструкция do { ... } while(0) требует ; в конце, что соответствует стилю вызова функций.
• Вложенные if-else: Макросы с if-else внутри (например, #define MAX(a,b) if (a>b) a; else b;) без обёртки приводят к "висячему else" в сложных условиях.

Вывод: Всегда используйте do { ... } while(0) для многострочных макросов, которые должны вести себя как функции. Это стандартная практика в C/C++, и её соблюдение избавит вас от трудноуловимых багов.

#define CHECK_AND_SET(x) if (x > 0) { x = 1; } else { x = 0; }

// Использование:
if (flag)
    CHECK_AND_SET(val);  // Проблема: else от макроса привяжется к if(flag)
else
    doSomething();