断言assert()与调试帮助
程序员文章站
2024-03-16 13:38:28
...
- 列表内容assert()是一种预处理宏(preprocessor marco),使用一个表达式来作为条件,只在DEBUG模式下才有用。
assert(expr);
对expr求值,如果expr为假,则输出信息并终止程序,反之则什么也不做。
用来检查”不会发生”的条件。
assert的行为依赖与NDEBUG的预处理变量的状态,如果定义了这个变量,则assert什么也不做。如果定义了NDEBUG,编译器会认为是非DEBUG模式(like release模式)
#include<iostream>
#include<string>
// 去注释则禁用 assert()
//#define NDEBUG
#include<cassert>
using namespace std;
int main()
{
string word;
size_t the = 5;
cin >> word;
assert(word.size() > the);
if (word.size() < the) {
cerr << "Error :" << __FILE__
<< " : in function " << __func__
<< " at line " << __LINE__ << endl
<< " Compiled on " << __DATE__
<< " at " << __TIME__ << endl
<< " Word read was \"" << word
<< "\": Length too short " << endl;
}
return 0;
}
未去注释版本在assert(word.size() > the);这里会退出,如下图
去注释版本,禁用assert(),则继续执行
- 这里有一个问题,如果这么写,将宏定义写在
<cassert>
头文件之后的话,那么这个禁用将不起效果,这里的assert()
仍然会执行。
#include<iostream>
#include<string>
#include<cassert>
using namespace std;
#define NDEBUG
using namespace std;
int main()
{
string word;
size_t the = 5;
cin >> word;
assert(word.size() > the);
if (word.size() < the) {
cerr << "Error :" << __FILE__
<< " : in function " << __func__
<< " at line " << __LINE__ << endl
<< " Compiled on " << __DATE__
<< " at " << __TIME__ << endl
<< " Word read was \"" << word
<< "\": Length too short " << endl;
}
return 0;
}
-
但是为什么呢?打开
#include<cassert>
文档看到这个,说明C++仍然采用了C的定义,所以继续打开#include <assert.h>
// cassert standard header
// NOTE: no include guard
#include <yvals.h>
#include <assert.h>
//
// assert.h
//
// Copyright (c) Microsoft Corporation. All rights reserved.
//
// Defines the assert macro and related functionality.
//
#if defined _VCRT_BUILD && !defined _ASSERT_OK
#error assert.h not for CRT internal use
#endif
#include <corecrt.h>
_CRT_BEGIN_C_HEADER
#undef assert
#ifdef NDEBUG
#define assert(expression) ((void)0)
#else
_ACRTIMP void __cdecl _wassert(
_In_z_ wchar_t const* _Message,
_In_z_ wchar_t const* _File,
_In_ unsigned _Line
);
#define assert(expression) (void)( \
(!!(expression)) || \
(_wassert(_CRT_WIDE(#expression), _CRT_WIDE(__FILE__), (unsigned)(__LINE__)), 0) \
)
#endif
_CRT_END_C_HEADER
所以在这之前定义了NDEBUG,assert(expression)就变成了((void)0),也就是禁用了,否则才会开始执行检查。
而如果在这个之后定义了NDEBUG,也就相当于在上面最后又加了一句#define NDEBUG
,但是这个时候检查已经开始了,所以这一句也没用了。
- 辅助诊断变量,均在预处理器中定义.
__FILE__ //存放文件名的字符串字面值
__LINE__ //存放当前行号的整型字面值
__TIME__ //存放文件编译时间的字符串字面值
__DATE__ //存放文件编译日期的字符串字面值