いちばんやさしいゲームの作り方 » アサーション

assert() にエラーメッセージを渡す

Byerkut — Mon, 30 Mar 2009 09:14:40 +0000

Byerkut さんのお気に入り関数 assert() 。しかしながら、これの出力は式になってしまうので意味を理解するのにちょっと時間がかかります。これにエラーメッセージを渡して意味を伝えやすくしようというテクニックとのことです。

assert("argument は１以上じゃないとだめだ" && (0 <argument));
assert("pointer は NULL は受け取らない" && (pointer != NULL));

文字列は真と認識される点を利用したテクニックですね。「到達してはいけない」系の assert() は次のように書けます。

assert(!"ここに到達してはいけない！絶対 break されるはずなんだ！");

ちなみに PHP だと文字列は０と認識される可能性が高い点に注意です。 PHP は文字列中に数字が一個も入ってないと０なのです。

そこ到達することが間違いであることを表明する

Byerkut — Thu, 28 Aug 2008 10:00:53 +0000

プログラムを書いていると設計がまずいのか「そこに到達することが間違いである」という部分ができることがあります。そういった場合は assert() を使ってコードに残すことができます。

switch (mode)
{
case HOGEHOGE_MODE:
  // do someting
  break;
case ROMANTIC_MODE:
  // do someting
  break;
case NEKOMIMI_MODE:
  // do someting
  break;
default:
  assert(!"ここに到達してはいけない！");
}

式に文字列を指定して not にしているのがポイントです。もしそこへ到達してしまった際にはとてもハートフルなエラーメッセージが表示されることと思います。後の自分のために日夜 assert() を仕込みましょう。

他のプログラマに「バグ」ではなく「仕様」だと主張する

Byerkut — Wed, 30 Jul 2008 23:27:51 +0000

他のプログラマに「バグ」ではなく「仕様」だと主張するためには assert() 関数を使います。

assret() 関数に自分のソースコード中で成り立つ恒等式を記述しておくことで、他のプログラマに対して「私はこの条件を満たしていることを前提に開発している」と主張することができるようになります。もし assert() 関数に書いた条件が満たされない場合は警告が表示されるようになります。

int someFunc(int arg)
{
  // arg は０以外の数値である必要がある
  assert(arg != 0);

  // 関数の中身
}

もし assert() 関数の警告に遭遇してしまった場合は、その仕様がアプリケーション全体として問題ないかを検討し、問題ある場合は、その assert() を使ったプログラマーや上長と議論するなどして解決する必要があります。 CVS と同様で assert() 関数を使う＝ソフトウェアの品質が上がるということではありません。 assert() 関数はきっかけに過ぎません。

また、 assert() 関数には副作用のある式を書くことはできません。これは assert() 関数がリリース時に削除される可能性があるためです（普通は削除します）。

int someFunc(int arg)
{
  // やってはいけない！これはリリース時に無くなる！
  assert(arg++);

  // 関数の中身
}

assert() 関数はエラー処理ではなく、あくまで品質向上の仕組みというわけです。

Windows のアサーションがかっこよすぎる件

Byerkut — Sun, 18 May 2008 23:43:06 +0000

Windows プログラミングでアサーションを導入しようとしたら失禁するほどかっこいいダイアログが表示されました。

惚れたぜ。例外を捕まえなかったときは「ご不便をおかけして申し訳ありません」が表示されるというのに…