[ruby-list:6347] Re: ruby's design policy (Re: I'd like to su bscr ibe this ML)

まつもと ゆきひろです

In message "[ruby-list:6341] Re: ruby's design policy (Re: I'd like to su bscr ibe this ML)"
    on 98/02/09, 助田　雅紀 <[e-mail]> writes:
|
|助田@ちょっと反応が遅れましたです。

|Mix-in は、1つの具象クラスに複数の抽象クラス（=Module)を多重継承
|する機能と考えれば、C++ で、（複数の）抽象クラスと１つ以下の具象
|クラスを多重継承させる場合と、同じじゃないのという気がして「ほと
|んど変らん」という風に思っている訳です。

うーん，Mix-inは「多重継承で出来ないことをできるようにするツー
ル」ではなく，「多重継承で出来ることのサブセット」である，と
いうことについては認識していただけているでしょうか．そういう
意味で，「Mix-inは1つの具象クラスに複数の抽象クラス（=Module)
を多重継承する機能」であり，「C++ で、（複数の）抽象クラスと
１つ以下の具象クラスを多重継承させる場合と同じ」です．

|多重継承では無く、Mix-in を採用した積極的なメリットってあるんだ
|ろうかという疑問が、根底にあるんです。
|決して、Mix-inが駄目で、多重継承が良いと言っている訳ではないです。
|多重継承を採用しないで、Mix-in という方法を採用した理由が知りたい
|のです。

まず，繰り返しになりますが，Mix-inは多重継承でできないことを
実現するものはなく，多重継承のサブセットです．で，なぜサブセッ
トにしたのか，という話ですが，まず多重継承の問題からお話しま
しょう．

多重継承にはいくつか問題があり，大きく分類すると

    (1) モデルが複雑になる(継承関係が属性の付加やis-a関係な
        ど様々な目的で使われてしまう)

    (2) 独立に開発されたメソッド，属性の間で名称重複が起きる

というものがあります．しかし，だからといって多重継承をあきら
めると継承階層を越えた実装の共有が出来なくなります．これはつ
らい．

で，多重継承の経験が豊富なlisp界では昔からMix-inという手法が
使われていました．どのようなものであるかという説明は繰り返し
ませんが，これはメインの継承以外の継承関係は「性質の付加」と
いう使い方しかしない，という意味になります．

ちなみに，rubyでは2の方に対するアプローチはあっさりあきらめ
てます．

さて，rubyでMix-inを採用した理由は

  * 多重継承があれば，それを使ってしまうから

    複数のクラスに対してis-a関係を持つ設計は間違ってます(注:
    まつもとの主観です)．しかし，多重継承を持つ言語が増えて
    来た現在，そのようなことを深く考えないで多重継承を使う人
    はますます増えるでしょう．rubyではいっそのことそのような
    設計をやろうと思ってもできないようにしてしまうことで，苦
    痛を軽減しようと考えました．

  * 多重継承の(1)の問題を解決させる方法としてMix-in以外の方
    法が知られていないから

    rubyは採用していないものの静的型言語では2に対する解決策
    はかなり知られてきています．しかし，1の問題に対する言語
    からのサポートはほとんどありません．rubyはそれらの言語と
    は違ったアプローチをとることを望みました．

  * Mix-in手法の知名度が低いから

    今後rubyを使う人が沢山になれば，「自然にMix-inを使える人」
    も増えて来ると思います．それはオブジェクト指向プログラミ
    ング全体に対する貢献になると思います．

です．

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