C语言如何使用断言避免踩坑
扫描二维码
随时随地手机看文章
何为断言
断言一般是用于检测在某个程序位置程序必须满足某些条件的宏。一般用的多的可以分两种种情况:
-
前置条件:在某个程度点开始的地方
-
后置条件:在某段程序执行结束后,一般用于检测执行结果
也可以编程者自己定义,比如:
该怎么用
前置条件
比如某一个函数代码:
int func(int size, char *buffer )
{
assert( size <= ALLOWED_SIZE );
assert( format != NULL );
...
}
这个函数里,使用了两次断言判断函数执行的前置条件:
- size必须要不大于ALLOWED_SIZE,func函数才真正执行其任务。因此,如果输入的size超过1024,func不会做任何处理。
- buffer传入的地址必须不是NULL,否则func函数不会执行。
后置条件
后置条件断言一般是指判断函数的执行结果。比如:
{
int result;
/*中间处理部分更新这个返回值*/
...
assert( result <= ALLOWED_SIZE );
return result;
}
这样写表示这个函数的返回值永远不会大于ALLOWED_SIZE。如果大于了,就证明产生错误了。
什么时候用
断言的最常用和最有效的用途是检查前置条件——即指定和检查函数的输入条件。两个非常常见的用途:
- 指针不是 NULL。
- 索引和边界范围值是在设计的合理范围之类。
-
如果在程序测试和调试期间违反了前置条件,也就是说断言异常了,则调用包含前置条件的函数的代码中存在bug。
-
如果在程序测试和调试期间违反了后置条件,则该断言前面部分代码可能有bug。
- 程序错误是一个bug,永远不应该发生。
- 运行时错误可能在程序执行期间的任何时间发生。
{
QVector <int> list;
list.append(0);
list.append(1);
qDebug() << list.at(2);
return 0;
}
一运行,就会有这样的结果:
assert in File=..\src\main.cpp Line=4
因为list只有两个元素,list.at(2)则是去访问第3个,显然访问的元素不存在,所以就断言了。
—— The End ——