问递归让步时递归块扩展错误

EN

Gitter上一些乐于助人的社区成员给我指明了正确的方向，他们只是想在这里分享我的经验。答案是，你不能递归地使用yield，但是你必须使用block变量来代替(后面会有解释)。这是我最终得到的结论：

def walk(d = @root, &block : String, Array(String), Array(String) -> )
  d = Dir.new(d) if d.is_a?(String)
  dirs, files = d.children.partition { |s| Dir.exists?(File.join(d.path, s)) }
  block.call(d.path, dirs, files)
  dirs.each do |dir_name|
    walk File.join(d.path, dir_name), &block
  end
end

这里的诀窍是，您必须使用block.call，而不是使用yield关键字，并转发您的块。这实际上是文档中的already，但有点微妙。在编译过程中，如果你有一个yield，编译器会直接内联你的代码块(据我所知)。当使用block.call时，会创建一个函数，这就是我们需要键入块参数的原因。如果你不给它一个类型，block.call将会期望0个参数。要传递东西，只需输入它，就像我在这个方法签名中那样。

基于上面的解释，这就解释了为什么你不需要在block中添加一个类型，而你只需要让它正常工作。理解为什么yield和block.call之间存在性能差异也很重要，因为在一种情况下，会创建一个闭合函数，而不是内联代码的编译器。