C++断言(assert)

C++断言的使用

断言简述：

断言就是对一个表达式的判断，当表达式为假时就输出诊断消息并调用abort()函数中止程序。

断言的使用格式：

assert(bool_constexpr )；
断言的头文件为 assert.h

断言的用法：

#include <assert.h>
void test (char *a){
	assert(a!=NULL);
	printf("%s",a);
}
int main()
{
	char * p=NULL;
	char * p1="this test !";
	test(p);
	test(p1);
	return 0;
}

当传入参数为空值时，程序中断并输入如下诊断信息。

C:\Users\23171\Desktop\test_cmake\bin>"C:\Users\23171\Desktop\test_cmake\bin\main.exe"
Assertion failed: a!=NULL, file C:\Users\23171\Desktop\test_cmake\src\main.c, line 9

1.在函数开始时，监测参数是否合法。
2.每个断言只能检测一个条件。因为条件过多，当出现错误时，无法判断是哪个条件出错。
3.不能在断言中放入改变源程序数值的语句，例如assert(++i==3);
4.assert();语句只有在Debug版本中才能使用，而在Release版本中被无视。为了使在Debug版本和Release版本下不产生任何差别，assert()不是一个函数而是一个宏。
5.使用断言捕捉不应该发生的非法情况。不要混淆非法情况与错误情况之间的区别，后者是必然存在的并且是一定要作出处理的。

如何禁用断言

因为频繁调用断言会影响程序性能，因此有时需要禁用断言。只需要在头文件里添加NDEBUG的宏定义。

#include<iostream>
#include<cassert>
#define NDEBUG
……

静态断言

在C++11中，引入了关键字宏static_assert，也是定义在assert.h中。
static_assert(bool_constexpr);
static_assert(bool_constexpr,“message”);
1.静态断言在编译时进行，断言在运行时进行。因为在编译时不产生目标代码，所以静态断言基本不影响程序运行性能。
2.静态断言只能在32位机器上进行。
3.当bool_constexpr 为假时，输出错误信息。
4.静态断言判断表达式涉及模板时，会等待模板实例化后再做判断。