[ruby-list:41584] Re: Matrix の継承について

けいじゅ＠いしつかです.

In [ruby-list:41581] the message: "[ruby-list:41581] Re: Matrix の継承
について", on Nov/25 00:45(JST) Shin-ichiro HARA writes:

>原です。

他のメイルには返事できていないんですが, それとは関係ないここだけ.
# もう少しお待ちを...

>ところで、S op S -> S というのは、どうも「当然ありえない」と
>いう雰囲気なんですが、どうしてでしょう？例えば Array#+ では
>現在、
>
>  class S < Array
>  end
>  p (S[0, 1] + S[2, 3, 4]).class #=> Array
>
>なんだけど、これをSにしてしまうのはまずいですか？

それって,

class N < Matrix

として,

n1 op n2 => n3 (n1, n2, n3 is N)

ってことですよね...

エルミート行列の例でもそうですが, 一般にそうなり得るかどうかわからない
のに, そうするのは, 問題ありではないでしょうか? やはりこれはサブクラス
で判断するべきものではないでしょうか?

それに,

n1 op aA => ?
aA op n2 => ?

ってもんだいもあります.

あと, 別例として気が付いたもの:

class 1/0のみのArray < Array; ...; end

ある1/0のみのArray1 + ある1/0のみのArray2 => 1/0のみのArray

は成立しませんが, すくなくとも(サブクラスとして満たすべき)Liskovの置換
原理を満たすサブクラスなら:

ある1/0のみのArray1 + ある1/0のみのArray2 => のArray

は必ず成立します.

とはいえ, アルゴリズムが同じになることは多いので, 結果インスタンスのク
ラスが選べるようなメカニズムを導入するというのはあり得るとは思いますが...


__
---------------------------------------------------->> 石塚 圭樹 <<---
---------------------------------->> e-mail: [e-mail] <<---