递归函数的点击行为

Question

我喜欢偶尔使用 tap 作为方法返回的美化器。但是，当使用带有递归函数的 tap 时，它的行为与我的预期不同：

class Node
  attr_accessor :name, :children

  def initialize(name); self.name, self.children = name, []; end

  def render
    res = "Name: #{name}\n"
    children.each do |child|
      res += " - " + child.render + "\n"
    end
    res
  end
end

parent = Node.new('Parent')
parent.children = [Node.new('Child')]
puts parent.render

返回

Name: Parent
 - Name: Child

如果我将渲染功能更改为使用点击：

  def render
    "Name: #{name}\n".tap do |res|
      children.each do |child|
        res += " - " + child.render + "\n"
      end
    end
  end

返回

Name: Parent

我会假设行为与第一个渲染函数相同。文档指出它“向块生成 x，然后返回 x”......因为函数正在递归，它是否会以某种方式污染函数堆栈？

Answer 1

这与任何事情无关，只是赋值改变了一个变量，而变量是按值传递的。 tap 无关紧要，如果将字符串放入 any 变量，则行为相同。

在您的情况下，您将字符串文字传递给 proc，该 proc 接收一个名为 res 的变量，其中包含该字符串的副本。然后，您正在修改该变量，不是原始字符串本身。

考虑：

def test(res)
  res += "bar"
end

x = "foo"
test(x)
puts x # outputs "foo", not "foobar"

您的第一个示例有效的原因是您将字符串res 中的值替换 为一个新值。您实际上并未将数据附加到存储在res 中的字符串。