🍴 Assert vs If: когда проверки только вредят

Часто в коде встречаются избыточные проверки, которые защищают от "невозможных" ситуаций:

void process(Config* config) {
    if (config == nullptr) {  // хотя config всегда валиден!
        log_error("Config is null");
        return;
    }
    // ...
}

❗️Проблема: такие if загромождают код, снижают производительность и создают иллюзию безопасности.

✅ Решение: использовать assert для проверки инвариантов — условий, которые всегда должны выполняться в корректной программе:

void process(Config* config) {
    assert(config != nullptr && "Config cannot be null");
    // ...
}

💡 Почему это лучше:

• В релизе (NDEBUG) код assert полностью удаляется — нет накладных расходов
• В горячих циклах это может означать миллионы сэкономленных проверок
• Меньше размер исполняемого файла
• assert явно документирует предусловия функции
• Баг обнаруживается сразу в Debug, а не прячется за логами


👉 Статья


Библиотека C/C++ разработчика

#буст