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

正木です。


From: [e-mail]
Subject: [ruby-dev:17827] Re: self in block
Date: Fri, 26 Jul 2002 03:03:03 +0900
> 
> 切り替わるというか、findはSequenceのメソッドですから、呼び出さ
> れるときは当然selfはSequenceのインスタンス(であるPrime)です。途
> 中でselfを切り替えられない限りは。

なにか微妙な表現なので読み違えているかも知れませんが、block の中の
self は Prime であると思っていいわけですね？
そうであれば、self に関しては問題はありません。
ただ、このことと

> 大方の意見としては、目的についてはともかく、selfの切り替えが適
> 切な手段とは思えない、ということではないでしょうか。

の関係がいまひとつ呑みこめないのですが。
define_method でしているのは self の切替えではないと言っているよう
にも思えますが良く分からないので、実質的には切替えが実現しているも
のと理解しておきます。



> > 本来不必要な情報は知らなくてすむようにしてもらいたい、というの
> > が私の言いたいことなのですが、不思議なことに殆んど賛同してもら
> > えないようです。
> 
> まつもとさんがいってるのは、selfの切り替えとブロックローカル変
> 数の問題は独立だということだと思うのですが。それともあえて混同
> してるのでしょうか。

混同はしていません。後半に書いたのはブロックローカル変数の問題は
残っていることを確認しただけです。まつもとさんに対する反論ではあ
りません。
ただ、まつもとさんの文章に、私が最後にかいた問題をそれほど重要視し
ていないようなニュアンスをほんの少しだけですが感じたことも事実です。

いま考えてみると、私の提案は block の形式に手を付けなくても
initialze で context を切替える手段さえ用意してもらえれば良かった
わけですが、それでも
"self の切替えまではゆるせても、context の切替えはもっと困る。"
ので却下ということですね。
この "context の切替えは良くない" という理由を私が理解していないのが、
話が噛み合わない原因のような気がします。
（誤解を避けようと思うと、どんどん文章がくどくなっていきますが）
私は、"context の切替えは問題がない"と主張しているわけではなく、単純
に理解できないだけです。

両方同時に解決する方法がまづいのなら、分離方式に反対する理由は全くあ
りません。

self については解決したという条件のもとで、ブロックローカル変数の問題
を考えると、今まででた提案のなかでは、
"ブロックパラメーターと := で代入された変数はブロックローカルにする。"
というのが一番よさそうな気がします。