C/C++assert 断言

一、动态断言assert

           assert宏的原型定义在<assert.h>中，其作用是如果它的条件返回错误，则终止程序执行，原型定义：
#include <assert.h>
void assert( int expression );

         assert的作用是现计算表达式 expression ，如果其值为假（即为0），那么它先向stderr打印一条出错信息，
然后通过调用 abort 来终止程序运行。

#include <stdio.h>
#include <assert.h>

void test(int *p)
{
  assert(p != NULL);
  printf("%d\n", *p);
}

int main(void)
{
  test(NULL);
}

关闭动态断言 ，必须放在#include<assert.h>前面

#define NDEBUG

二、静态断言static_assert

          在新的C++标准中C++0x中，加了对静态断言的支持，引入了新的关键字static_assert来表示静态断言。使用静态断言，我们可以在程序的编译时期检测一些条件是否成立。boost中也已有BOOST_STATIC_ASSERT宏的实现，C++0x中引入了static_assert这个关键字，用来做编译期间的断言，因此叫做静态断言。其语法很简单：

static_assert(常量表达式，提示字符串)。

         如果第一个参数常量表达式的值为真(true或者非零值)，那么static_assert不做任何事情，就像它不存在一样，否则会产生一条编译错误，错误位置就是该static_assert语句所在行，错误提示就是第二个参数提示字符串。

       使用static_assert，我们可以在编译期间发现更多的错误，用编译器来强制保证一些契约，并帮助我们改善编译信息的可读性，尤其是用于模板的时候。static_assert可以用在全局作用域中，命名空间中，类作用域中，函数作用域中，几乎可以不受限制的使用。

       编译器在遇到一个static_assert语句时，通常立刻将其第一个参数作为常量表达式进行演算，但如果该常量表达式依赖于某些模板参数，则延迟到模板实例化时再进行演算，这就让检查模板参数成为了可能。由于之前有望加入C++0x标准的concepts提案最终被否决了，因此对于检查模板参数是否符合期望的重任，就要靠static_assert来完成了，所以如何构造适当的常量表达式，将是一个值得探讨的话题。性能方面，由于是static_assert编译期间断言，不生成目标代码，因此static_assert不会造成任何运行期性能损失。