The C assert( ) macro (C语言的一种宏应用：断言)

最新推荐文章于 2024-09-11 21:11:31 发布

原创最新推荐文章于 2024-09-11 21:11:31 发布 · 2.8k 阅读

1 ·

CC 4.0 BY-SA版权

文章标签：

#c #语言 #debugging #preprocessor #compiler #header

本文介绍C语言中的assert()宏，一种用于方便调试的工具。通过指定一个表达式，assert()可以在该表达式为假时停止程序并提供错误信息，有助于开发者快速定位问题。文章还介绍了如何在调试完成后移除assert()相关的代码。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

The C assert( ) macro (C语言的一种宏应用：断言)

In the standard header file <cassert>，you'll find assert( ), which is a
在标准的头文件<cassert>中有一个asser()，它是宏的一个应用，用它可以
convenient debugging macro. When you use assert( ), you give it
很方便的进行排错。我们在写程序时，可以给这个方法指定一表达式，通过此表达式
an argument that is an expression you are "asserting to be true".
可以进行是否为真判断。
The preprocessor generates code that will test the assertion. If the
C语言的预处理系统会产生相应的代码进行断言测试。
assertion isn't true, the program will stop after issuing an error
如果断言为假的话，程序会在发出一条信息（这条信息告诉你有关此断言的信息）后停止
message telling you what the assertion was and that it failed.

Here's a trivial example:
下面的例子没有什么实用价值，但很能说明断言的应用：

//: C03:Assert.cpp
// Use of the assert() debugging macro
#include <cassert> // Contains the macro
using namespace std;

int main() {
int i = 100;
assert(i != 100); // Fails
} ///:~

The macro originated in Standard C, so it's also available in the
断言是源自于标准C语言的，所以在头文件asser.h中也可用。
header file assert.h.
When you are finished debugging, you can remove the code
在据断言报错的信息排错后，你就可以通过在"#include<cassert>"之前加一条#define NDEBUG语句来
generated by the macro by placing the line:
去掉宏已生成的的相关代码，
#define NDEBUG

in the program before the inclusion of <cassert>, or by defining
通过在编译器的命令行中加一NDEBUG也可以达到此效果。
NDEBUG on the compiler command line. NDEBUG is a flag used
NDEBUG是在<cassert>中用到的一个标志，用它可以改变宏产生代码的方式。
in <cassert> to change the way code is generated by the macros.
Later in this book, you'll see some more sophisticated alternatives
在本书的后面章节中，你会看到一个替代断言的更为娴熟的方法。
to assert( ) .