#include <qx/macros/asserts/asserts_manager.h>
#include <qx/macros/asserts/asserts.inl>

Macros
#define	QX_ASSERT_C(condition, category, ...) _QX_ASSERT_C(condition, category, ##__VA_ARGS__)
	Verifies that the condition is true. More...

#define	QX_ASSERT(condition, ...) QX_ASSERT_C(condition, QX_GET_FILE_CATEGORY(), ##__VA_ARGS__)
	Verifies that the condition is true. More...

#define	QX_VERIFY_C(condition, category, ...)
	Verifies that the condition is true. More...

#define	QX_VERIFY(condition, ...) QX_VERIFY_C(condition, QX_GET_FILE_CATEGORY(), ##__VA_ARGS__)
	Verifies that the condition is true. More...

#define	QX_EXPECT_C(condition, category, ...)
	Verifies that the condition is true. More...

#define	QX_EXPECT(condition, ...) QX_EXPECT_C(condition, QX_GET_FILE_CATEGORY(), ##__VA_ARGS__)
	Verifies that the condition is true. More...

#define	QX_EXPECT_CONTINUE_C(condition, category, ...) _QX_EXPECT_ACTION(condition, category, continue, ##__VA_ARGS__)
	Verifies that the condition is true and calls continue; otherwise. More...

#define	QX_EXPECT_CONTINUE(condition, ...) QX_EXPECT_CONTINUE_C(condition, QX_GET_FILE_CATEGORY(), ##__VA_ARGS__)
	Verifies that the condition is true and calls continue; otherwise. More...

#define	QX_EXPECT_BREAK_C(condition, category, ...) _QX_EXPECT_ACTION(condition, category, break, ##__VA_ARGS__)
	Verifies that the condition is true and calls break; otherwise. More...

#define	QX_EXPECT_BREAK(condition, ...) QX_EXPECT_BREAK_C(condition, QX_GET_FILE_CATEGORY(), ##__VA_ARGS__)
	Verifies that the condition is true and calls break; otherwise. More...

#define	QX_EXPECT_RETURN_C(condition, category, ...) _QX_EXPECT_ACTION(condition, category, return, ##__VA_ARGS__)
	Verifies that the condition is true and calls return; otherwise. More...

#define	QX_EXPECT_RETURN(condition, ...) QX_EXPECT_RETURN_C(condition, QX_GET_FILE_CATEGORY(), ##__VA_ARGS__)
	Verifies that the condition is true and calls return; otherwise. More...

#define	QX_EXPECT_RETURN_CT(condition, category, return_value, ...) _QX_EXPECT_ACTION(condition, category, return return_value, ##__VA_ARGS__)
	Verifies that the condition is true and calls return return_value; otherwise. More...

#define	QX_EXPECT_RETURN_T(condition, return_value, ...) QX_EXPECT_RETURN_CT(condition, QX_GET_FILE_CATEGORY(), return_value, ##__VA_ARGS__)
	Verifies that the condition is true and calls return return_value; otherwise. More...

#define	QX_EXPECT_CO_RETURN_C(condition, category, ...) _QX_EXPECT_ACTION(condition, category, co_return, ##__VA_ARGS__)
	Verifies that the condition is true and calls co_return; otherwise. More...

#define	QX_EXPECT_CO_RETURN(condition, ...) QX_EXPECT_CO_RETURN_C(condition, QX_GET_FILE_CATEGORY(), ##__VA_ARGS__)
	Verifies that the condition is true and calls co_return; otherwise. More...

#define	QX_EXPECT_CO_RETURN_CT(condition, category, return_value, ...) _QX_EXPECT_ACTION(condition, category, co_return return_value, ##__VA_ARGS__)
	Verifies that the condition is true and calls co_return return_value; otherwise. More...

#define	QX_EXPECT_CO_RETURN_T(condition, return_value, ...) QX_EXPECT_CO_RETURN_CT(condition, QX_GET_FILE_CATEGORY(), return_value, ##__VA_ARGS__)
	Verifies that the condition is true and calls co_return return_value; otherwise. More...

#define	QX_ENSURE_C(condition, category, ...) _QX_ENSURE_C(condition, category, ##__VA_ARGS__)
	Verifies that the condition is true. More...

#define	QX_ENSURE(condition, ...) QX_ENSURE_C(condition, QX_GET_FILE_CATEGORY(), ##__VA_ARGS__)
	Verifies that the condition is true. More...

Detailed Description

