[ruby-dev:17723] Re: self in block

At Fri, 19 Jul 2002 18:30:12 +0900,
> object.method(){<x,...> ...}
> 
> で呼ばれる method の定義
>   def method(...)
>     ...
>   end
> のなかでは self はこの method を呼んだ object を指すわけですから
> block 内の self が別の物を指す方が不自然な気がします。

この方法の詳細が分からなくなってきています．
ブロックを得たオブジェクトが，必ずしもそのブロックをcall()するとは
限りません．上の解釈に従うなら，

Proc.new(...){ ... self ... }

の場合，selfはProcクラス自身であって，Procのオブジェクトではなくな
ります．仮にブロックをcall()/yield()するオブジェクトだとすると，ブ
ロック(Procなど)を他のオブジェクトに渡したり共有することはいくらで
も行うわけですから正木さんの言うところのselfは一意に定まらなくなり
ます．例えば，

f = Proc.new{ ... }
a.callback = f
b.callback = f
a.call()       # aがfをcallする
b.call()       # bがfをcallする

というように，2つのオブジェクトにProcオブジェクトを持たせるだけでも
ブロックは共有してしまいます．
selfは自己参照ではなくて，まだ実体化されていないものを参照すること
ができないから導入されているものです．
-- 
Takaaki Tateishi <[e-mail]>