调试与断言

调试断点和断言工具 更多...

宏定义
#define	NEFORCE_DEBUG_VERIFY(CON, MESG)
	调试模式断言
#define	NEFORCE_CONSTEXPR_ASSERT(COND)
	编译时常量断言

函数
NEFORCE_NORETURN NEFORCE_ALWAYS_INLINE_INLINE void	unreachable () noexcept
	标记不可达代码路径
NEFORCE_NODISCARD NEFORCE_ALWAYS_INLINE_INLINE constexpr bool	is_constant_evaluated () noexcept
	检查当前上下文是否在常量求值中
bool NEFORCE_API	is_debugger_present ()
	检测当前进程是否正在被调试器附加
void NEFORCE_API	debug_assert (bool condition, const char *message=nullptr)
	调试断言
NEFORCE_ALWAYS_INLINE_INLINE void	breakpoint () noexcept
	触发调试断点
NEFORCE_ALWAYS_INLINE_INLINE void	breakpoint_if_debugging ()
	如果正在调试则触发断点

详细描述

调试断点和断言工具

宏定义说明

NEFORCE_CONSTEXPR_ASSERT

#define NEFORCE_CONSTEXPR_ASSERT

(

COND

)

值:

do {                                                       \
    if (_NEFORCE is_constant_evaluated() && !bool(COND)) { \
        _NEFORCE unreachable();                            \
    }                                                      \
} while (false);

编译时常量断言

在常量求值上下文中进行断言，如果条件为false则触发不可达代码。 仅在C++20及以上版本有效。

在文件 breakpoint.hpp 第 47 行定义.

被这些函数引用 atomic_cmpexch_strong(), atomic_cmpexch_strong_any(), atomic_cmpexch_weak(), atomic_cmpexch_weak_any(), atomic_ref_base< Float, false, true >::atomic_ref_base(), atomic_ref_base< T, false, false >::atomic_ref_base(), atomic_ref_base< T, true, false >::atomic_ref_base(), atomic_semaphore< 1 >::atomic_semaphore(), memory_view< byte_t >::back(), atomic_flag::clear(), atomic_flag::clear(), atomic< T >::compare_exchange_strong(), atomic< T >::compare_exchange_strong(), atomic_base< T * >::compare_exchange_strong(), atomic_base< T * >::compare_exchange_strong(), atomic< T >::compare_exchange_weak(), atomic< T >::compare_exchange_weak(), atomic_base< T * >::compare_exchange_weak(), atomic_base< T * >::compare_exchange_weak(), memory_view< byte_t >::first(), memory_view< byte_t >::front(), memory_view< byte_t >::last(), latch::latch(), atomic_base< char >::load(), atomic_base< char >::load(), atomic_base< T * >::load(), atomic_base< T * >::load(), generator< T >::iterator::operator*(), memory_view< byte_t >::operator[](), atomic_base< char >::store(), atomic_base< char >::store(), atomic_base< T * >::store(), atomic_base< T * >::store() , 以及 memory_view< byte_t >::view().

NEFORCE_DEBUG_VERIFY

#define NEFORCE_DEBUG_VERIFY	(		CON,
			MESG )

值:

{                                   \
    if (CON) {                      \
    } else {                        \
        assert(false && MESG);      \
    }                               \
}

调试模式断言

仅在调试模式下检查条件，发布模式下不产生任何代码。

在文件 breakpoint.hpp 第 28 行定义.