Author: Khrapov

Date: 27.12.2025

Copyright: � Nick Khrapov, 2025. All right reserved.

Assert Types Comparison Table

Assertion type	Crash on failure	Remains in shipping (can have side effects)	Returns condition	Description
QX_ASSERT	+	-	-	Fast fail, similar to `assert()`
QX_VERIFY	+	+	-	Critical places: allocation errors, security checks, encryption, anti-cheat, etc.
QX_EXPECT	-	+	+	Defensive programming
QX_ENSURE	-	-	-	Possibly heavy checks that will not stay in a fast build

Definition in file asserts.h.

Macro Definition Documentation

◆ QX_ASSERT

#define QX_ASSERT	(	condition,
		...
	)	QX_ASSERT_C(condition, QX_GET_FILE_CATEGORY(), ##__VA_ARGS__)

Verifies that the condition is true.

QX_ASSERT macros generate fatal failures and disappear in shipping. See Assert Types Comparison Table for details.

Parameters

condition	- a condition to check. if false, assert fails
...	- optional user message and its format args. the format string should be without QXT

Definition at line 39 of file asserts.h.

◆ QX_ASSERT_C

#define QX_ASSERT_C	(	condition,
		category,
		...
	)	_QX_ASSERT_C(condition, category, ##__VA_ARGS__)

Verifies that the condition is true.

QX_ASSERT macros generate fatal failures and disappear in shipping. See Assert Types Comparison Table for details.

Parameters

condition	- a condition to check. if false, assert fails
category	- a category to use for logging and reporting
...	- optional user message and its format args. the format string should be without QXT

Definition at line 31 of file asserts.h.

◆ QX_ENSURE

#define QX_ENSURE	(	condition,
		...
	)	QX_ENSURE_C(condition, QX_GET_FILE_CATEGORY(), ##__VA_ARGS__)

Verifies that the condition is true.

QX_ENSURE macros generate nonfatal failures and disappear in shipping. See Assert Types Comparison Table for details.

Parameters

condition	- a condition to check. if false, assert fails
...	- optional user message and its format args. the format string should be without QXT

Definition at line 216 of file asserts.h.

◆ QX_ENSURE_C

#define QX_ENSURE_C	(	condition,
		category,
		...
	)	_QX_ENSURE_C(condition, category, ##__VA_ARGS__)

Verifies that the condition is true.

QX_ENSURE macros generate nonfatal failures and disappear in shipping. See Assert Types Comparison Table for details.

Parameters

condition	- a condition to check. if false, assert fails
category	- a category to use for logging and reporting
...	- optional user message and its format args. the format string should be without QXT

Definition at line 208 of file asserts.h.

◆ QX_EXPECT

#define QX_EXPECT	(	condition,
		...
	)	QX_EXPECT_C(condition, QX_GET_FILE_CATEGORY(), ##__VA_ARGS__)

Verifies that the condition is true.

QX_EXPECT macros generate nonfatal failures and remain in shipping. See Assert Types Comparison Table for details.

Parameters

condition	- a condition to check. if false, assert fails
...	- optional user message and its format args. the format string should be without QXT

Return values

- condition

Definition at line 89 of file asserts.h.

◆ QX_EXPECT_BREAK

#define QX_EXPECT_BREAK	(	condition,
		...
	)	QX_EXPECT_BREAK_C(condition, QX_GET_FILE_CATEGORY(), ##__VA_ARGS__)

Verifies that the condition is true and calls break; otherwise.

QX_EXPECT macros generate nonfatal failures and remain in shipping. See Assert Types Comparison Table for details.

Parameters

condition	- a condition to check. if false, assert fails
...	- optional user message and its format args. the format string should be without QXT

Definition at line 123 of file asserts.h.

◆ QX_EXPECT_BREAK_C

#define QX_EXPECT_BREAK_C	(	condition,
		category,
		...
	)	_QX_EXPECT_ACTION(condition, category, break, ##__VA_ARGS__)

Verifies that the condition is true and calls break; otherwise.

QX_EXPECT macros generate nonfatal failures and remain in shipping. See Assert Types Comparison Table for details.

Parameters

condition	- a condition to check. if false, assert fails
category	- a category to use for logging and reporting
...	- optional user message and its format args. the format string should be without QXT

Definition at line 115 of file asserts.h.

◆ QX_EXPECT_C

#define QX_EXPECT_C	(	condition,
		category,
		...
	)

