断言代码代码,C代码库,德仔网

代码语言

代码分类

【C】断言代码

作者:猫叔猫叔 / 发布于2014/8/4/ 648

断言工具：ASSERT(bool expr)、ASSERT_MSG(bool expr, char const* msg)，CHECK(bool expr)、CHECK_MSG(bool expr, char const* msg)。ASSERT 族会中断程序， CHECK 族不会。


	#ifndef _MYCODE_DEBUG_DEFINE_H_
	#define _MYCODE_DEBUG_DEFINE_H_
	
	#define _MYCODE_DEBUG_VOID_CAST (void)
	#define _MYCODE_DEBUG_DEFINE_EMPTY _MYCODE_DEBUG_VOID_CAST(0)
	
	#ifndef NDEBUG
	# include <stdio.h>
	# include <stdlib.h>
	
	inline static void _mc_debug_func(void){}
	
	# define _MYCODE_DEBUG_STDSTREAMERR stderr
	# define _MYCODE_DEBUG_STDSTREAMOUT stdout
	# ifdef DEBUGMODE1
	# define _MYCODE_DEBUG_FUNCTION_VOID getchar
	# else
	# define _MYCODE_DEBUG_FUNCTION_VOID _mc_debug_func
	# endif
	# define _MYCODE_DEBUG_FUNCTION_ABORT abort
	# define _MYCODE_DEBUG_CALL_FUNCTION(func) func()
	# define _MYCODE_DEBUG_TOSTRING(x) #x
	# define _MYCODE_DEBUG_CONDITIONAL(expr, a, b) (expr ? a : b)
	# define _MYCODE_DEBUG_EXECUTE(tag, expr, msg, strm, func) \
	 (fprintf(strm, "[%s] %s:%d, \'%s\' %s\n", \
	 tag, __FILE__, __LINE__, _MYCODE_DEBUG_TOSTRING(expr), msg), _MYCODE_DEBUG_CALL_FUNCTION(func))
	# define _MYCODE_DEBUG_CREATE(tag, expr, msg, func) \
	 _MYCODE_DEBUG_CONDITIONAL(expr, _MYCODE_DEBUG_VOID_CAST(0), \
	 _MYCODE_DEBUG_EXECUTE(tag, expr, msg, _MYCODE_DEBUG_STDSTREAMERR, func))
	#else
	# define _MYCODE_DEBUG_CREATE(tag, expr, msg, func) _MYCODE_DEBUG_DEFINE_EMPTY
	#endif /* ifndef DEBUG */
	
	#endif /* _MYCODE_DEBUG_DEFINE_H_ */
	2. [代码]debug.h
	?
	1
	2
	3
	4
	5
	6
	7
	8
	9
	10
	11
	12
	13
	14
	15
	16
	17
	18
	19
	20
	21
	22
	23
	24
	25
	26
	#ifndef _MYCODE_DEBUG_H_
	#define _MYCODE_DEBUG_H_
	
	#include "debug_define.h"
	
	#ifndef NDEBUGASSERT
	# define ASSERT(expr) _MYCODE_DEBUG_CREATE( \
	 "ASSERT", expr, "falied", _MYCODE_DEBUG_FUNCTION_ABORT)
	# define ASSERT_MSG(expr, msg) _MYCODE_DEBUG_CREATE( \
	 "ASSERT_MSG", expr, msg, _MYCODE_DEBUG_FUNCTION_ABORT)
	#else
	# define ASSERT(expr) _MYCODE_DEBUG_DEFINE_EMPTY
	# define ASSERT_MSG(expr, msg) _MYCODE_DEBUG_DEFINE_EMPTY
	#endif
	
	#ifndef NDEBUGCHECK
	# define CHECK(expr) _MYCODE_DEBUG_CREATE( \
	 "CHECK", expr, "falied", _MYCODE_DEBUG_FUNCTION_VOID)
	# define CHECK_MSG(expr, msg) _MYCODE_DEBUG_CREATE( \
	 "CHECK_MSG", expr, msg, _MYCODE_DEBUG_FUNCTION_VOID)
	#else
	# define CHECK(expr) _MYCODE_DEBUG_DEFINE_EMPTY
	# define CHECK_MSG(expr, msg) _MYCODE_DEBUG_DEFINE_EMPTY
	#endif
	
	#endif /* _MYCODE_DEBUG_H_ */
	3. [代码]test.c
	?
	1
	2
	3
	4
	5
	6
	7
	8
	9
	10
	11
	12
	13
	14
	15
	16
	17
	18
	19
	#include "debug.h"
	/*
	* 定义宏 NDEBUGASSERT 将隐藏 ASSERT， ASSERT_MSG。
	* 定义宏 NDEBUGCHECK 将隐藏 CHECK， CHECK_MSG。
	* 定义宏 DEBUGMODE1 且 没有定义宏 NDEBUGCHECK，
	* 将按一下回车才执行下一条语句， 原理是代码中使用了 getchar()。
	*/
	
	int main(void)
	{
	 int a = 2, b = 1;
	
	 /* ASSERT(a < b); */
	 /* ASSERT_MSG(a < b, "msg:assert"); */
	 CHECK(a < b);
	 CHECK_MSG(a < b, "msg:check");
	
	 return 0;
	}

试试其它关键字

　断言　

同语言下

可能有用的

猫叔猫叔贡献的其它代码(1)

.断言代码