[ruby-dev:29022] Re: block wrapper

In article <[e-mail]>,
  Tanaka Akira <[e-mail]> writes:

> えー、*ba で 受けて yield(*ba) で送るって、件の
> http://www.ruby-lang.org/cgi-bin/cvsweb.cgi/ruby/lib/pp.rb.diff?r1=1.47;r2=1.48
> の変更以前のやりかたそのままじゃないですか。
>
> ということはそれでぜんぶうまくいくはずはなくて、調べてみると
> やっぱりうまくいかない例が出てきます。

系統的に調べる気になって、スクリプトを書いて調べて見ました。

その結果、1.8 でも完全な wrapper は書けていなかった、という
ことが判明してしまいました。

いちばんましなのは 1.8 での {|*v| yield(*v) } ですが、それで
も以下のように違いが出ることがあります。

% ruby-1.8 -ve '
def m() yield [] end
m {|v1,v2| p [v1,v2] }
def w() m {|*v| yield(*v) } end
w {|v1,v2| p [v1,v2] }'
ruby 1.8.4 (2006-06-08) [i686-linux]
[nil, nil]
[[], nil]

いろいろなケースを自動生成し、直接呼ぶのとラッパーを通して呼
ぶのの結果が異なるものを数えてみると、以下のようになりました。

% ~/ruby/18/ruby/ruby check.rb 
{|*v| yield(*v) }:      2332/29304      7.95795795795796%
{|v| yield(v) }:        7092/29304      24.2014742014742%
{|*v| b.call(*v) }:     4475/29304      15.2709527709528%
{|v| b.call(v) }:       14545/29304     49.6348621348621%
% ~/ruby/18/ruby/ruby -v
ruby 1.8.5 (2006-07-11) [i686-linux]

% ~/ruby/19/ruby/ruby check.rb
{|*v| yield(*v) }:      11484/43956     26.1261261261261%
{|v| yield(v) }:        18989/43956     43.2000182000182%
{|*v| b.call(*v) }:     12688/43956     28.8652288652289%
{|v| b.call(v) }:       36376/43956     82.7554827554828%
{|*v| b.yield(*v) }:    11751/43956     26.7335517335517%
{|v| b.yield(v) }:      18974/43956     43.1658931658932%
% ~/ruby/19/ruby/ruby -v      
ruby 1.9.0 (2006-07-12) [i686-linux]

最初の
{|*v| yield(*v) }:      2332/29304      7.95795795795796%
というのが一番成績が良くて、29304種類のテストのうち、結果が
異なる (ラッパーが影響してしまう) のが 2332種類しかなく、
約8% しか失敗していないということを示しています。

なお、1.8 と 1.9 でテストの数が違うのは Proc#yield の有無で
す。

で、この結果をどう考えるかですが、いままでやってこれたんだか
ら完全なラッパーなんて書けなくても構わない、と考えるか、やは
り欲しいのでどうにか、と考えるか、どうかなぁ。

ただ、1.9 の挙動はラッパーを書くという観点からは悪化していま
すね。少なくともここで生成しているテストの範囲でいえば。

block-wrapper.rb:

ARGS = %W[
  #{}
  v1
  v1,v2
  *v1
  v1,*v2
  v1,v2,*v3
]

YIELDS = %W[
  yield
  b.yield
  b.call
]
YIELDS.delete("b.yield") unless lambda{}.respond_to? :yield

VALUES = %W[
  0
  []
  [0]
  [[]]
  [[0]]
  [[[]]]
  [0,0]
  [0,[]]
  [[],0]
  [[],[]]
]

WRAPPERS = [
  "{|*v| yield(*v) }",
  "{|v| yield(v) }",
  "{|*v| b.call(*v) }",
  "{|v| b.call(v) }",
  "{|*v| b.yield(*v) }",
  "{|v| b.yield(v) }",
]
WRAPPERS.reject! {|b| /b.yield/ =~ b } unless lambda{}.respond_to? :yield

CALLEE = {}
def define_callee
  name = "t00"
  ns = []
  ARGS.each {|as|
    vars = as.scan(/v\d/)
    vars << '&b'
    YIELDS.each {|y|
      d = "def #{name}(#{vars.join(',')}) #{y}(#{as}) end"
      n = name.dup
      CALLEE[n] = d
      puts d if $VERBOSE
      eval(d)
      ns << n
      name.succ!
    }
  }
  ns
end

callee_names = define_callee

def perm(vs, n)
  if n == 0
    yield []
  else
    perm(vs, n-1) {|vv|
      vs.each {|v| yield vv + [v] }
    }
  end
end

def check_wrapper(callee_names)
  error = 0
  numtests = 0
  callee_names.each {|callee|
    arity = method(callee).arity
    perm(VALUES, arity) {|vv|
      ARGS.each {|as|
        vars = as.scan(/v\d/)
        block = "{|#{as}| r0 = [#{vars.join(',')}] }"
        block1 = block.sub(/r0/, "r1")
        block2 = block.sub(/r0/, "r2")
        code1 = <<"End".gsub(/^ */, '')
          r1 = nil; #{callee}(#{vv.join(',')}) #{block1}
          r2 = nil; wrapper(#{([":"+callee]+vv).join(',')}) #{block2}
End
        code2 = <<"End".gsub(/^ */, '')
          numtests += 1
          if r1 != r2
            error += 1
            if $VERBOSE
              puts
              puts CALLEE[#{callee.dump}]
              puts code1
              p r1
              p r2
            end
          end
End
        eval code1 + code2

        code1 = <<"End".gsub(/^ */, '')
          r1 = nil; #{callee}(#{(vv+["&lambda #{block1}"]).join(',')}) rescue r1 = $!
          r2 = nil; wrapper(#{([":"+callee]+vv+["&lambda #{block2}"]).join(',')}) rescue r2 = $!
End
        eval code1 + code2

      }
    }
  }
  [error, numtests]
end

$VERBOSE = nil if !$VERBOSE

WRAPPERS.each {|w|
  eval "def wrapper(n, *as, &b) __send__(n, *as) #{w} end"
  error, numtests = check_wrapper(callee_names)
  puts "#{w}:\t#{error}/#{numtests}\t#{error*100.0/numtests}%"
  undef wrapper
}
-- 
[田中 哲][たなか あきら][Tanaka Akira]