ruby-dev

まつもと ゆきひろです

In message "Re: [ruby-dev:34541] Re: ComplexFloat"
    on Wed, 30 Apr 2008 18:50:06 +0900, Shin-ichiro HARA <sinara@blade.nagaokaut.ac.jp> writes:

|Tanaka Akira さんは書きました:
|> Complex と ComplexFloat とクラスをふたつに分ける理由がどうに
|> もわかりません。
|
|その理由こそちゃんと述べないといけないのですが、なかなか伝わ
|らないですね。うまく表現ができてないみたいです。一応答えるこ
|とができるところだけ答えます。

何度か読み返したのですが、やっぱりよくわかりません。

* Complex.newの存在は純粋に互換性だけが理由だと考えています。
  ですから、Complex.newの存在はなんの根拠にならないと思います。
  いっそComplex.newを削ってもよいでしょう。

* Floatを成分として持つComplexとComplexFloatが挙動を含めて等
  しいものであるのにもかかわらずComplexFloatとComplexの両方
  があった方が良い理由として、

  (a) Complexの用法としてComplexFloatがほとんどであろうと推
      測される

  (b) 挙動がクラスで決まる、というのはよいことではないかと考
      える

  の2点があげられていますが、前提から考えて(どうせ同じ挙動な
  んだから)Complexの用法としてFloat成分がほとんどであろうがな
  かろうが、ComplexFloatを分離する根拠にはならないと思います。

  「現行の組み込みの数値クラスはすべてクラスで決まっている」
  とありますが、たとえばFixnumとBignumは本当は同じIntegerクラ
  スにしたかったのが、一方が即値であるためにできなかったとい
  う「私の思い」があり、「設計者がしたいのにできなかった」こ
  とをもって「よいこと」と断じられるのは不本意です。

  また、「数値クラスという単純であるべき」とありますが、
  Complexというクラスひとつを導入するのとComplexFloatを代表す
  る多数の「Complex族」を導入したり、あるいはComplexFloatとほ
  ぼ同じ動作を内包するようなComplexクラスを並立させたりするこ
  とは、成分ごとに挙動が多少変化するComplexよりも複雑に(私に
  は)感じます。

という点から、さほど確たる根拠は感じられなかったのですが。複
素数とはそういうものだ、とかそういう話にはならないのですね
(それなら少なくとも私には口出しできない)。

|Complex() に Float を与えると、ComplexFloat と同じ挙動をする
|オブジェクトが得られます。同じような振舞いをするオブジェクト
|が2通りあることになりますね。あまり良くないが仕方がない、とい
|う考えです。最大の欠点？
|
|誰かが ComplexInteger を作ったとすれば、やはり Complex() に
|Integer を与えたものと2重になってしまうでしょう。

「しかたがない」というからには、「しかたがない」だけの理由が
あるんだと思うんですが、上記のようにそんなに「しかたがない」
とは感じませんでした。「単純であるべき」の「単純」はかなり主
観的ですし、「クラスで決まっている」というのもそこまで重要視
すべき性質であるとは感じませんでした。

|exact? と inexact? の導入は検討されてもいいと思います。しかし
|数の挙動を表現する情報としては不十分なわけで(例えば Rational
|と Integer は exact だけど挙動はかなり違う)、そのものズバリ
|「クラスが体を表す」のはいいことではないかと思うのですが…
|数値なのにクラスで性質が判断できない、という気持ち悪さを感じ
|過ぎなのかなあ。

確かに数値クラス群はRubyの中では例外的にクラスが意味を持つ傾
向がありますが、絶対視する必要はないように思うのです。

                                まつもと ゆきひろ /:|)

Thread

Prev Next

In This Thread

Prev Next