assert
【1】assert是函数还是宏?
明确一点:在C中,ASSERT是宏而不是函数。
assert()是一个调试程序时经常使用的宏。在程序运行时它计算括号内的表达式。
如果表达式为FALSE (0), 程序将报告错误,并终止执行。
如果表达式不为0,则继续执行后面的语句。
这个宏通常用来判断程序中是否出现了明显非法的数据,如果出现就终止程序以免导致严重后果,同时反馈错误发生“地点”。
【2】面试过程中,经常面试官要求实现assert。那么这个宏该如何实现呢?
相关assert宏的实现代码如下:
1 #include<iostream>
2 #include<stdio.h>
3 using namespace std;
4
5 void _assert(const char *p,const char *f,int n)
6 {
7 cout<<p<<endl;
8 cout<<f<<endl;
9 cout<<n<<endl;
10 }
11 /*第一种写法
12 #define assert(exp) \
13 { if(!exp) printf("%s\n %s\n %d\n",__FILE__,#exp,__LINE__);}
14 */
15
16 /*第二种写法
17 #define assert(exp)\
18 (void)(exp || (_assert(#exp,__FILE__,__LINE__),0))
19 */
20
21 //第三种写法
22 #define assert(e)\
23 ((e) ? (void)0 : _assert(#e, __FILE__, __LINE__))
24
25
26 void main()
27 {
28 int *p=NULL;
29 assert(p!=NULL);
30 }
【3】关于assert使用应该注意哪些事项?
(1)在函数开始处检验传入参数的合法性。示例代码如下:
1 int resetBufferSize(int nNewSize)
2 {
3 assert(nNewSize >= 0);
4 assert(nNewSize <= MAX_BUFFER_SIZE);
5
6 .......
7 }
(2)每个assert只检验一个条件。
因为同时检验多个条件时。如果断言失败,无法直观的判断是哪个条件导致的失败。
(3)不能使用改变环境的语句。因为assert只在DEBUG时生效,如果这么做,会使程序在真正运行时遇到问题。
示例错误:
assert(i++ < 100);
分析探究:比如在执行该语句之前 i = 99,那么 i++ 这条语句执行后 i = 100。但是,i++的值仍为99,这样宏就失去了意义。
正确示例:
assert(i < 100) ;
i++;
(4)assert和后面的语句应空一行,以形成逻辑和视觉上的一致感。
(5)ASSERT只有在Debug版本中才有效,如果编译为Release版本则被忽略掉。使用ASSERT“断言”容易在debug时输出程序错误所在。