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

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

In [ruby-dev :01632 ] the message: "[ruby-dev:1632] Re: [BUG]
String.dup ", on Mar/10 10:04(JST) Yukihiro Matsumoto writes:

>まつもと ゆきひろです

>|>  * ここまでされると仕方がない
>|まあそれでも良いと思います, でも, 落ちちゃうのはどうなんでしょ?
>
>拡張モジュールを使わない素のrubyは落ちなくなりましたから，私
>の基準の最低ラインは満たしてます．

なるほど. 

>|>  * T_DATAなクラスはDataのサブクラスにするよう指導する
>|
>|Numericの例でも出ましたがDataのサブクラスにできないような場合は良くあ
>|りますよね.
>
>これは一瞬問題のようですが，実はそれほど問題ではないのです．
>というのは，

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

なるほど. 

>|他にも気づいた問題を.
>|
>|1. 上記の方法はnewにしか対応していない. 
>
>この問題は結局newに還元されるはずです．newが本来期待される構
>造と異なる構造のオブジェクトを生成してしまうからこそ，メソッ
>ドでの構造の不整合が発生するのですから．

今のrubyにはないんですが, 

class Foo<Bar となっていて, Foo/Barに構造の互換性がない場合, 正くオブ
ジェクトを生成しても, (インスタンス)メソッドがsuperを呼ぶことによって
間違ったアクセスをする可能性はありますよね.

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

>|2. 上記の方法は, ObjectのサブクラスとしてPrimitiveがある場合にしか対応
>|   していない. つまり, あるPrimitiveに別のPrimitiveをサブクラスとして
>|   定義した場合の対応ができていない.
>
>これは確かにありますねえ．うーむ．

でしょ. でしょ.

>|そうですか... 似ていると思うんだけどなあ... クラスの外部仕様のサブセッ
>|トですから...
>
>いやあ，どうなんでしょ？ profileってのは静的な言語の場合は型
>チェックで行われるものですが，rubyのような動的な言語では
>wrapper(またはdelegator)で実装されるべきもののような気がしま
>す．

うーん. なるほど.... そちらの方が融通も聞きますしね.

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