C /C++でのアサーション

ここでは、C /C++でのアサーションとは何かを見ていきます。 Cライブラリマクロvoidassert（int expression）を使用すると、診断情報を標準エラーファイルに書き込むことができます。つまり、Cプログラムに診断を追加するために使用できます。

以下はassert（）マクロの宣言です。

void assert(int expression);

このassert（）のパラメーターは式です −これは変数または任意のC式にすることができます。 表現の場合 TRUEと評価され、assert（）は何もしません。 表現の場合 FALSEと評価され、assert（）は stderrにエラーメッセージを表示します （エラーメッセージと診断を表示するための標準エラーストリーム）そしてプログラムの実行を中止します。

サンプルコード

#include <assert.h>
#include <stdio.h>
int main () {
   int a;
   char str[50];
   printf("Enter an integer value: ");
   scanf("%d", &a);
   assert(a >= 10);
   printf("Integer entered is %d\n", a);
   printf("Enter string: ");
   scanf("%s", &str);
   assert(str != NULL);
   printf("String entered is: %s\n", str);
   return(0);
}

出力

Enter an integer value: 11
Integer entered is 11
Enter string: tutorialspoint
String entered is: tutorialspoint