2018-10-26

assert 动态断言

    #include 
    void assert(int expression)

assert的原型定义在 中，其作用是如果它的条件返回错误，则终止程序执行。

• C++ assert()函数的作用是先计算表达式expression, 如果其值为假（即为0），那么它先向stderr打印一条出错信息，然后通过调用abort来终止程序运行。
• assert(fin!=NULL && fout!=NULL); 表示在debug模式下，当fin或者fout其中一个为空时，程序就会被中断并退出。
• 频繁调用其会增加额外开销，影响程序性能；在调试结束后，可在包含#include 的语句之前插入#define NDEBUG来禁用assert调用。（不过只有assert只在debug版本才能生效，发行版本都是release版。）

静态断言 static_assert

现行许多编译器不支持，略过。

---

断言用法总结与注意事项：

1. 在函数开始处校检传入参数的合法性

assert(nSize >= 0);

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

assert(nSize >= 0);
assert(nSize <= MaxSize);

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

    assert(i < 100);
    i++;

4. assert和后面的语句应空一行，力求规范
5. 注意，assert有时候并不能替代条件过滤。