assert并不是函数,而是一个预处理宏,定义在 <assert.h> 头文件中。它用于在调试期间捕捉不应该发生的错误情况,比如空指针、越界访问等。
如果指定的条件不满足(即条件为假),assert 会打印一条错误消息并调用abort()来终止程序。
下面是一个使用 assert 的简单示例:
#include <stdio.h>
//取消下一行的注释assert()将不起作用
// #define NDEBUG
#include <assert.h>
int main() {
int array[5] = {1, 2, 3, 4, 5};
int index = 10;
// 使用assert来检查index是否越界
assert(index >= 0 && index < 5);
// 如果index越界,上面的assert会触发,程序会终止并打印错误消息
// 如果index没有越界,程序会继续执行下面的代码
printf("Array element at index %d is %d\n", index, array[index]);
return 0;
}
在发布的程序中,我们可能不希望程序因为assert失败而终止,这时候就需要让其不起作用。怎么办呢?把这些代码都删掉?那回头再想输出调试结果怎么办?
解决方法是使用NDEBUG宏,它是专门用来控制assert()的宏。在程序中,如果定义了NDEBUG 宏,那么 assert 宏就会被禁用,所有的 assert 调用都会被忽略。
注意:#define NDEBUG一定要放在#include <assert.h>之前,否则不会起作用。这是因为#define NDEBUG的意思是定义一个宏,名叫NDEBUG。而在<assert.h>中会通过条件编译检测NDEBUG有没有定义,如果定义了这个宏,就废了assert,没定义的就让它正常执行。
实际上在<assert.h>文件中的代码是这样的:
#ifdef NDEBUG
#define assert(_Expression) ((void)0)
#else /* !defined (NDEBUG) */
#if defined(_UNICODE) || defined(UNICODE)
#define assert(_Expression) \
(void) \
((!!(_Expression)) || \
(_wassert(_CRT_WIDE(#_Expression),_CRT_WIDE(__FILE__),__LINE__),0))
#else /* not unicode */
#define assert(_Expression) \
(void) \
((!!(_Expression)) || \
(_assert(#_Expression,__FILE__,__LINE__),0))
#endif /* _UNICODE||UNICODE */
#endif /* !defined (NDEBUG) */
不用理解代码具体的意思(无非表达的就是定义了NDEBUG怎样怎样,没定义又怎样怎样),只要明白它用条件编译来判断是否定义了NDEBUG,所以如果将#define NDEBUG写在后面,当然就会视为没有定义。