#include "debug_assert.hpp" #include //=== 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 // 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 // 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); }