[ruby-dev:1655] Re: [BUG] String.dup

けいじゅ＠日本ラショナルソフトウェアです.

In [ruby-dev :01645 ] the message: "[ruby-dev:1645] Re: [BUG]
String.dup ", on Mar/10 15:42(JST) Yukihiro Matsumoto writes:

>まつもと ゆきひろです

>|class Foo<Bar となっていて, Foo/Barに構造の互換性がない場合, 正くオブ
>|ジェクトを生成しても, (インスタンス)メソッドがsuperを呼ぶことによって
>|間違ったアクセスをする可能性はありますよね.
>
>うーん，rubyでは通常のインスタンスを生成する方法はnewしかあ
>りません(例外はリテラル)．となるとよっぽど変なことしないとスー
>パークラスと構造の違うサブクラスは定義できないと思います．

ああ. すいません. 完全にCレベルでの話しです.

>|たとえば, class Foo<Arrayで[]=をオーバライドしている場合とかですね.

>rubyの範囲内で定義する限り，Foo.newはArrayと同じ構造を返すと
>思いますし，異なる構造のFooのインスタンスを生成する方法もあ
>りません．もちろんCで拡張モジュールを書けば何でもありですが，
>そこまで禁止する方法は私には思い付きません．

そのような実装をしてもちゃんと動くなら, 禁止する必要はないと思います.
ただ, rubyレベルでの操作に対しても強固にすることが可能なら良いなという
ことです.

>|>|2. 上記の方法は, ObjectのサブクラスとしてPrimitiveがある場合にしか対応
>|>|   していない. つまり, あるPrimitiveに別のPrimitiveをサブクラスとして
>|>|   定義した場合の対応ができていない.
>|>これは確かにありますねえ．うーむ．
>|でしょ. でしょ.
>
>とはいえ，これにどのような対応が出来るか，といえばやっぱり出
>来ないような気がするのです(Rubyのオブジェクトの構造という話
>よりももっと粒度の細かい話ですから)．まあ，石塚さん提案の
>super_undefを採用すれば禁止は出来ないことは無いですが，なん
>か不毛ですし．

不毛といえば不毛なんですけどね... 自動的にsuper_undefしてくれればそれ
ほどめんどくさくないかなと...

__
................................石塚 圭樹＠日本ラショナルソフトェア...
----------------------------------->> e-mail: [e-mail] <<---