[ruby-dev:28735] Module#toplevel_eval (Re: binding の仕様変更？ or バグ？)

永井@知能．九工大です．

# 変なことばかりやってるんで全く相手にされてないですね．．．(;_;)

他に悪影響がでないということを条件に，とりあえず実装してみました．
現状に対して非常に困っておりますし，互換性にも影響がないはず
(だと思います) なので，なんとか採用していただくことはできないでしょうか．
CVS の ruby_1_8 との差分を添付します．

Module#toplevel_eval は module_eval と同様に文字列またはブロックで
コード片を受け取り，評価します．
ただし，評価されるコード片の中では，

 * モジュールで定義されたメソッドを関数型メソッドとして呼び出せる．

 * ::CONST のような定数アクセスは，そのモジュールのコンテキストを
   最優先に行う．見つからなければ本来のトップレベルを検索するが，
   代入の場合はそのモジュール (の特異クラスの) のコンテキストで行われる．

というようになります．
これにより，関数型のメソッドを使って作られたスクリプトを，
モジュールをトップレベルとして load しても動くはずです．
また，::CONST = val の実行などで本来のトップレベルが汚染されることも
避けられると思います．

なお，評価されるコードの中で新たにスレッドを作った場合，
設定はそのスレッドに引き継がれます．
ただし評価されるコード中であっても，requrie (autoload 含む) が
呼ばれた場合には，require が完了するまでこの性質は無効にされます．
# ライブラリでのトラブルを避けるためです．

ちょっと長いですが，module_eval との違いは次のようになります．
======================================================
module M
  HOGE = 111
  def foo(*args)
    p [self, args]
  end
end

class X
end

########################################

begin
  p '-----(1)-----'
  M.module_eval{foo(1,2,3)}
rescue
  p $!
end
#=> #<NoMethodError: undefined method `foo' for M:Module>

begin
  p '-----(2)-----'
  M.toplevel_eval{foo(1,2,3)}
rescue
  p $!
end
#=> [M, [1, 2, 3]]

begin
  p '-----(3)-----'
  M.module_eval{X.new.instance_eval{foo(1,2,3)}}
rescue
  p $!
end
#=> #<NoMethodError: undefined method `foo' for #<X:0x401d1308>>

begin
  p '-----(4)-----'
  M.toplevel_eval{X.new.instance_eval{foo(1,2,3)}}
rescue
  p $!
end
#=> [#<X:0x401d1178>, [1, 2, 3]]

begin
  p '-----(5)-----'
  M.module_eval{Object.new.instance_eval{foo(1,2,3)}}
rescue
  p $!
end
#=> #<NoMethodError: undefined method `foo' for #<Object:0x401d1074>>

begin
  p '-----(6)-----'
  M.toplevel_eval{Object.new.instance_eval{foo(1,2,3)}}
rescue
  p $!
end
#=> [#<Object:0x401d0ed0>, [1, 2, 3]]

begin
  p '-----(9)-----'
  M.module_eval{Object.new.instance_eval{p HOGE}}
rescue
  p $!
end
#=> #<NameError: uninitialized constant HOGE>

begin
  p '-----(10)-----'
  M.toplevel_eval{Object.new.instance_eval{p HOGE}}
rescue
  p $!
end
#=> 111

begin
  p '-----(11)-----'
  M.module_eval{X.new.instance_eval{p HOGE}}
rescue
  p $!
end
#=> #<NameError: uninitialized constant HOGE>

begin
  p '-----(12)-----'
  M.toplevel_eval{X.new.instance_eval{p HOGE}}
rescue
  p $!
end
#=> 111

begin
  p '-----(13)-----'
  M.module_eval{p ::HOGE}
rescue
  p $!
end
#=> #<NameError: uninitialized constant HOGE>

begin
  p '-----(14)-----'
  M.toplevel_eval{p ::HOGE}
rescue
  p $!
end
#=> 111

begin
  p '-----(15)-----'
  M.module_eval{p ::M}
rescue
  p $!
end
#=> M

begin
  p '-----(16)-----'
  M.toplevel_eval{p ::M}
rescue
  p $!
end
#=> M

begin
  p '-----(17)-----'
  M.module_eval{Object.new.instance_eval{p ::HOGE}}
rescue
  p $!
end
#=> #<NameError: uninitialized constant HOGE>

begin
  p '-----(18)-----'
  M.toplevel_eval{Object.new.instance_eval{p ::HOGE}}
rescue
  p $!
end
#=> 111

begin
  p '-----(19)-----'
  M.module_eval{X.new.instance_eval{p ::HOGE}}
rescue
  p $!
end
#=> #<NameError: uninitialized constant HOGE>

begin
  p '-----(20)-----'
  M.toplevel_eval{X.new.instance_eval{p ::HOGE}}
rescue
  p $!
end
#=> 111

begin
  p '-----(21)-----'
  M.module_eval{
    def hoge(*args)
      p [self, args]
    end
    hoge(:a, :b, :c)
    Object.new.instance_eval{hoge(:d, :e, :f)}
  }
rescue
  p $!
end
#=> #<NoMethodError: undefined method `hoge' for M:Module>

begin
  p '-----(22)-----'
  M.toplevel_eval{
    def fuga(*args)
      p [self, args]
    end
    fuga(:a, :b, :c)
    Object.new.instance_eval{fuga(:d, :e, :f)}
  }
rescue
  p $!
end
#=> [M, [:a, :b, :c]]
#=> [#<Object:0x401d04bc>, [:d, :e, :f]]

p '--------------------------'

p m = Module.new   #=> #<Module:0x401d0480>
m.toplevel_eval{
  FOO = :foo
  ::BAR = :bar

  def baz(*args)
    [self, args]
  end

p baz(1, FOO, ::FOO, ::BAR)
                   #=> [#<Module:0x401d0480>, [1, :foo, :foo, :bar]]
p Object.new.instance_eval{baz(2, FOO, ::FOO, ::BAR)}
                   #=> [#<Object:0x401d02dc>, [2, :foo, :foo, :bar]]
}
p m.constants      #=> ["BAR", "FOO"]
======================================================

-- 
                                       永井 秀利 （九工大 知能情報）
                                           [e-mail]