C語言中的簡單斷言是什麼?


斷言是一條宣告,用於肯定地聲明當到達該行程式碼時某個事實必須為真。

斷言對於獲取滿足的預期條件非常有用。

簡單斷言

可以在 assert.h 標頭檔案中找到的 assert (expression) 方法可用來實現簡單斷言。

簡單斷言的語法如下所示 -

assert(expression)

在簡單斷言中,

  • 如果傳遞給斷言的條件為真,則沒有動作。
  • 對假語句的行為完全取決於編譯器標誌。
  • 如果啟用了斷言,則錯誤的輸入會導致程式停止。
  • 如果停用了斷言,則沒有動作。

斷言僅用於捕獲內部程式設計錯誤。這些錯誤是透過傳入錯誤的引數而發生的。

示例

以下是在 C 程式語言中進行簡單斷言的 C 程式 -

 即時演示

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

輸出

執行上述程式時,會產生以下輸出 -

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

更新於: 2021 年 3 月 26 日

229 次觀看

開啟你的 職業生涯

透過完成課程獲得認證

開始
廣告
© . All rights reserved.