[ruby-dev:3758] Re: List()

原です。

In message "[ruby-dev:3755] Re: List()"
    on 98/12/07, MAEDA Shugo <[e-mail]> writes:
|前田です。

|eachが、
|
|{"key"=>"val"}.each { |key, val|
|  p key #=> ["key", "val"]
|  p val #=> nil
|}
|
|のような挙動の時は、

もしかすると原（はら）案を誤解されているかも。each が
yield("key", "val") で定義されいても yield(["key", "val"])
で定義されていてもこの場合はあり得ません。どちらの場合も

{"key"=>"val"}.each { |key, val|
  p key #=> "key"
  p val #=> "val"
}

となります。しかし each_with_index は変わるわけ。


|原> それはそうなんですけれど、ポイントは each がそのままで、
|原> each_with_index, each_with_index2 と２つ作るのではなく、
|原> each_with_index はそのままで、クラスの側で２種類の動作に
|原> 対応したそれぞれの each の定義の仕方が存在するか、という
|原> 事なんです。
|
|each単体で使った時の挙動がそのままで、each_with_indexの動作だけ
|変わる、というのが気持ち悪い気がしたんです。

その気持ち悪さは分かっています。でもそれは |x| で受けた場合です
よね。|*x| で受けると違うというのがみそなんです。


|eachの変更によって(each自体の意味は変えずに)each_with_indexの挙動を
|変えるためには、配列とリストがある場合には区別されて、ある場合には
|区別されない、ということを利用しなければいけないわけで、ちょっと
|トリッキーな気がします。

それはブロックパラメータは |x| が基本だと考えるからです。私の案は

  完全にパラメータの情報を得るには |*x| で受けるべし

というのを基本にする、というものです。|x|, |x, y| というのは基本的
な受け方でないと考えるわけです。なぜなら、 yield(1, 2) は、 x = 1, 2
が文法エラーであるにもかかわらず。|x| で受けて [1, 2] を生成します。
yield([1, 2]) は、オブジェクト１個を渡しているにもかかわらず、|x, y|
で受けて x=1, y=2 を生成します。つまりこちらがトリッキーな Ruby magic
だと思うのです。

従って each_with_index の様な「透過的」であるべきメソッドを書く時に
は必ず |*x| で受けて処理するのが基本的な作法となると思います。

例えば、原案での each_with_index の定義は

    def each_with_index
      i = 0
      each { |*x|
        yield(*(x + i))
        i += 1
      }
    end

です。

「* で受けて * で送り出す」という形をしているのがきれいだと思うので
すが。