C语言的那些小秘密之断言.每次写摘要我都觉得是一件很头疼的事儿，因为我知道摘要真的很重要，它几乎直接就决定了读者的数量。可能花了九六二虎之力写出来的东西，因为摘要的失败而前功尽弃，因为绝大多数的读者看文章之前都会浏览下摘要，如果他们发现摘要“不对口”，没有什么特色和吸引人的地方，那么轻则采用一目十行的方法看完全文，重则对文章判“死刑”，一篇文章的好坏虽然不能用摘要来衡量，但是它却常常被读者用来衡量一篇文章的好坏，从而成为了文章读者数量多少的一个关键因素。下面言归正传来说说断言，如果出于一般性的学习C语言，应付考试的话，我想很少有人会在代码中使用断言，可能有的人在此之前从来没有使用过断言。那么断言的使用到底能给我们的代码带来什么呢？我尽可能的把我所理解的断言的使用讲解清楚，希望我在此所讲的断言能够对你有所帮助，让你以后能够在代码中灵活使用断言。在讲解之前，我们先来对断言做一个基本的介绍，让大家对断言有一个大致的了解。在使用C语言编写工程代码时，我们总会对某种假设条件进行检查，断言就是用于在代码中捕捉这些假设，可以将断言看作是异常处理的一种高级形式。断言表示为一些布尔表达式，程序员相信在程序中的某个特定点该表达式值为真。可以在任何时候启用和禁用断言验证，因此可以在测试时启用断言，而在部署时禁用断言。同样，程序投入运行后，最终用户在遇到问题时可以重新起用断言。它可以快速发现并定位软件问题，同时对系统错误进行自动报警。断言可以对在系统中隐藏很深，用其它手段极难发现的问题可以用断言来进行定位，从而缩短软件问题定位时间，提高系统的可测性。实际应用时，可根据具体情况灵活地设计断言。通过上面的讲解我们对于断言算是有了一个大概的了解，那么接下来我们就来看看C语言中assert宏在代码中的使用。原型定义：voidassert(intexpression);assert宏的原型定义在<assert.h>中，其作用是先计算表达式expression，如果expression的值为假（即为0），那么它先向stderr打印一条出错信息，然后通过调用abort来终止程序运行。下面来看看一段代码：#include<stdio.h>#include<assert.h>intmain(void){inti;i=1;assert(i++);printf("%d\n",i);return0;}运行结果为：看看运行结果，因为我们给定的i初始值为1，所以使用assert(i++);语句的时候不会出现错误，进而执行了i++，所以其后的打印语句输出值为2。如果我们把i的初始值改为0，那么就回出现如下错误。Assertionfailed:i++,fileE:\fdsa\assert2.cpp,line8Pressanykeytocontinue是不是发现根据提示很快就能定位出错点呢？！既然assert这么便于定位出错点，看来的确我们有必要熟练的在代码中使用它，但是什么东西的使用都是有规则的，assert的使用也不例外。断言语句不是永远会执行，可以屏蔽也可以启用，这就要求assert不管是在屏蔽还是启用的情况下都不能对我们本身代码的功能有所影响，这样的话刚才我们在代码中使用了一句assert(i++);是不妥的，因为我们一旦禁用了assert，i++的语句就得不到执行，对于接下来i值的使用就会出现问题了，所以对于这样的语句我们应该是要分开来实现，写出如下两句来替代，assert(i);i++;，所以这就对于断言的使用有了相应的要求，那么我们一般在什么情况下使用断言呢？主要体现在一下几个方面：1.可以在预计正常情况下程序不会到达的地方放置断言。（如assert(0);）2.使用断言测试方法执行的前置条件和后置条件。3.使用断言检查类的不变状态，确保任何情况下，某个变量的状态必须满足。（如某个变量的变化范围）对于上面的前置条件和后置条件可能有的读者还不是很了解，那么看看下面的解释你就明白了。前置条件断言：代码执行之前必须具备的特性后置条件断言：代码执行之后必须具备的特性前后不变断言：代码执行前后不能变化的特性当然在使用的断言的过程中会有一些我们应该注意的事项和养成一些良好的习惯，如：1.每个assert只检验一个条件，因为同时检验多个条件时，如果断言失败，我们就无法直观的判断是哪个条件失败2.不能使用改变环境的语句，就像我们上面的代码改变了i变量，在实际编写代码的过程中...