assert.hpp

Go to the documentation of this file.

#pragma once
 
/// @file userver/utils/assert.hpp
/// @brief Assertion macros UASSERT, UASSERT_MSG, UINVARIANT
/// @ingroup userver_universal
 
#include <string_view>
 
USERVER_NAMESPACE_BEGIN
 
namespace utils::impl {
 
[[noreturn]] void UASSERT_failed(
    std::string_view expr,
    const char* file,
    unsigned int line,
    const char* function,
    std::string_view msg
) noexcept;
 
[[noreturn]] void LogAndThrowInvariantError(std::string_view condition, std::string_view message);
 
#ifdef NDEBUG
inline constexpr bool kEnableAssert = false;
#else
inline constexpr bool kEnableAssert = true;
#endif
 
extern bool dump_stacktrace_on_assert_failure;
 
[[noreturn]] void AbortWithStacktrace(std::string_view message) noexcept;
 
}  // namespace utils::impl
 
USERVER_NAMESPACE_END
 
/// @brief Assertion macro for that aborts execution in DEBUG builds with a
/// message `msg` and does nothing in release builds
///
/// @hideinitializer
// NOLINTNEXTLINE (cppcoreguidelines-macro-usage)
#define UASSERT_MSG(expr, msg)
    do {
        if (USERVER_NAMESPACE::utils::impl::kEnableAssert) {
            if (expr) {
            } else {
                USERVER_NAMESPACE::utils::impl::UASSERT_failed(#expr, __FILE__, __LINE__, __func__, msg);
            }
        }
    } while (0)
 
/// @brief Assertion macro that aborts execution in DEBUG builds and does
/// nothing in release builds
///
/// @hideinitializer
// NOLINTNEXTLINE (cppcoreguidelines-macro-usage)
#define UASSERT(expr) UASSERT_MSG(expr, std::string_view{})
 
/// @brief Asserts in debug builds, throws utils::InvariantError in release
///
/// @hideinitializer
// NOLINTNEXTLINE (cppcoreguidelines-macro-usage)
#define UINVARIANT(condition, message)
    do {
        if (condition) {
        } else {
            if constexpr (USERVER_NAMESPACE::utils::impl::kEnableAssert) {
                USERVER_NAMESPACE::utils::impl::UASSERT_failed(#condition, __FILE__, __LINE__, __func__, message);
            } else {
                USERVER_NAMESPACE::utils::impl::LogAndThrowInvariantError(#condition, message);
            }
        }
    } while (0)