[ruby-list:13975] Re: Message of Today in 1999/04/20.

なひです．

> From: Yukihiro Matsumoto [mailto:[e-mail]]
> Sent: Wednesday, April 21, 1999 11:49 AM

> |1. 「ひとつのメソッド内」は「ひとつのブロック内」でよいのでしょうか．
> 
> ひとつの「スコープ」の方が良いかしら．Rubyではブロックってい
> うと，「イテレータ」につけるアレのことを意味しますから，「ひ
> とつのブロック内」だとちょっと意味が変わって来ます．

了解しました．

ちなみにRubyにおけるスコープは，

- BEGIN
- トップレベル
- def/class/module〜end
- ブロック

があると理解してました．この「ブロック」はいわゆる
「イテレータ」につけるアレのつもりだったんですが．．．

今初めて知った驚愕の事実．loopもブロックを構成するのか．．．

while true do
  a = 1
  break
end

と

loop do
  a = 1
  break
end

は，違うんですね．というか，そうか，
loopはKernelクラスのメソッドで
（だからloopの後ろのdo〜endはいわゆるアレ），
whileは制御構造なんですね．激しく理解しました．

> |2. 逆を取って「変数の名前を見ただけでその意味が決められる」
> |   （＝分かりやすい）という理解でよいのでしょうか．
> 
> ま，そういうことですね．この名前の変数はひとつのスコープ(典
> 型的にはメソッド)内にひとつとしたい訳です．気分としては．

メソッド内にひとつ，というのは理解できます．
なひは以前，tempStrとかいう変数をメソッド内のあちこちで使い回して，
自分で混乱したコトがあります．^^;

が．

典型的ではない，class/moduleを考えると，
クラス/モジュールスコープ内で名前からその意味が一意に決まるように
コーディングするのは．．．うーん，大規模になると大変かも．．．

そんな大規模なクラスは，すでに設計が間違っている，
ということかもしれませんね．^^;

> |3. ブロック内初出のメソッド（名?）が持つ別の意味とは何でしょう．
> |   それを見ただけではローカル変数と区別できない，
> |   ということと関係ありますか?
> 
> これは以下の例で分かりますか？
> 
>    def foo
>      var1 = nil
>      loop do
>        var2 = 5
>        ...
>      end
>      defined? var1      #=> true
>      defined? var2      #=> false
>      loop do
>        var2 = 20
>        ...
>      end
>    end
> 
> つまり，ブロックの内部で初出のローカル変数の有効範囲(スコー
> プ)はそのブロックの終りまでです．これは「スコープはネストし
> ない」というルールの例外になっています．結果としてひとつのス
> コープ内でひとつの変数(この場合にはvar2)に複数の意味を割り振
> ることができます．

これが

>    def foo
>      var1 = nil
       var2 = 0	# !!!追加!!!
>      loop do
>        var2 = 5
>        ...
>      end
>      defined? var1      #=> true
>      defined? var2      #=> false
>      loop do
>        var2 = 20
>        ...
>      end
>    end

だったりすると，全員同じスコープになるわけですもんね．．．

例えば今，この追加をしない状況で，
var2が同じ意味を表わすようになったとすると，

fooの最初のloopを実行してる時:
  var2のスコープはloopブロック

2つめのloopを実行してる時:
  var2のスコープはメソッドfoo

なんてことになるんでしょうか．．．
なひはこのような動的なスコープ変更は
起こらないで欲しいような気がします．^^;

	/	/	/

ともあれ，かなりまつもとさんの気持ちを理解できたような気がしています．
まつもとさん，個人的な質問に回答ありがとうございました．m(..m

# あとで書き換えよっと．．．