递归函数的 tap 行为

Question

我喜欢偶尔使用 tap 作为方法的美化器 returns。但是，当使用带递归函数的 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

Returns

Name: Parent
 - Name: Child

如果我将渲染函数更改为使用 tap:

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

它returns

Name: Parent

我假设行为与第一个渲染函数相同。文档表明它 "Yields x to the block, and then returns x"...因为函数是递归的，它是否以某种方式污染了函数堆栈？

Answer 1

这除了赋值改变一个变量外，没有任何关系，变量是按值传递的。 tap 无关紧要，如果将字符串放入 any 变量中，行为是相同的。

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

考虑：

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

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

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

中的字符串

递归函数的 tap 行为

Behaviour of tap for recursive functions

ruby

recursion

combinators