Byerkut さんのお気に入り関数 assert() 。しかしながら、これの出力は式になってしまうので意味を理解するのにちょっと時間がかかります。これにエラーメッセージを渡して意味を伝えやすくしようというテクニックとのことです。
プログラムを書いていると設計がまずいのか「そこに到達することが間違いである」という部分ができることがあります。そういった場合は assert() を使ってコードに残すことができます。
他のプログラマに「バグ」ではなく「仕様」だと主張するためには assert() 関数を使います。
Windows プログラミングでアサーションを導入しようとしたら失禁するほどかっこいいダイアログが表示されました。