被这些函数引用 advance(), array_iterator< false, Size, array >::advance(), basic_string_iterator< false, basic_string >::advance(), basic_string_view_iterator< Traits >::advance(), bitmap_iterator< false, bitmap >::advance(), deque_iterator< false, deque, BufSize >::advance(), vector_iterator< false, vector< T, Alloc > >::advance(), standard_allocator< U >::allocate(), basic_string< char >::append(), basic_string< char >::append(), basic_string< char >::append(), basic_string< char >::append(), basic_string< char >::append(), array< byte_t, MAC_LEN >::at(), array< byte_t, MAC_LEN >::at(), basic_string_view< typename Traits::char_type, Traits >::at(), vector< byte_t >::at(), vector< byte_t >::at(), basic_string< char >::back(), basic_string< char >::back(), basic_string_view< typename Traits::char_type, Traits >::back(), deque< T, Alloc, BufSize >::back(), deque< T, Alloc, BufSize >::back(), list< pair< Key, Value > >::back(), list< pair< Key, Value > >::back(), vector< byte_t >::back(), vector< byte_t >::back(), basic_string< char >::basic_string(), basic_string< char >::basic_string(), basic_string< char >::copy(), basic_string_view< typename Traits::char_type, Traits >::copy(), vector< byte_t >::data(), vector< byte_t >::data(), standard_allocator< U >::deallocate(), array_iterator< false, Size, array >::decrement(), basic_string_iterator< false, basic_string >::decrement(), basic_string_view_iterator< Traits >::decrement(), bitmap_iterator< false, bitmap >::decrement(), deque_iterator< false, deque, BufSize >::decrement(), list_iterator< false, list >::decrement(), rb_tree_iterator< false, rb_tree >::decrement(), vector_iterator< false, vector< T, Alloc > >::decrement(), array_iterator< false, Size, array >::dereference(), basic_string_iterator< false, basic_string >::dereference(), basic_string_view_iterator< Traits >::dereference(), bitmap_iterator< false, bitmap >::dereference(), deque_iterator< false, deque, BufSize >::dereference(), hashtable_iterator< false, hashtable >::dereference(), list_iterator< false, list >::dereference(), rb_tree_iterator< false, rb_tree >::dereference(), vector_iterator< false, vector< T, Alloc > >::dereference(), array_iterator< false, Size, array >::distance_to(), basic_string_iterator< false, basic_string >::distance_to(), basic_string_view_iterator< Traits >::distance_to(), bitmap_iterator< false, bitmap >::distance_to(), deque_iterator< false, deque, BufSize >::distance_to(), vector_iterator< false, vector< T, Alloc > >::distance_to(), array_iterator< false, Size, array >::equal(), basic_string_iterator< false, basic_string >::equal(), basic_string_view_iterator< Traits >::equal(), bitmap_iterator< false, bitmap >::equal(), deque_iterator< false, deque, BufSize >::equal(), hashtable_iterator< false, hashtable >::equal(), list_iterator< false, list >::equal(), rb_tree_iterator< false, rb_tree >::equal(), vector_iterator< false, vector< T, Alloc > >::equal(), basic_string< char >::erase(), vector< byte_t >::erase(), basic_string< char >::front(), basic_string< char >::front(), basic_string_view< typename Traits::char_type, Traits >::front(), deque< T, Alloc, BufSize >::front(), deque< T, Alloc, BufSize >::front(), list< pair< Key, Value > >::front(), list< pair< Key, Value > >::front(), vector< byte_t >::front(), vector< byte_t >::front(), array_iterator< false, Size, array >::increment(), basic_string_iterator< false, basic_string >::increment(), basic_string_view_iterator< Traits >::increment(), bitmap_iterator< false, bitmap >::increment(), deque_iterator< false, deque, BufSize >::increment(), hashtable_iterator< false, hashtable >::increment(), list_iterator< false, list >::increment(), rb_tree_iterator< false, rb_tree >::increment(), vector_iterator< false, vector< T, Alloc > >::increment(), array_iterator< false, Size, array >::less_than(), basic_string_iterator< false, basic_string >::less_than(), basic_string_view_iterator< Traits >::less_than(), bitmap_iterator< false, bitmap >::less_than(), deque_iterator< false, deque, BufSize >::less_than(), vector_iterator< false, vector< T, Alloc > >::less_than(), hashtable< pair< const Key, T >, Key, HashFcn, select1st< pair< const Key, T > >, EqualKey, Alloc >::max_load_factor(), next(), array< byte_t, MAC_LEN >::operator[](), array< byte_t, MAC_LEN >::operator[](), basic_string< char >::operator[](), basic_string< char >::operator[](), basic_string_view< typename Traits::char_type, Traits >::operator[](), unique_ptr< T[], Deleter >::operator[](), basic_string< char >::pop_back(), deque< T, Alloc, BufSize >::pop_back(), vector< byte_t >::pop_back(), vector< byte_t >::pop_back_v(), deque< T, Alloc, BufSize >::pop_front(), prev(), rb_tree_erase_rebalance(), basic_string_view< typename Traits::char_type, Traits >::remove_prefix(), basic_string_view< typename Traits::char_type, Traits >::remove_suffix(), basic_string< char >::replace(), basic_string< char >::replace(), basic_string< char >::replace(), basic_string< char >::replace(), basic_string< char >::replace(), basic_string< char >::replace(), basic_string< char >::replace(), basic_string< char >::replace(), basic_string< char >::replace(), basic_string< char >::replace(), basic_string< char >::reserve(), vector< byte_t >::reserve(), basic_string< char >::substr(), basic_string_view< typename Traits::char_type, Traits >::substr(), vector< byte_t >::vector(), basic_string< char >::view(), vector< byte_t >::view(), vector< byte_t >::view(), vector< byte_t >::view() , 以及 vector< byte_t >::view().

