[ruby-dev:20853] Re: compare between String and Exception

まつもと ゆきひろです

もう覚えていない人も多いでしょうが、1.8では<=>が型不整合で
nilを返す仕様は良くないと田中さんが指摘した件です。

結論としては1.8.0ではnilのままです。理由は

  * これから仕様を変更してテスト・デバッグするには時間がない
  * パフォーマンスに影響を及ぼす可能性が高い

の２点です。

将来のバージョンで例外処理のコストが下がったり、あるいはそも
そも例外を捕捉せずスルーしてもかまわないことがはっきりすれば、
今後また仕様変更する可能性はあります。

In message "[ruby-dev:20284] Re: compare between String and Exception"
    on 03/05/23, Tanaka Akira <[e-mail]> writes:
|
|In article <[e-mail]>,
|  [e-mail] (Yukihiro Matsumoto) writes:
|
|> 要するに
|>
|>   * <=>が成立しないケースは厳密には2種類ある
|>     + そもそも型が合わない
|>     + 型は合うが順序関係が成立しない
|>   * これらを区別するため、前者は例外、後者はnilになるべきだ。
|>
|> ということですよね。
|
|はい。
|
|> 私の考えとしては
|>
|>   * 2種類を区別する必要があるのか
|>
|>     ほとんどの場合、ユーザが関心あるのは、比較できるかできな
|>     いかだけ。
|
|同意できません。ほとんどの場合、ユーザは比較できるときのことしか関心を
|持たないように思います。
|
|したがって、比較できないときに対処するコードが少なくなるような仕様が良
|いと思います。
|
|>     「情報は多い方が良い」とは限らない。むしろ場合分けが多く
|>     なるかも。
|
|反論します。普通のプログラムではこの例外はバグを示すため、rescue する
|必要はありません。つまり、場合分けは多くなりません。
|
|そして、例外は nil よりもバグを早期に検出します。nil を返した場合には
|問題を検出するにはユーザが自分で検査しなければいけませんが、例外ならな
|にも書かないで検出されます。
|
|もちろん、多くの場合、正しいプログラムは比較できないものを比較したりは
|しないので、これはユーザがバグを追いかけているといった状況の話です。
|
|例外にしておけば、なにもしなくても検査が入っている状況になり、ユーザは
|無用にプログラムを疑わなくて済みます。
|
|まぁ、<=> を直接使うのは主に sort のブロックで、その場合は nil を返せ
|ば例外になるから、この理由はちょっと弱いかもしれませんが。
|
|>     半順序関係はクラス/モジュールだけだし、理由はともかく順
|>     序関係が成立しないのだから、差別する必要はない。
|
|反論します。この情報の欠落は反対称律の実現を厄介にします。
|
|% ruby -rdelegate -e '
|class C; end
|class D; end
|c = SimpleDelegator.new(C)
|p c < D
|p D < c
|'
|nil
|-e:6:in `<': compared with non class/module (TypeError)
|        from -e:6
|
|例外を出すべきかどうかという条件判断を <=> がしてくれないため、その判
|断を <, <=, >, >= に埋め込む必要があります。そして、<, <=, >, >= を
|<=> の呼び出しによって実現するのであれば、比較可能なクラスは相互に相手
|を知っていなければなりません。その結果、比較可能な後からクラスが増える
|状況を扱うのが困難になります。
|
|もちろん、組み込みの中で半順序なのは Module だけで、Module と比較可能
|なクラスを後から付け加えるというのは非現実的ですが、<=> というメソッド
|の使いかたの範を示すという意味でよろしくないと思います。
|
|>   * ないとすると、成立しない場合には、例外かnilか
|>
|>     例外だとエラーメッセージに内部利用されている<=>が登場す
|>     ることになる
|
|これはまったく考えていませんでした。なるほど。
|
|>     これを避けるにはコストのかかる例外補足が必要
|>
|>     => nilの方が良い
|>
|> ということで、現状維持を推します。
|>
|> nilから適切なメッセージを持つ例外に変換する方が、例外を補足
|> して適切なメッセージで再発生させるのより安いというのも動機の
|> 一つです。
|
|効率に関しては反論しません。
|
|たしかに、上で述べたような利点を実現するのに引き合うかどうか、というバ
|ランスを考慮する必要はあると思います。
|-- 
|[田中 哲][たなか あきら][Tanaka Akira]
|
|