欢迎您访问程序员文章站本站旨在为大家提供分享程序员计算机编程知识!
您现在的位置是: 首页

断言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()与调试帮助
去注释版本,禁用assert(),则继续执行
断言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__    //存放文件编译日期的字符串字面值
相关标签: 调试帮助