「表明 (プログラミング)」の版間の差分

'''表明'''（ひょうめい、assertion）とは、[[プログラミング言語]]における概念の構文の一種ひとつであり、そのプログラムの前提条件を示すのに使われる。'''アサーション'''とも呼ばれる。表明は、プログラムのその箇所で必ず真であるべき式の形式をとる。多くの言語ではそのような前提条件のチェックに表明を使用するが、設計上の判断を文書化するのに使う場合もある。表明が偽となった場合、プログラムに[[バグ]]が潜在していることを示している。これを「表明違反; assertion failure」と呼ぶ。表明を言語構文や標準ライブラリとしてサポートする[[プログラミング言語]]も存在する。

例えば、次の疑似コードには2つの表明が含まれている。

<source lang="javapascal">
x := 5;

{x > 1}
</source>

この例では、[[アントニー・ホーア]]が1969年の論文で採用した表明の記法を使っている<ref>[[アントニー・ホーア|C.A.R. Hoare]], [http://lambda-the-ultimate.org/node/1912 An axiomatic basis for computer programming], ''Communications of the ACM'', 1969.</ref>。この記法は主なプログラミング言語では採用されていない。しかし、実行時にチェックされない表明として[[コメント (コンピュータ)|コメント]]にこの記法で書いておくことはできる。例えば[[C言語|C]]/[[C++]]では次のようになる。

<source lang="C">
x = 5;

//* {x > 1}< */source>

int total = countNumberOfUsers();

if assert(total % 2 =>= 0); // total must be {non-negative

// total is even

} else {

// assert(total %must 2be ==odd 1);and non-negative

}

Javaでは、表明はバージョン 1.4 から言語の一部となった。表明違反は <code>AssertionError</code> を発生させる。Cでは標準[[ヘッダファイル]] <code>assert.h</code> で <code> assert (''assertion'') </code> マクロが定義されており、エラーを表示してプログラムを停止させるようになっているのが一般的である。[[C++]]の標準では <code>cassert</code> というヘッダを必要とするが、ライブラリによってはC言語同様の <code>assert.h</code> が使用可能となっている。

これを何度も使用するには、配列名がそれぞれ別々でなければならない。{{いつ範囲|date=2017年9月|最近}}のコンパイラにはプリプロセッサに __COUNTER__ というマクロ定義があり、出現の度に増加する数を返すので、それを名前に含めればよい<ref>GNU, "[http://gcc.gnu.org/gcc-4.3/changes.html GCC 4.3 Release Series — Changes, New Features, and Fixes]"</ref>。

[[D言語]]は静的表明 <code>static assert</code> をサポートしている<ref>Static assertions in D''http://dlang.org/version.html#StaticAssert''</ref>。また、[[C++]]では[[C++11]]において <code>[[C++11#静的な表明|static_assert]]</code> が導入された。C言語でも[[C11 (C言語)|C11]]規格で <code>_Static_assert</code> が導入された。

エラー処理に表明を使っているC言語の例を以下に示す。

例えば、次のようなC言語のプログラムがあるとする。

assert(ptr = malloc(sizeof(int) * 10)); // malloc() が失敗すると NULL を返す。しかし、この文は -NDEBUG つ付きでコンパイルすると実行されなくなる。

// ptr を使用する。－NODEBUG-NDEBUG 付きでコンパイルすると、この時点で ptr は設定されていないことになる。