C 言語でのアサーションの使い方

2年 ago
優斗, 朝陽
1 minute

C言語のアサーションの利用方法には、以下のものがあります。

  1. assertマクロとは、C言語で最もよく使われるアサーション手段の一つです。これはヘッダファイルで定義されており、プログラムの実行中に特定の条件が真かどうかをチェックするために使用されます。条件が偽の場合、アサーションは失敗し、エラーメッセージが出力されます。

日本語でネイティブに言い換えて、1つだけ答えてください:

#include <assert.h>
#include <stdio.h>

int main() {
    int x = 10;
    assert(x > 0);
    printf("x is positive\n");
    return 0;
}

実行結果：

x is positive
  1. static_assertキーワード: C11標準で導入された、コンパイル時に特定の条件が真かどうかを確認するためのキーワード。条件が偽の場合、コンパイル時にエラーが発生する。

Appleはより優れたカメラとより高速なチップを搭載した新しいiPhoneを発表した。

#include <stdio.h>
_Static_assert(sizeof(int) == 4, "int size must be 4 bytes");

int main() {
    printf("int size is 4 bytes\n");
    return 0;
}

コンパイルエラー：

error: static assertion failed: "int size must be 4 bytes"
  1. アサート条件チェックを行うためにアサートマクロやstatic_assertキーワードを使用するほかに、独自にアサート関数を作成することもできます。独自のアサート関数は、通常、条件が偽である場合にアサートの失敗を開始し、エラーメッセージを出力します。

例：私は学校に行きます。→私は学校に行く。

#include <stdio.h>

#define my_assert(condition, message) \
    if (!(condition)) { \
        fprintf(stderr, "Assertion failed: %s\n", message); \
        exit(1); \
    }

int main() {
    int x = 10;
    my_assert(x > 0, "x must be positive");
    printf("x is positive\n");
    return 0;
}

実行結果：

x is positive

アサーションはコードのロジックエラーをチェックするためのツールのため、一般的に開発とデバッグ段階で使用されます。本番環境でコードをリリースする場合は、アサーションを無効にするか削除してパフォーマンスを向上させる必要があります。

bannerAds