C语言之宏assert

【FROM MSDN && 百科】

编写代码时，我们总是会做出一些假设，断言就是用于在代码中捕捉这些假设，可以将断言看作是异常处理的一种高级形式。断言表示为一些布尔表达式，程序员相信在程序中的某个特定点该表达式值为真。可以在任何时候启用和禁用断言验证，因此可以在测试时启用断言，而在部署时禁用断言。同样，程序投入运行后，最终用户在遇到问题时可以重新起用断言。

何时需要使用断言：

    1.可以在预计正常情况下程序不会到达的地方放置断言 ：assert false

　　2.断言可以用于检查传递给私有方法的参数。（对于公有方法，因为是提供给外部的接口，所以必须在方法中有相

应的参数检验才能保证代码的健壮性）

　　3.使用断言测试方法执行的前置条件和后置条件

　　4.使用断言检查类的不变状态，确保任何情况下，某个变量的状态必须满足。（如age属性应大于0小于某个合适值）

什么地方不需要使用断言：

断言语句不是永远会执行，可以屏蔽也可以启用

　　因此：

　　1.不要使用断言作为公共方法的参数检查，公共方法的参数永远都要执行

　　2.断言语句不可以有任何边界效应，不要使用断言语句去修改变量和改变方法的返回值.

------------------------------------------------------------------------------------------

C语言里面的宏assert:

宏名: assert  用法：void assert( int expression );

Evaluates an expression and, when the result is false, prints a diagnostic message and aborts the program.

注意：assert是宏，而不是函数。在C的assert.h 头文件中。

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

使用assert的缺点是，频繁的调用会极大的影响程序的性能，增加额外的开销。在调试结束后，可以通过在包含#include <assert.h>的语句之前插入 #define NDEBUG 来禁用assert调用，

1.在函数开始处检验参数的合法性

2.每个assert只检验一个条件,因为同时检验多个条件时,如果断言失败,无法直观的判断是哪个条件失败

3.不能使用改变环境的语句,因为assert只在DEBUG个生效,如果这么做,会使用程序在真正运行时遇到问题错误: assert(i++ < 100)

这是因为如果出错，比如在执行之前i=100,那么这条语句就不会执行，那么i++这条命令就没有执行。正确: assert(i < 100);　　i++;

#include<stdio.h>
#include <conio.h>
//#define  NDEBUG
#include<assert.h>
int main(void)
{
    FILE *fp;
	fp=fopen("test.txt","w");  //可写的方式打开一个文件，如果不存在就创建
	assert(fp);         //这里不会出错
	fclose(fp);
	fp=fopen("noexitfile.txt","r");   //以只读的方式打开一个文件，如果不存在就打开文件失败
	assert(fp);         //这里会出错
	fclose(fp);         //程序永远不会执行到这里来
	getch();
	return 0;
}

【MSDN示例】

#include<stdio.h>
#include <conio.h>
//#define  NDEBUG
#include<assert.h>
#include <string.h>
void analyze_string(char *string)
{
	assert(string !=NULL);
	assert(*string !='\0');
	assert(strlen(string)>2);
}
int main(void)
{
	char test1[]="abc";
	char *test2=NULL;
	char test3[]="";
	printf("Analyzing string '%s'\n",test1);
	fflush(stdout);
	analyze_string(test1);
	printf("Analyzing string '%s'\n",test2);
	fflush(stdout);
	analyze_string(test2);
	printf("Analyzing string '%s'\n",test3);
	fflush(stdout);
	analyze_string(test3);
	getch();
	return 0;
}