assert 动态断言
#include <assert.h>
void assert(int expression)
assert的原型定义在 <assert.h>中，其作用是如果它的条件返回错误，则终止程序执行。
- C++ assert()函数的作用是先计算表达式expression, 如果其值为假（即为0），那么它先向stderr打印一条出错信息，然后通过调用abort来终止程序运行。
- assert(fin!=NULL && fout!=NULL); 表示在debug模式下，当fin或者fout其中一个为空时，程序就会被中断并退出。
- 频繁调用其会增加额外开销，影响程序性能；在调试结束后，可在包含
#include <assert.h>的语句之前插入#define NDEBUG来禁用assert调用。（不过只有assert只在debug版本才能生效，发行版本都是release版。）
静态断言 static_assert
现行许多编译器不支持，略过。
断言用法总结与注意事项：
- 在函数开始处校检传入参数的合法性
assert(nSize >= 0);
- 每个assert只校检一个条件，因为同时校检多个条件时，如果断言失败，无法直观判断是哪个条件失败：
assert(nSize >= 0);
assert(nSize <= MaxSize);
- 不能使用改变环境的语句，因为assert只在DEBUG中生效，如果这么做，会使程序真正运行时遇到问题：
错误：
assert(i++ < 100);
正确：
assert(i < 100);
i++;
- assert和后面的语句应空一行，力求规范
- 注意，assert有时候并不能替代条件过滤。
