[ruby-dev:13616] Re: yield *[[]]

まつもと ゆきひろです

In message "[ruby-dev:13598] Re: yield *[[]]"
    on 01/06/15, Tanaka Akira <[e-mail]> writes:

|で、実際の挙動をほんのすこし調べてみたところ、奇妙に思える挙動が発見さ
|れました。
|
|% ruby -e 'class A; def f(a); p a; end; end; A.new.method(:f).to_proc.call([1])'
|1
|% ruby -v
|ruby 1.7.1 (2001-06-07) [i386-freebsdelf4.2]

|(なお、1.6.4 でも 1 になるが、なぜか 1.6.2 では [1] になる。)

[ruby-dev:13299]の副作用ですね。

|* 単値の入口から単値の出口へデータが通過する場合、代入(多重代入)のよう
|  な挙動をすること。(代入の挙動自体が議論中ではありますが。)
|* 多値の入口から多値の出口へデータが通過する場合、通常のメソッド呼び出
|  しのような挙動をすること。
|* 単値の入口から多値の出口へデータが通過する場合、変換が一回だけ起こること。
|* 多値の入口から単値の出口へデータが通過する場合、変換が一回だけ起こること。
|* wrapper を定型的に記述可能なこと。
|* 単値から多値への変換は一種類であること。
|* 多値から単値への変換は一種類であること。(Proc#call と Proc#yield で
|  異なるとすればこれは無理?)
|
|ただし、希望を満たす仕様がちゃんと存在するかどうか私にもわからないので、
|かなわない希望なのかも知れないんですが...

つらつらと考えてみました。

 * 単値と呼ばれているものは実は２種類ある。

 * 片方はすべて配列で表現されるもので、多値と呼ばれているも
   のと完全に対応する(たとえばメソッドの引数を*argsで受けた
   場合や代入左辺の*aなど)。

 * もうひとつは、0要素の多値をnil、1要素の多値をその要素自身、
   2要素以上の多値をその要素を持つ配列で表現したものである。

 * 多値と前者は同一視してかまわない。

 * Rubyで一般的に用いられている単値は後者である。

 * ここでは説明のため仮に前者にmvalue(multiのm)、そして後者
   にsvalue(singleのs)と名前を付ける。

 * 問題になる点はmvalueとsvalueが1対1対応できない点である。

   たとえば、現在の変換方法ではmvalueの[]と[nil]は両方とも
   svalueのnilに変換される。svalueの[1]はmvalueの[1]に変換す
   べきか、[[1]]に変換すべきか状況によって異なる(が、判断す
   る情報が既に落ちている)。

 * 問題になるのはmvalueにおいて要素がひとつだけで、かつその
   唯一の要素がnilまたは配列である場合だけである。

と、ここまで考えて

 * 現状で情報が欠損しているなら、残してやれば良い。

   つまり、mvalueにおいて要素がひとつだけで、その要素がnilま
   たは配列である場合を特別扱いすれば良い。具体的にはsvalue
   への変換で、[1]は1に変換するものの、[nil]や[[1]] は変換せ
   ずにそのままsvalueとする。

というのはどうだろうと考えました。以前のtest suiteとは互換性
がないですが、まあ、それ自身で筋が通っているならそれはそれで
良かろうと考えました。

で、実践してみたのですが、やや問題が残りました。

  def each2(&block); [[2]].each {|*x| p x; block.call(x)}; end
  each2{|x|p x}

  def each3(&block); [[2]].each {|x| p x; block.call(x)}; end
  each3{|x|p x}

のようなケースで互換性がないのです(配列の配列が渡るため、変
換が発生せず、xに[[2]]が代入されてしまう)。そこで、yieldでブ
ロックパラメータが単純代入である場合に限って、1要素の配列は
かならず転換するようにして互換性を維持しようとしましたが、気
持ち悪さはぬぐえません。

とりあえず、とても最終仕様とは呼べませんが、ためしに実装した
ものをCVSにコミットしてみます。ひまのある方は試してみてくだ
さい。
                                まつもと ゆきひろ /:|)