Value:

    _QX_COMMON_ASSERT(                          \
        condition,                              \
        category,                               \
        qx::assert_type::expect,                \
        _QX_ASSERT_AFTER_DEBUG_BREAK_NON_FATAL, \
        bool,                                   \
        ##__VA_ARGS__)

Verifies that the condition is true.

QX_EXPECT macros generate nonfatal failures and remain in shipping. See Assert Types Comparison Table for details.

Parameters

condition	- a condition to check. if false, assert fails
category	- a category to use for logging and reporting
...	- optional user message and its format args. the format string should be without QXT

Return values

- condition

Definition at line 73 of file asserts.h.

◆ QX_EXPECT_CO_RETURN

#define QX_EXPECT_CO_RETURN	(	condition,
		...
	)	QX_EXPECT_CO_RETURN_C(condition, QX_GET_FILE_CATEGORY(), ##__VA_ARGS__)

Verifies that the condition is true and calls co_return; otherwise.

QX_EXPECT macros generate nonfatal failures and remain in shipping. See Assert Types Comparison Table for details.

Parameters

condition	- a condition to check. if false, assert fails
...	- optional user message and its format args. the format string should be without QXT

Definition at line 178 of file asserts.h.

◆ QX_EXPECT_CO_RETURN_C

#define QX_EXPECT_CO_RETURN_C	(	condition,
		category,
		...
	)	_QX_EXPECT_ACTION(condition, category, co_return, ##__VA_ARGS__)

Verifies that the condition is true and calls co_return; otherwise.

QX_EXPECT macros generate nonfatal failures and remain in shipping. See Assert Types Comparison Table for details.

Parameters

condition	- a condition to check. if false, assert fails
category	- a category to use for logging and reporting
...	- optional user message and its format args. the format string should be without QXT

Definition at line 170 of file asserts.h.

◆ QX_EXPECT_CO_RETURN_CT

#define QX_EXPECT_CO_RETURN_CT	(	condition,
		category,
		return_value,
		...
	)	_QX_EXPECT_ACTION(condition, category, co_return return_value, ##__VA_ARGS__)

Verifies that the condition is true and calls co_return return_value; otherwise.

QX_EXPECT macros generate nonfatal failures and remain in shipping. See Assert Types Comparison Table for details.

Parameters

condition	- a condition to check. if false, assert fails
category	- a category to use for logging and reporting
return_value	- a value to return in case of failure
...	- optional user message and its format args. the format string should be without QXT

Definition at line 188 of file asserts.h.

◆ QX_EXPECT_CO_RETURN_T

#define QX_EXPECT_CO_RETURN_T	(	condition,
		return_value,
		...
	)	QX_EXPECT_CO_RETURN_CT(condition, QX_GET_FILE_CATEGORY(), return_value, ##__VA_ARGS__)

Verifies that the condition is true and calls co_return return_value; otherwise.

QX_EXPECT macros generate nonfatal failures and remain in shipping. See Assert Types Comparison Table for details.

Parameters

condition	- a condition to check. if false, assert fails
return_value	- a value to return in case of failure
...	- optional user message and its format args. the format string should be without QXT

Definition at line 198 of file asserts.h.

◆ QX_EXPECT_CONTINUE

#define QX_EXPECT_CONTINUE	(	condition,
		...
	)	QX_EXPECT_CONTINUE_C(condition, QX_GET_FILE_CATEGORY(), ##__VA_ARGS__)

Verifies that the condition is true and calls continue; otherwise.

QX_EXPECT macros generate nonfatal failures and remain in shipping. See Assert Types Comparison Table for details.

Parameters

condition	- a condition to check. if false, assert fails
...	- optional user message and its format args. the format string should be without QXT

Definition at line 106 of file asserts.h.

◆ QX_EXPECT_CONTINUE_C

#define QX_EXPECT_CONTINUE_C	(	condition,
		category,
		...
	)	_QX_EXPECT_ACTION(condition, category, continue, ##__VA_ARGS__)

Verifies that the condition is true and calls continue; otherwise.

QX_EXPECT macros generate nonfatal failures and remain in shipping. See Assert Types Comparison Table for details.

Parameters

condition	- a condition to check. if false, assert fails
category	- a category to use for logging and reporting
...	- optional user message and its format args. the format string should be without QXT

Definition at line 98 of file asserts.h.

◆ QX_EXPECT_RETURN

#define QX_EXPECT_RETURN	(	condition,
		...
	)	QX_EXPECT_RETURN_C(condition, QX_GET_FILE_CATEGORY(), ##__VA_ARGS__)

Verifies that the condition is true and calls return; otherwise.

QX_EXPECT macros generate nonfatal failures and remain in shipping. See Assert Types Comparison Table for details.

Parameters

condition	- a condition to check. if false, assert fails
...	- optional user message and its format args. the format string should be without QXT

Definition at line 140 of file asserts.h.

◆ QX_EXPECT_RETURN_C

#define QX_EXPECT_RETURN_C	(	condition,
		category,
		...
	)	_QX_EXPECT_ACTION(condition, category, return, ##__VA_ARGS__)

Verifies that the condition is true and calls return; otherwise.

QX_EXPECT macros generate nonfatal failures and remain in shipping. See Assert Types Comparison Table for details.

Parameters

condition	- a condition to check. if false, assert fails
category	- a category to use for logging and reporting
...	- optional user message and its format args. the format string should be without QXT

Definition at line 132 of file asserts.h.

◆ QX_EXPECT_RETURN_CT

#define QX_EXPECT_RETURN_CT	(	condition,
		category,
		return_value,
		...
	)	_QX_EXPECT_ACTION(condition, category, return return_value, ##__VA_ARGS__)

Verifies that the condition is true and calls return return_value; otherwise.

QX_EXPECT macros generate nonfatal failures and remain in shipping. See Assert Types Comparison Table for details.

Parameters

condition	- a condition to check. if false, assert fails
category	- a category to use for logging and reporting
return_value	- a value to return in case of failure
...	- optional user message and its format args. the format string should be without QXT

Definition at line 150 of file asserts.h.

◆ QX_EXPECT_RETURN_T

#define QX_EXPECT_RETURN_T	(	condition,
		return_value,
		...
	)	QX_EXPECT_RETURN_CT(condition, QX_GET_FILE_CATEGORY(), return_value, ##__VA_ARGS__)

Verifies that the condition is true and calls return return_value; otherwise.

QX_EXPECT macros generate nonfatal failures and remain in shipping. See Assert Types Comparison Table for details.

Parameters

condition	- a condition to check. if false, assert fails
return_value	- a value to return in case of failure
...	- optional user message and its format args. the format string should be without QXT

Definition at line 160 of file asserts.h.

◆ QX_VERIFY

#define QX_VERIFY	(	condition,
		...
	)	QX_VERIFY_C(condition, QX_GET_FILE_CATEGORY(), ##__VA_ARGS__)

Verifies that the condition is true.

QX_VERIFY macros generate fatal failures and remain in shipping. See Assert Types Comparison Table for details.

Parameters

condition	- a condition to check. if false, assert fails
...	- optional user message and its format args. the format string should be without QXT

Definition at line 63 of file asserts.h.

◆ QX_VERIFY_C

#define QX_VERIFY_C	(	condition,
		category,
		...
	)

