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

まつもと ゆきひろです

In message "[ruby-dev:1627] Re: [BUG] String.dup"
    on 98/03/10, 石塚圭樹 <[e-mail]> writes:

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

|>  * ここまでされると仕方がない
|
|まあそれでも良いと思います, でも, 落ちちゃうのはどうなんでしょ?

拡張モジュールを使わない素のrubyは落ちなくなりましたから，私
の基準の最低ラインは満たしてます．

|>  * T_DATAなクラスはDataのサブクラスにするよう指導する
|
|Numericの例でも出ましたがDataのサブクラスにできないような場合は良くあ
|りますよね.

これは一瞬問題のようですが，実はそれほど問題ではないのです．
というのは，

>更にdata_object_allocの引数として使われたクラスにもこのフラ
>グをセットするようにしました．

という項目があるので，Dataのサブクラスでないクラスでもインス
タンスを一つでも生成すればPrimitiveフラグが立つからです．ま
た，気になる人はrubyのソースと同様の方法で明示的にフラグを立
てることも出来ます．

|他にも気づいた問題を.
|
|1. 上記の方法はnewにしか対応していない. 

この問題は結局newに還元されるはずです．newが本来期待される構
造と異なる構造のオブジェクトを生成してしまうからこそ，メソッ
ドでの構造の不整合が発生するのですから．

|2. 上記の方法は, ObjectのサブクラスとしてPrimitiveがある場合にしか対応
|   していない. つまり, あるPrimitiveに別のPrimitiveをサブクラスとして
|   定義した場合の対応ができていない.

これは確かにありますねえ．うーむ．

|>私の研究していたview(profileって名前でしたが)は静的型のある
|>言語におけるクラスの外部仕様のサブセットでしたから，ここでの
|>viewとはちょっと，というかだいぶん違いますよね．Javaにおける
|>インターフェースに近いイメージですか．もう10年くらいの話になっ
|>ちゃいますが．
|
|そうですか... 似ていると思うんだけどなあ... クラスの外部仕様のサブセッ
|トですから...

いやあ，どうなんでしょ？ profileってのは静的な言語の場合は型
チェックで行われるものですが，rubyのような動的な言語では
wrapper(またはdelegator)で実装されるべきもののような気がしま
す．
                                まつもと ゆきひろ /:|)