アサート機能とは、C言語において、プログラムの実行中に予期しない状態が発生したときに実行を停止し、エラーメッセージを表示してデバッグを補助する機能です。

C言語におけるアサートは、プログラム内のある条件が真かどうかを断言するために使われるマクロです。実行時に与えられた条件が真かどうかを調べ、条件が満たされていない場合にはプログラムの実行を終了し、それに応じたエラーメッセージを出力します。通常はデバッグ段階で使用され、コード内の不具合の発見と修正をプログラマーが支援するのに使われます。プログラムがプロダクション環境にリリースされると、通常はアサート文はオフにされ、プログラムの実行速度が向上します。