[ruby-dev:18312] Re: [req] Marshal

すこし眠ったら何かよさそうなやりかたを見つけたような気分になったので、
書いておきます。

In article <[e-mail]>,
  [e-mail] (Yukihiro Matsumoto) writes:

>  * 他のオブジェクトではインスタンス変数は出力されている
> 
>  * Rubyの性質上自分にインスタンス変数が追加されているかどう
>    かは_dumpは(わざわざそうしない限り)知りえない
> 
> という条件から出力されるべきだと考えます。

疑問としては、T_OBJECT な連中に関しては、無条件にインスタンス変数を出
力されると _dump/_load を定義する意味がほとんどなくなるのではないかと
いうことがあります。すべてのインスタンス変数は Marshal.load で再生され
るので、_dump で処理するかわりに Marshal.load した後にでも処理できるか
らです。もし、それでも _dump/_load が必要な場合があるとしたら、インス
タンス変数以外の情報(クラス変数など)を扱う場合でしょうが、具体的なケー
スは思いつきません。

で、思ったんですが、

In article <[e-mail]>,
  [e-mail] (Yukihiro Matsumoto) writes:

> これは「こういうのが欲しい」というリクエストで暫定的という約
> 束で取り込んだものです。_dump/_loadよりもマシなフレームワー
> クが出来れば統合されます。その場合互換性は無視されます。

そういうマシなフレームワークとして、_dump の返り値としに String 以外の
任意のオブジェクトを許し、_load をインスタンスメソッドにするというのは
どうでしょうか。

つまり、_dump があるオブジェクト o をダンプするときは、

  o.class の名前を出力
  o._dump の結果をダンプ

とし、ロードする時には、

  クラスの名前 C を入力し、o = C.allocate
  オブジェクト d をロードし、o._load(d)

とするわけです。

たとえば、Time の場合には、_dump が
  [year, month, day, hour, min, sec, usec,
   instance-variable-name-1, instance-variable-value-1,
   instance-variable-name-2, instance-variable-value-2,
   ...]
というような値を返せばいいでしょう。もちろん、同じ情報を持っていればもっ
と他の形でもかまいませんが。

なお、むろん互換性を保つためには C#_load がなくて C._load だけがある場
合に関する仕掛けが必要です。copy_object を使えば o._load(d) は
copy_object(o, C._load(d)) で実装できるでしょうが、この場合はどうせ
String === d なのでそこまでする必要はない、かな。
-- 
[田中 哲][たなか あきら][Tanaka Akira]
「ふえろ! わかめちゃん作戦です$(C⊇」(Little Worker, 桂遊生丸)