C言語での単純なアサーションとは何ですか？

アサーションは、コードのその行に到達したときにファクトが真でなければならないことを積極的に宣言するために使用されるステートメントです。

アサーションは、満たされる期待される条件を取得するのに役立ちます。

シンプルアサーション

単純なアサーションは、 assert.h にあるassert（式）メソッドを使用して実装できます。 ヘッダーファイル。

単純アサーションの構文は次のとおりです-

assert(expression)

簡単な主張では、

• 条件が真のアサーションに渡された場合、アクションはありません。
• falseステートメントの動作はコンパイラフラグに完全に依存します。
• アサーションが有効になっている場合、誤った入力によりプログラムが停止します。
• アサーションが無効になっている場合、アクションはありません。

アサーションは、内部プログラミングエラーをキャッチするためにのみ使用されます。これらのエラーは、不正なパラメータを渡すことによって発生します。

例

以下は、Cプログラミング言語での単純なアサーションのためのCプログラムです-

#include <stdio.h>
#include <assert.h>
int main(void){
   int x;
   printf("Enter the value of x:\n");
   scanf("%d",&x);
   assert(x >= 0);
   printf("x = %d\n", 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