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

正木です。

In message "[ruby-dev:17807] Re: self in block"
    on 02/07/24,[e-mail] (Yukihiro Matsumoto) writes:

|正木さんが問題提起されたのは「selfのすり替えができるか」とい
|う点と、「ローカル変数の(思わぬ)重複の回避」という点の二つが
|あり、元のdefine_methodの問題は前者に対応したものです。

find についても自動的に receiver を Prime に切替えてくれるのか
を知りたかったのですが、動作しているということは、その点につい
ては大丈夫ということですね。
self 自身を参照したいこともあるので、完全に self がその object
(Prime) に切り替わっているのかも知りたいんですが、block の中で
p self
とするとどうなりますか？
 
|Sequence.newに与えたブロック中のmを別の名前にすれば
|動作します。

まつもとさんがそのつもりで書いているのでないことは分かってい
ますが、これを読んで、それなら何の問題もない、と思う人がいる
と困るので一応書いておきます。

まづ Prime を使う立場で考えると Prime の定義中でどういう変数
名が使われているかということは、どうでもよい知る必要のない情
報の筈で

m=10

Prime=....

Prime.each{|prime| break if prime > m ;p prime}

の m のかわりに Prime の定義中で使われていない変数名または即
値を使えばちゃんと動くけれども、そうでないと意図通りに動かな
いというのはおかしいというのが第一点です。
この点は誰も反対しないと思います。

この問題は Prime の定義のまえに使われている変数名を Prime の
定義中で使わなければ解決します。
あるいは上の例では Prime の定義を
m=10
の前に移して、それ以前に n,m,k が使われていないことを確認して
置けばすむことです。

しかし何かの定義を書く時に dummy 変数の名前まで気にしたくない、
本来不必要な情報は知らなくてすむようにしてもらいたい、というの
が私の言いたいことなのですが、不思議なことに殆んど賛同してもら
えないようです。