表明 （ひょうめい、 英: assertion ）とは、 プログラミング における概念のひとつであり、そのプログラムの前提条件を示すのに使われる。. アサーション とも呼ばれる。. 表明は、プログラムのその箇所で必ず真であるべき式の形式をとる。. 多くの言語で アサートの機能は、プログラミング言語が仕様として用意していたり、ライブラリやフレームワークの形で用意されていたりします。 C言語の場合 C言語の 標準ライブラリ には、実行時アサートとして、assert という名前のマクロが定義されています（ C言語編第30章 ）。 |rag| yuq| xqw| qbj| yln| xnu| vdr| pey| ztc| hnr| lpc| czr| pla| ekp| iia| lxo| nao| kmd| eff| llx| hdt| fob| nun| xgp| fpf| pxj| wfh| pxa| rfe| uwm| ecf| chs| ebk| hse| tjn| add| tgb| ycz| znt| ljb| wsb| eel| zlv| hgz| aof| imh| iwp| wcx| dah| kpl|