6.13. 内部で一貫性をチェックするコードを利用する

プログラムは、呼び出す引数や基本状態の前提が安全なのかチェックしてください。 C では、assert(3)のようなマクロが、チェックに役立つと思います。