【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;
}