首页 > 代码库 > C语言-断言

C语言-断言

1 作用:

  断言常做语言处理的高级形式,自动处理软件隐藏很深其且它手段不易发现的错误,快速进行异常定位。同时这也是软件单元测试必须的技术。

2 使用范围:

  2.1放在函数入口对入口参数进行合法性检查(这也是我们经常看到的)

  2.1将assert(0)放在预计正常情况不会出现的地方(一旦出现肯定是异常出错了)

  2.3放在前置条件必须满足、后置条件必须满足、不变条件必须满足的场合

3 使用原则:

  3.1一个断言只能检测一个条件。

  3.2 断言检查只是辅助条件,不能替代条件检测

  3.3 不能使用改变环境语句的使用。