函数说明

breakpoint()

NEFORCE_ALWAYS_INLINE_INLINE void breakpoint ( )

noexcept

触发调试断点

此函数会直接触发断点，无论是否有调试器附加。

在文件 breakpoint.hpp 第 109 行定义.

被这些函数引用 breakpoint_if_debugging().

breakpoint_if_debugging()

NEFORCE_ALWAYS_INLINE_INLINE void breakpoint_if_debugging

(

)

如果正在调试则触发断点

首先检查是否有调试器附加，如果有则触发断点。 适用于条件性断点，避免在非调试环境中意外中断。

在文件 breakpoint.hpp 第 137 行定义.

引用了 breakpoint() , 以及 is_debugger_present().

debug_assert()

void NEFORCE_API debug_assert	(	bool	condition,
		const char *	message = nullptr )

调试断言

参数

condition	条件表达式
message	断言失败时的消息

当条件为false时，输出断言失败信息并触发调试断点（如果正在调试）。 仅在调试构建中有效，发布构建中此函数为空操作。

is_constant_evaluated()

NEFORCE_NODISCARD NEFORCE_ALWAYS_INLINE_INLINE constexpr bool is_constant_evaluated ( )

constexprnoexcept

检查当前上下文是否在常量求值中

返回

如果在常量求值上下文中返回true，否则返回false

用于区分编译时和运行时

在文件 breakpoint.hpp 第 83 行定义.

被这些函数引用 allocate() , 以及 deallocate().

is_debugger_present()

bool NEFORCE_API is_debugger_present

(

)

检测当前进程是否正在被调试器附加

返回

如果正在调试则返回true，否则返回false

被这些函数引用 breakpoint_if_debugging().

unreachable()

NEFORCE_NORETURN NEFORCE_ALWAYS_INLINE_INLINE void unreachable ( )

noexcept

标记不可达代码路径

该函数用于向编译器指示当前代码路径永远不会被执行。当编译器遇到此调用时， 可以进行激进的优化，假设此后的代码永远不会运行。如果实际执行到了此函数， 将导致未定义行为（通常是程序崩溃或产生不可预测的结果）。

注解

此函数永远不会返回，调用后程序行为未定义。

警告

仅在确定代码路径绝对不可达时使用，否则会导致严重的运行时问题。

在文件 breakpoint.hpp 第 68 行定义.

被这些函数引用 standard_allocator< U >::allocate(), any_cast(), meta_any::convert(), meta_any::get(), meta_any::get(), toml_datetime::get_string_value(), make_shared(), color::parse() , 以及 toml_datetime::toml_datetime().