C语言中的断言

一、原型定义：void assert( int expression );

　　assert宏的原型定义在<assert.h>中，其作用是先计算表达式 expression ，如果expression的值为假（即为0），那么它先向stderr打印一条出错信息，然后通过调用abort 来终止程序运行。

　　举例说明：下面的代码中，当i初始化为1的时候，打印出来结果为2，如果初始化为0的时候，就会打印错误信息：Assertion failed。

 #include<stdio.h>
 #include<assert.h>
 void test(void);
 int main()
 {
     test();
     ;
 }
 void test(void)
 {
     ;
     assert(i);
     i++;
     printf("%d\n",i);
 }

二、原型定义使用assert的优点：

　　方便调试，使代码更稳定、不易于出错。在很多项目中，都通过断言来控制代码是否使用，一般格式如下：

#ifdef  USE_FULL_ASSERT
void assert_failed(uint8_t* file, uint32_t line)
{
  )
  {
  }
}
#endif

　　这样当我们用一个宏#define  USE_FULL_ASSERT 的时候，该函数就生效了。

　　此外，携带式经常用到的#if 1/0    #endif也可以看做是断言的一种用法。

三、关闭断言宏#define NDEBUG

　　头文件assert.h定义的宏受NDEBUG的影响。如果预程序在处理这个头文件时已经定义了NDEBUG，assert宏的内容就定义为空，这意味着assert宏不在起作用。所以，可以在最终发布程序的时候可以使用-DNDEBUG关闭断言功能或者把 #define NDEBUG 加到每个源文件中，但这条语句必须放在#include <assert.h>之前。

　　举例说明：下面的代码的开头部分我们把#define NDEBUG给注释掉了，这样我们默然启用了断言，后面会打印this is a string，如果我们把开头的注释部分去掉，就关闭了断言功能，后面不会打印this is a string。

 #include <stdio.h>
 //#define NDEBUG
 #include <assert.h>
 int copy_string(char from[],char to[])
 {
     ;
     while(to[i++]=from[i]);
     ;
 }
 int main()
 {
     char str[]="this is a string!";
     ]="no";
     printf("%s\n",str);
     assert(copy_string(str,dec_str));
     printf("%s\n",dec_str);
     ;
 }

　　注意：int copy_string(char from[],char to[]);中的返回值不能为0 ，不然断言也不会执行。