[ruby-list:22065] Re: assert

友谷です。

>Subject: [ruby-list:10393] Re: 大規模プログラムの友(Re: for が修飾子だった
ら)
>From: Takashi Nakai <[e-mail]>
>Date: Tue, 27 Oct 1998 23:46:16 +0900
>In-reply-to: 10358
>------------------------------------------------
>[e-mail] (Yukihiro Matsumoto) さんは書きました：
>>まつもと ゆきひろです
>	:
>>|とここまで書いてきて、実行時にASSERTマクロ風の型チェックは可能
>>|かな？と思いました。
>>
>>こんな感じのものはないよりはましでしょうか？
>	:
>	:
>>なんて風に使います．rubyに-dオプションを与えた時や，$DEBUGの
>>値を設定した時だけ有効になります．もっとも，副作用の抑制まで
>>は出来ませんが．
>------------------------------------------------
>
>こう言うのって、「-dオプションを与えないときや，$DEBUGの値
>を設定しない時」の「実行時コストが『０（ゼロ）』ですよ」と
>なっていないと、なかなか使ってもらえないんですよね。

過去ログを調べたらassertに関する議論は以前にもいくつかありましたね。
結局うやむやのうちに終わってましたが。
２度も同じようなコードを書かせてしまってすいません m(_ _)m。

で、assertを組み込むのであればこんなのはどうでしょうか。

assertの仕様
1. -dオプション指定時のみ有効で、なければコンパイル時に完全にコードを削除。
2. 引数は以下のいずれか。message(s)は書式化してraiseの第二引数へ渡す。
	assert( condition, message = "" )
	assert( condition, *messages )
3. 引数評価時の副作用は考慮しない。
4. unless conditionなら例外を生成。
5. ついでにunfinished, forbiddenも実装。

補足
1.精神衛生上必須。
2.他にもまだありそう。イテレータブロックでの判定は若干冗長ですね。
型チェックもこれでできますassert( arg.kind_of? String )。
3.これはCも同様。それに比較するたびに副作用の出るオブジェクトなんて使いたく
ないなぁ。
4.コールスタックを表示してexit 1もありか？
5はおまけ。前者は未実装部分に置き、後者は絶対に制御がこないところに置く。い
ずれも無条件に例外。
例
def func
  unfinished # まだ実装してない
end

case month
when 1..6
  foo
when 7..12
  bar
else
  forbidden # ここには来るはずがない
end

友谷 登(Noboru Tomotani) [e-mail]