捕捉错误的assert

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写在后面,当然就会视为没有定义。

  • 5
    点赞
  • 4
    收藏
    觉得还不错? 一键收藏
  • 打赏
    打赏
  • 0
    评论
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包

打赏作者

金创想

你的鼓励将是我创作的最大动力

¥1 ¥2 ¥4 ¥6 ¥10 ¥20
扫码支付:¥1
获取中
扫码支付

您的余额不足,请更换扫码支付或充值

打赏作者

实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值