example.cpp

#include "debug_assert.hpp"

#include <iostream>

//=== module A ===//
#define MODULE_A_LEVEL 1 // macro to control assertion level
// usually set by the build system

// tag type that defines a module
struct module_a : debug_assert::default_handler,          // it uses the default handler
                  debug_assert::set_level<MODULE_A_LEVEL> // and this level
{
};

void module_a_func(void* ptr)
{
    DEBUG_ASSERT(ptr, module_a{});                                  // minimal assertion
    DEBUG_ASSERT(2 + 2 == 4, module_a{}, debug_assert::level<2>{}); // assertion with level
    DEBUG_ASSERT(1 == 0, module_a{},
                 "this should be true"); // assertion with additional parameters, i.e. a message
    DEBUG_UNREACHABLE(module_a{});       // mark unreachable statements
}

//=== module B ===//
#define MODULE_B_LEVEL 2

struct module_b : debug_assert::set_level<MODULE_B_LEVEL> // b uses all assertions with level <= 2
{
    // module b uses a different handler
    // it does not support a message
    // instead you can specify a pointer value
    static void handle(const debug_assert::source_location& loc, const char* expression,
                       void* ptr = nullptr) noexcept
    {
        std::cerr << "Assertion failure '" << loc.file_name << ':' << loc.line_number << ": "
                  << expression;
        if (ptr)
            std::cerr << " - pointer is " << ptr;
        std::cerr << '\n';
    }
};

void module_b_func(int& value, void* ptr)
{
    DEBUG_ASSERT(ptr == &value, module_b{}, ptr); // uses the additional custom parameter
    DEBUG_ASSERT(ptr == &value, module_b{}, debug_assert::level<2>{},
                 ptr); // also works with a custom level
}

int main()
{
    module_a_func(nullptr);
    int val = 5;
    module_b_func(val, &val);
}