Value:

    _QX_COMMON_ASSERT(                        \
        condition,                            \
        category,                             \
        qx::assert_type::verify,              \
        _QX_ASSERT_AFTER_DEBUG_BREAK_FATAL,   \
        void,                                 \
        ##__VA_ARGS__)

Verifies that the condition is true.

QX_VERIFY macros generate fatal failures and remain in shipping. See Assert Types Comparison Table for details.

Parameters

condition	- a condition to check. if false, assert fails
category	- a category to use for logging and reporting
...	- optional user message and its format args. the format string should be without QXT

Definition at line 48 of file asserts.h.

Macros

Detailed Description

Assert Types Comparison Table

Macro Definition Documentation

◆ QX_ASSERT

◆ QX_ASSERT_C

◆ QX_ENSURE

◆ QX_ENSURE_C

◆ QX_EXPECT

◆ QX_EXPECT_BREAK

◆ QX_EXPECT_BREAK_C

◆ QX_EXPECT_C

◆ QX_EXPECT_CO_RETURN

◆ QX_EXPECT_CO_RETURN_C

◆ QX_EXPECT_CO_RETURN_CT

◆ QX_EXPECT_CO_RETURN_T

◆ QX_EXPECT_CONTINUE

◆ QX_EXPECT_CONTINUE_C

◆ QX_EXPECT_RETURN

◆ QX_EXPECT_RETURN_C

◆ QX_EXPECT_RETURN_CT

◆ QX_EXPECT_RETURN_T

◆ QX_VERIFY

◆ QX_VERIFY_C