C/C++:assert()断言的用法

assert宏的原型定义在<assert.h>中
作用:如果它的条件返回错误,则终止程序执行。
原型定义:

#include <assert.h>
void assert( int expression );

assert的作用是先计算表达式 expression ,如果其值为假(即为0),那么它先向 stderr 打印一条出错信息,然后通过调用 abort 来终止程序运行。

assert()的缺点:
频繁的调用会极大的影响程序的性能,增加额外的开销。不过在调试结束后,可以通过在包含#include <assert.h>的语句之前插入 #define NDEBUG 来禁用assert调用,

示例代码如下:

#include <stdio.h>
#define NDEBUG
#include <assert.h>

断言常见的使用方式:

  1. 可以在预计正常情况下程序不会到达的地方放置断言 :assert(false);
  2. 断言可以用于检查传递给私有方法的参数。(对于公有方法,因为是提供给外部的接口,所以必须在方法中有相应的参数检验才能保证代码的健壮性)
  3. 使用断言测试方法执行的前置条件和后置条件
  4. 使用断言检查类的不变状态,确保任何情况下,某个变量的状态必须满足。(如age属性应大于0小于某个合适值)
  5. assert和后面的语句应空一行,以形成逻辑和视觉上的一致感
  6. 有的地方,assert不能代替条件过滤   
      程序一般分为Debug 版本和Release 版本,Debug 版本用于内部调试,Release 版本发行给用户使用。断言assert 是仅在Debug 版本起作用的宏,它用于检查"不应该"发生的情况。

断言语句不是永远会执行,可以屏蔽也可以启用
注意事项:

  1. 使用断言捕捉不应该发生的非法情况。不要混淆非法情况与错误情况之间的区别,后者是必然存在的并且是一定要作出处理的。
  2. 不要使用断言作为公共方法的参数检查,公共方法的参数永远都要执行
  3. 断言语句不可以有任何边界效应,不要使用断言语句去修改变量和改变方法的返回值.
  4. 不能使用改变环境的语句,因为assert只在DEBUG生效,如果这么做,会使用程序在真正运行时遇到问题
    示例如下:
    assert(i++ < 100);//错误:
    如果出错,比如在执行之前i=100,那么这条语句就不会执行,那么i++这条命令就没有执行。
    正确:
    assert(i < 100);
    i++;
发布了92 篇原创文章 · 获赞 32 · 访问量 4668

猜你喜欢

转载自blog.csdn.net/AngelDg/article/details/104029228