[ruby-dev:1761] Re: WeakRef

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

In [ruby-dev :01760 ] the message: "[ruby-dev:1760] Re: WeakRef ", on
Mar/13 15:12(JST) Yukihiro Matsumoto writes:

>まつもと ゆきひろです

>できないことはないんですけど，当然クラスの方が先に定義される
>必要があります．weakref.rbがロードされるまでWeakRefってクラ
>スは存在しませんから，
>
>  * WeakRef::__getobjCを定義するダイナミックライブラリを
>    weakref.rbからロードする(静的リンクしかできないアーキテ
>    クチャでは使えない)
>
>  * WeakRefという名前のクラスに__getobjCというメソッドを追加
>    するメソッド(ややこしい^^;;;)を定義してweakref.rbから呼
>    び出す．
>
>のいずれかが必要になりますね．どっちも面倒なわりにそれほど効
>果が無いので，un-documented メソッドとしてのid2refを許した方
>がましだと思います．

なるほど. まあ, id2refも直接使っても安全みたいだし(^^;;;

>|の``->''部分がが必要なのでは?
>
>     ObjectSpace.call_finalizer self
>
>ですね．確かにそうです．追加します．

そうでした.

>|finalizerでWeakRefをコールバックする方法です.
>|
>|これだと, 全体的に簡単になり記述も直接的でわかりやすいと思いますが,
>|ID_MAPがWeakRefを直接参照しているためにGCの対象にならないところがまず
>|い?
>
>その通りです．WeakRefが一生GCの対象にならないのはまずいでしょ
>う，多分．

参照先がGCされたらこれも, ID_MAPから外されるは外されるんですけどね...
参照先がGCの対象になっていない場合は, 本来GCの対象なのにGCされなくはな
るんですけど...

では, こんなのどうでしょう?

class WeakRef<Delegator
  Exception :RefError

  ID_MAP =  {}
  weakfinal = lambda{
    |id|
    wid = ID_MAP[id]
    if wid
      WWeakRef::WID_MAP[wid][].unref
    end
    wwref = WWeakRef::WID_MAP[id]
    if wwref
      wwref.unref
    end
  }
  ObjectSpace.add_finalizer(weakfinal)
			    
  def initialize(orig)
    super
    @id = orig.id
    ObjectSpace.call_finalizer orig
    ID_MAP[@id] = id
    WWeakRef.new(self)
  end

  def unref
    @id = nil
    ID_MAP[@id] = nil
  end

  def __getobj__
    unless @id
      $@ = caller(1)
      $! = RefError.new("Illegal Reference - probably recycled")
      raise
    end
    ObjectSpace.id2ref(@id)
  end

  def weakref_alive?
    if @id
      true
    else
      false
    end
  end

  def []
    __getobj__
  end

  WWeakRef = WeakRef.dup
  class WWeakRef
    WID_MAP = {}

    def initialize(wref)
      super
      @id = wref.id
      ObjectSpace.call_finalizer wref
      WID_MAP[@id] = self
    end
  end    
end

WeakRefを参照するためのクラスWWeakRefを作っているのですが, ちょっとこ
りすぎかな... オリジナルの方が, 全然分かりやすいような気がする(^^;;;

ところで, Module#dupは静的変数は(引き継ぐ|dup)しないんですね.

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