c言語のassert()関数の使い方は?

2年 ago
夏樹, 風
1 minute

アサート関数とは、C 言語の標準ライブラリ “ 内のプログラム中にアサーションを挿入するためのマクロです。

アサーションとは、プログラマーがコードを作成する際にプログラムの論理的な誤りがないか確認するために使用する仕組みで、特定の条件が正しくなければプログラムを強制終了させ、エラーメッセージを出力することによって条件が正しくないことを確認する機能があります。

assert() 関数には以下の構文があります:

#include <assert.h>

void assert(int expression);

assert() 関数は、引数として式を受け取り、式の値が 0（偽）であった場合にアサーションが失敗し、プログラムが異常終了し、標準エラー出力ストリーム (stderr) にエラーメッセージを出力します。

通常プログラムを書く際は、適切だと判断できる場所に `assert()` 関数を使ってある条件が満たされているかを確認できます。たとえば、次のような形になります。

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

int divide(int a, int b) {
    // 检查除数是否为0
    assert(b != 0);

    return a / b;
}

int main() {
    int a = 10;
    int b = 0;

    int result = divide(a, b);

    printf("Result: %d\n", result);

    return 0;
}

上の例の assert(b != 0) は、除数が0かどうかをチェックするのに使われ、0だった場合プログラムは強制終了し、「Assertion failed: b != 0」というエラーメッセージを標準エラー出力に出力します。ただし assert() 関数は、デバッグモードでのみ動作し、つまりデバッグモードでコンパイル（例えば -g オプションでコンパイル）された場合のみ有効になります。リリース版では、assert() 関数は空のマクロに置き換えられ、動作しません。

assert()関数はプログラムにアサーションを挿入するために使用され、特定の条件が真かどうかをチェックします。条件が偽の場合、プログラムはただちに終了し、標準エラー出力ストリームにエラーメッセージを出力します。コードを記述する際には、適切な場所でアサーションを使用し、リリースバージョンではアサーションを切断してプログラムのパフォーマンスを向上させることに注意してください。

bannerAds