[ruby-dev:2020] Re: [Req] Binding.new

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

In [ruby-dev :2017 ] the message: "[ruby-dev:2017] Re: [Req]
Binding.new ", on Apr/02 17:32(JST) Yukihiro Matsumoto writes:

>まつもと ゆきひろです
>
>今気が付いたんですけど，もしかしてローカル変数やインスタンス
>変数やクラス定数なども含めて完全に独立な空間を提供したかった
>んですか？

最低でもローカル変数を独立にしたいですね. 

># それでself.dupが必要なわけだ…．

こっちはインスタンス変数の独立ですね. できればこれもおこないたかったん
です. 

>気が付くのが遅いと言われそうですが，これはBinding#dupでは対
>応できませんね．dupではスコープは共有するし，the_classも同じ
>だから定数定義も相互に影響を与えちゃいますし．

定数に関しては, もとと同じで良いです. 

# 完全に独立すると, クラスも何も見えなくなってしまいますし(^^;;;

the_classについても, そのまま同じで良いです.

>これは現在石塚さんがやっていらっしゃるようにメソッドの中のバ
>インディングを取り出すようにして，その上で例外に関してはeval
>をbegin〜rescueで括って，例外に対する $@ の値を操作してから
>例外の再発生という手段でないと対応できないんじゃないでしょう
>か．
>それでも定数の独立とメソッドの定義先に関しては深い考察が必要
>そうです．

そういう対応もできなくはないですが, 無理矢理やっているって感じですし...
もうちょっと, 将来のことを考えると, 奇麗に解決できるならそのほうが良い
ですね.

別の案を...

全く別のBindingを生成するのも大変ですし, ただのdupでも不十分なので, あ
るBindingを基本的には引き継ぐようなものです.

#(1) TOPLEVEL_BINDING
class Foo
  #(2) Fooのコンテキスト
  def foo
    #(3) Foo#fooのコンテクスト
  end
end

とすると, (2)では(1)の静的スコープでの定数を参照できますね. でも, ロー
カル変数とselfは別のスコープになっていますよね. (3)も同じですよね.

これと同じ原理でコンテキストをつくってもらってもよいです. つまり, ある
bindingの静的スコープはそのまま引き継ぐサブバインディングを生成するメ
ソッドです.

  bind.subbinding(the_class, the_self)

これですと, 表には現れていませんがclassやメソッド内で使っているわけで
すから, そんなに変なAPIでもないのでは?

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