Как проверить, что код работает на этапе компиляции?

Проверка кода на этапе компиляции осуществляется с помощью:

• Статического анализа: Инструменты (например, Clang-Tidy, Cppcheck) анализируют исходный код без его выполнения, выявляя потенциальные ошибки (мертвый код, утечки памяти, неправильное использование типов и т.д.).
• Unit-тестов с constexpr: Использование функций и переменных, помеченных как constexpr, позволяет вычислить их значения во время компиляции и проверить утверждения (static_assert).
• Assertions во время компиляции (static_assert): Позволяют проверить условия на этапе компиляции. Если условие ложно, компиляция завершается с ошибкой.

#include <cassert>

constexpr int factorial(int n) {
    if (n == 0) {
        return 1;
    } else {
        return n * factorial(n - 1);
    }
}

// Проверка во время компиляции
static_assert(factorial(5) == 120, "Factorial calculation is incorrect.");

int main() {
    // Ассерт во время выполнения (для сравнения, но не проверяет на этапе компиляции)
    assert(factorial(3) == 6);
    return 0;
}