assert函数解析

一、assert是宏

明确一点：在C中，ASSERT是宏而不是函数。
assert()是一个调试程序时经常使用的宏。在程序运行时它计算括号内的表达式。

如果表达式为FALSE (0), 程序将报告错误，并终止执行。

如果表达式不为0，则继续执行后面的语句。

这个宏通常用来判断程序中是否出现了明显非法的数据，如果出现就终止程序以免导致严重后果，同时反馈错误发生“地点”。

一、面试过程中，经常面试官要求实现assert。那么这个宏该如何实现呢？

相关assert宏的实现代码如下：

 #include<iostream>
 #include<stdio.h>
 using  namespace std;

 void  _assert(const char *p,const char *f,int n)
{
     cout<<p<<endl;
     cout<<f<<endl;
     cout<<n<<endl;
 }
    方法1：
    #define  assert(exp) \
   { if(!exp)  printf("%s\n %s\n %d\n",__FILE__,#exp,__LINE__);}

  方法2：
     #define  assert(e)\
     ((e) ? (void)0 : _assert(#e, __FILE__, __LINE__))

 
 void  main()
 {
     int *p=NULL;
     assert(p!=NULL);
 }

三、关于assert使用应该注意哪些事项？

（1）在函数开始处检验传入参数的合法性。示例代码如下：

1 int resetBufferSize(int Size)
2 {
3 assert(Size >= 0);
4 assert(Size <= MAX_BUFFER_SIZE);
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时输出程序错误所在。