【C++】《C++ 17 入门经典》读书笔记 25 ---- 使用 assert() 宏

一、使用 assert() 宏

预处理宏 assert() 在标准库头文件 cassert 中定义。它可以在程序中测试逻辑表达式，在代码中包含 assert(expression)形式的代码。如果 expression 是 false，程序就会终止，并显示诊断消息。

下面用一个简单的例子来演示：

#include <iostream>
#include <cassert>

int main()
{
	int y{ 5 };
	for (int x{}; x < 20; ++x)
	{
		std::cout << "x = " << x << " y = " << y << std::endl;
		assert(x < y);
	}
}

在 x 的值达到 5 时，输出中会出现一条断言消息。只要条件  x<y 是 false，assert() 宏就会调用 std::abort() 终止程序 。 

assert() 宏会在标准错误流 cerr (它总是命令行)中显示结果。

断言常常用于程序中的重要条件。

二、关闭 assert() 宏

通过在程序文件中开头定义 NDEBUG，重新编译程序时，可以关闭预处理器断言机制：

#define NDEBUG

这个语句会忽略转换单元中的所有断言语句。

注意：这个指令必须放在 cassert 的 #include 语句之前才有效。

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

int main()
{
	int y{ 5 };
	for (int x{}; x < 20; ++x)
	{
		std::cout << "x = " << x << " y = " << y << std::endl;
		assert(x < y);
	}
}

现在就会得到 0~19的所有 x 值，且不显示诊断消息。

 

---