断言,是指在 对某一件事情或者事物下的一种主观性非常强的言论:如果事实与断言不符,则会认为错误,C++里面的assert也是起这样一个作用。
1. 什么是 assert
assert宏的原型定义在<assert.h>中
其作用是如果它的条件返回错误,则终止程序执行;
原型定义:
#include <assert.h>
void assert( int expression );
assert的作用是现计算表达式 expression ,如果其值为假(即为0),那么它先向stderr打印一条出错信息,
然后通过调用 abort 来终止程序运行。
2.样例:
#define _CRT_SECURE_NO_WARNINGS
#include <iostream>
#include <string>
#include <vector>
#include <map>
void mytest()
{
bool flag = false;
// 在程序运行阶段进行检测,如果条件为真,程序正常执行,如果为假,终止程序,提示错误
// 需要包含 assert.h 头文件,实现是一个宏,禁用断言可以使用 #define NDEBUG
//assert(flag == true);
// C++ 11新增了关键字static_assert,可用于在编译阶段对断言进行测试。
// 静态断言的好处:
// 更早的报告错误,我们知道构建是早于运行的,更早的错误报告意味着开发成本的降低
// 减少运行时开销,静态断言是编译期检测的,减少了运行时开销
// 语法如下: static_assert(常量表达式,提示字符串)
// 注意:只能是常量表达式,不能是变量
//该static_assert用来确保编译仅在32位的平台上进行,不支持64位的平台
static_assert(sizeof(void *) == 4, "64-bit code generation is not supported.");
return;
}
int main()
{
mytest();
system("pause");
return 0;
}
3.停用assert
#define NDEBUG
4.主要用法和注意事项:
1)用于检验变量的值是否在合法范围之内。大量使用if...else...会使代码变得非常拖沓,而且assert自带错误信息输出,非常方便定位。但缺点是assert失败时整个程序会退出,所以除非一些无法处理且会造成崩溃的非法值,否则应当尽量避免使用assert。
2)用于协助debug。能够判断变量的值是否在预期之内,可以大量减少日志输出,缺点是如果表达式不够严谨,可能会将一些错误的值当成正确的值而没有输出错误信息。
3)assert每次应当只检验一个条件。当校验多个条件而又失败时,因为assert并不输出表达式各变量的值,所以无法判断是哪个条件失败了。
4)当使用编译器编译时,应该注意release和debug版本的区别,一般而言,很多编译器在编译release版本都会定于NDEBUG ,使得assert失效。在这种情况下,应当不要依赖assert去校验变量,也不要在assert中修改变量的值。
5)据说assert比if会有很大的消耗,等我找个时间去检验一下。