instance_eval 的块参数 - 已记录？目的？

刚刚意识到instance_eval yields self作为关联块的参数（1.9.2 版本中的错误除外：http://www.ruby-forum.com/topic/189422)

1.9.3p194 :003 > class C;end
1.9.3p194 :004 > C.new.instance_eval {|*a| a}
 => [#<C:0x00000001f99dd0>] 
1.9.3p194 :005 > 

这是在某处记录/指定的吗？看着ruby-doc:BasicObject，看不到任何提到的块参数。

当它自身总是被定义时，除了一些纯粹的历史原因之外，是否有理由明确地传递它？

我受到这个打击的方式是：

l = lambda {  }
myobj.instance_eval(&l)  # barks

这在 1.8.x 中工作得很好（我猜是因为块数量没有强制执行）。

然后升级到 1.9.2 - 它仍然有效！这是一个奇怪的巧合，因为即使 lambda 块参数是严格执行的（因此它会抱怨没有声明 self 的参数），但是由于上面链接的错误 - self 实际上没有在这个版本中传递。

然后升级到 1.9.3，该错误得到修复，因此它开始抛出参数错误 - 对于较小的版本更改恕我直言，这非常令人惊讶。

因此，一种解决方法是声明参数，或者将 lambda 改为块：

 l = proc {  }
  myobj.instance_eval(&l) # fine

只是想描述完整的故事，以帮助其他人避免像我一样浪费时间 - 直到这被正确记录。

阅读Ruby的源代码，我可以解释的是：

instance_eval正在执行这个：

return specific_eval(argc, argv, klass, self)

依次运行：

 if (rb_block_given_p()) {
     if (argc > 0) {
         rb_raise(rb_eArgError, "wrong number of arguments (%d for 0)", argc);
     }
     return yield_under(klass, self, Qundef);
 }

你可以看到他们通过Qundef对于 VALUES 参数。

if (values == Qundef) {
    return vm_yield_with_cref(th, 1, &self, cref);
}

在该特定代码行中，他们手动将 argc（参数计数）设置为 1，并将参数设置为“self”。稍后，准备块的代码将块的参数设置为这些参数，因此第一个参数 =“self”，其余参数为零。

设置块参数的代码正在执行以下操作：

   arg0 = argv[0];

   ... bunch of code ...

     else {
         argv[0] = arg0;
     }

     for (i=argc; i<m; i++) {
         argv[i] = Qnil;
     }

导致：

1.9.3p194 :006 > instance_eval do |x, y, z, a, b, c, d| x.class end
 => Object 
1.9.3p194 :008 > instance_eval do |x, y, z, a, b, c, d| y.class end
 => NilClass 

为什么 ？我不知道，但代码似乎是故意的。很高兴向实施者提出问题，看看他们对此有何评论。

[Edit]

这可能是这样的，因为您传递给 instance_eval 的块可能会或可能不会为其制作（代码取决于将 self 设置为您想要块修改的类），相反，它们可能会假设您将向它们传递您希望它们作为参数进行修改的实例，这样它们也可以与 instance_eval 一起使用。

irb(main):001:0> blk = Proc.new do |x| x.class end
#<Proc:0x007fd2018447b8@(irb):1>
irb(main):002:0> blk.call
NilClass
irb(main):003:0> instance_eval &blk
Object

当然这只是一个理论，没有官方文档我只能猜测。