アサートはデバッグに使う機能です

アサートとは、C言語のマクロ定義で、プログラム中でアサーションチェックを行うために使用されます。この機能は、実行時に式を判定し、式の値が偽（0）の場合、アサーションエラーが発生し、プログラムの実行が終了します。

アサートを使用すると、開発中にプログラムのバグや異常な状況をチェックして、プログラムの堅牢性や信頼性を向上させることができます。アサートが失敗すると、エラーメッセージが出力され、具体的なアサートの失敗箇所が出力されるので、プログラマーのデバッグに役立ちます。

アサート（断言）の構文は通常、assert(条件式); となります。

expressionは判断する式です。expressionの値が偽ならassertマクロはエラーメッセージを出力し、失敗した式とファイル名、行番号を含みます。expressionの値が真ならassertマクロは何も動作しません。

assertはデバッグ段階の道具であることに注意してください。リリースバージョンでは通常disableされています。NDEBUGマクロを定義することでassertをdisableできます。例えば：
#define NDEBUG
#include

そのため、プログラムのコンパイル時にすべてのassertステートメントが無視され、コンパイルと実行が行われなくなります。