断言简介

assert()是一个调试程序时，经常使用的宏
作用：在程序运行时它计算括号内的表达式，如果表达式为FALSE(0), 
      程序将报告错误，并终止执行。如果表达式不为0，则继续执行
      后面的语句，即终止程序以免导致严重后果，同时便于查找错误。
使用：（linux环境）
    头文件：#include<assert.h>
    报告错误的条件：assert（0）
原理：assert表达式为假，那么就向stderr打印一条出错信息，然后通过
      调用abort来中止程序运行。
用法总结： 1.在函数开始处检验传入参数的合法性
                int resetBufferSize(int nNewSize)  
                {  
                    //功能:改变缓冲区大小,  
                    //参数:nNewSize 缓冲区新长度  
                    //返回值:缓冲区当前长度  
                    //说明:保持原信息内容不变     nNewSize<=0表示清除缓冲区  
                    assert(nNewSize >= 0);  
                    assert(nNewSize <= MAX_BUFFER_SIZE);  
                    ...  
                }  
           2.每个assert只检验一个条件，因为同时检验多个条件时，如果断言失败，
             无法直观的判断是哪个条件失败；
             不好：assert(nOffset>=0 && nOffset+nSize<=m_nInfomationSize) ;
             好： assert(nOffset >= 0);
                  assert（Offset+nSize <= m_nInfomationSize);
           3.不能使用改变环境的语句，因为assert只在DEBUG中生效，如果这样做，
             会使程序在真正运行时遇到问题
             错误：assert(i++<100)
             这是因为如果出错，在执行到i=100时，以后的i++语句不能执行。
             正确：assert(i<100)
                        i++;//从是否能执行的角度来看（本人来看，也执行不了）
           4.assert和后面的语句应空一行，以形成逻辑和视觉的一致感
           5.在调试结束
             在#include<assert.h>的语句之前插入#define NDEBUG 来禁用assert()
             的调用，实例代码如下：
                        #include<stdio.h>
                        #define NDEBUG
                        #include<assert.h>
           6.何时需要使用断言
               1）可以在预计正常情况下程序不会到达的地方放置断言：assert（FALSE）；
               2）断言可以用于检查传递给私有方法的参数（对于公有方法，因为是提供
               给外部的接口，所以必须在方法中有相应的参数检验才能保证代码的健壮性）
               3) 使用断言测试方法执行的前置条件和后置条件
               4）使用断言检查类的不变状态，确保任何情况下，某个变量的的状态必须满足。
           7.什么地方不要使用断言
               断言语句不是永远执行，可以屏蔽也可以使用
               1）不要使用断言作为公共方法的参数检查，公共方法的参数永远都要执行
               2）断言语句不可以有任何边界效应，不要使用断言语句去修改变量和改变方法的返回值。