「ここでは絶対にこの条件が成り立つはずだ」という前提をコードに書いておき、破られたら即座にプログラムを止めるマクロのこと。リリース版のビルドでは、NDEBUGの定義によって無効化されることもある。
想定外の入力や状態が来ても壊れないよう、あらかじめチェックを仕込んでおくプログラムの書き方の姿勢のこと。「呼び出し側が正しく使ってくれる」と過信しないことが、この考え方の核心にある。
プログラムが異常終了してしまうことのこと。境界外アクセスやNULLポインタの参照など、未定義動作が引き金になることが多い。ユーザーから見ると、突然アプリが落ちてしまう深刻な不具合として現れる。
もっと先へ：ポインタ・メモリ・ファイル入出力・セキュアコーディングを含む全26トラックと、段位検定・模試のフルセットは完全版に収録しています。