目录

  • 一、概述
  • 二、声明
  • 三、c语言中忽略assert()
    • 1.示例
  • 四、关键点
  • 五、案例
    • 1.实例1
    • 2.实例2

一、概述

  • assert 是一个宏，用于在运行时（当程序正在执行时）检查特定条件，在调试程序时非常有用。要使用它，你需要在程序中包含头文件“assert.h”。
  • assert 关键字用于将表达式作为函数参数执行，并在内存分配期间对其进行计算。因此，我们可以使用 malloc（）方法来编写变量并计算。
    • 如果表达式计算失败或者返回false，则表达式以及文件名和执行行将作为错误返回。
    • 如果计算失败或者返回false，应用程序将在执行 abort（）时，assert() 会在标准错误 stderr 上显示错误消息，并中止程序执行。
    • 如果表达式成功且返回true，则会自动停用断言函数。

使用流程

二、声明

//表达式可以是任何有效的 C 语言表达式，很多时候它是一个条件。void assert(int expression or variable);

三、c语言中忽略assert()

  • 通过使用 GCC、C 和 C++ 编译器生成的代码，默认情况下启用断言。
  • assert 语句在编译程序时可能会产生意想不到的后果，如果我们不想使用 assert（）函数，想从代码中删除所有断言，将会是一项非常耗时的任务。
  • 有一种更简单的方法可以在 C 编程语言执行期间从代码中删除所有断言语句。采用预处理器NDEBUG。GCC 编译器通过判断是否定义DNDEBUG 来决定是否禁用 assert（）函数。
  • 在使用 NDEBUG 和语法时实现断言的代码如下：
#define assert(_Expression) ((void)0)

上面的代码是定义 assert（）并传递名为 _Expression的参数以禁用程序中的断言操作的基本语法。

1.示例

定义NDEBUG宏时

#define NDEBUG# include int main(){int var= 8;assert (var==1);system("pause");return 0;}

输出：

请按任意键继续. . .

取消定义NDEBUG宏时

//#define NDEBUG# include int main(){int var = 8;assert(var == 1);system("pause");return 0;}

输出：

Assertion failed: var == 1, file g:\file\vscode\c语言\c语言\c.c, line 6

报错：

四、关键点

  • 断言的目的是使用和测试程序员的假设和其他操作。
  • 作为说明，我们可以使用断言来确定 malloc（） 返回的指针是否为 NULL。
  • 根据断言，程序在执行期间的特定时间段满足某些要求。
  • 在执行时，如果表达式为false时，assert() 会在标准错误 stderr 上显示错误消息，并中止程序执行。
  • 程序员可以通过简单地重新编译程序来删除断言而无需修改源代码。

五、案例

1.实例1

例如：在程序中，我们除以两个整数，即计算 a/b（其中 a 和 b 是整数）b 不能为零，在程序中使用 assert（b ！= 0）。如果条件 （b ！= 0） 成立，则程序执行将继续。反之，它将终止，屏幕上会显示一条错误消息，指定文件名、行号、函数名称、不成立的条件。

#include #include int main() {int a, b; printf("Input two integers to divide\n");scanf("%d%d", &a, &b);assert(b != 0);printf("%d/%d = %.2f\n", a, b, a/(float)b);system("pause");return 0;}

1.输入：

1 2

1.输出：

Input two integers to divide1 21/2 = 0.50请按任意键继续. . .

2.输入：

2 0

2.输出：

Input two integers to divide2 0Assertion failed: b != 0, file g:\file\vscode\c语言\c语言\c.c, line 9

2.报错：

2.实例2

例如：在程序中，我们输入一个整数i，一个字符串arr，我们在程序中使用 assert(i>= 5)。
如果条件i>= 5成立，则程序执行将继续。
如果条件i>= 5不成立，它将终止，屏幕上会显示一条错误消息，指定文件名、行号、函数名称、不成立的条件。
如果条件arr!= NULL成立，则程序执行将继续。
如果条件arr!= NULL不成立，它将终止，屏幕上会显示一条错误消息，指定文件名、行号、函数名称、不成立的条件。

#include #include int main(){ int i; char arr[100]; printf("Please enter an integer value： "); scanf("%d", &i); assert(i>= 5);//断言i>=5这个条件 printf("The input integer is： %d\n", i); printf("Please enter a string： "); scanf("%s", arr); assert(arr!= NULL); printf("The input string is： %s\n", arr); system("pause"); return(0);}

1.输入：

 1

1.输出：

Please enter an integer value： 1Assertion failed: i >= 5, file g:\file\vscode\c语言\c语言\c.c, line 10

1.报错：

2.输入：

6qaz

2.输出：

Please enter an integer value： 6The input integer is： 6Please enter a string： qazThe input string is： qaz请按任意键继续. . .