断言是一个语句，用于肯定地声明当到达该行代码时事实必须为真。

断言对于获取满足的预期条件很有用。

简单断言

简单断言可以通过assert(表达式)方法实现，该方法位于assert.h头文件中。

简单断言的语法如下 -

assert(expression)

在简单的断言中，

• 当传递给断言的条件为真时，没有任何动作。
• 对于错误的语句，行为完全取决于编译器标志。
• 当启用断言时，错误的输入会导致程序停止。
• 当禁用断言时，没有任何动作。

断言仅用于捕获内部编程错误。这些错误是通过传递错误参数而发生的。

示例

以下是C编程语言中简单断言的示例程序：

 在线演示

#include <stdio.h>
#include 
int main(void){
   int x;
   printf("Enter the value of x:<p>");
   scanf("%d",&x);
   assert(x >= 0);
   printf("x = %d</p><p>", x);
   return 0;
}</p>

输出

当上述程序被执行时，它产生以下输出 −

Run 1:
Enter the value of x:
20
x = 20
Run 2:
Enter the value of x:
-3
Assertion failed!
Program: G:CPCP programstest.exe
File: G:CPCP programstest.c, Line 10
Expression: x >= 0