为什么这个递归不是无限的？

Question

我和我的朋友正在做一些基本的 Ruby 练习来感受这门语言，我们遇到了一个我们尚无法理解的有趣行为。基本上，我们正在创建一种tree数据类型，其中只有一个类node，它只包含一个值和一个由零个或多个节点组成的数组代码>.我们正在使用 rspec 的 autospec 测试运行程序。在某一时刻，我们开始编写测试来禁止无限递归（循环树结构）。

这是我们的测试：

it "breaks on a circular reference, which we will fix later" do
  tree1 = Node.new 1
  tree2 = Node.new 1
  tree2.add_child tree1
  tree1.add_child tree2
  (tree1 == tree2).should be_false
end

这是 Node 类：

class Node
  attr_accessor :value
  attr_reader :nodes

  def initialize initial_value = nil
    @value = initial_value
    @nodes = []
  end

  def add_child child
    @nodes.push child
    @nodes.sort! { |node1, node2| node1.value <=> node2.value }
  end

  def == node
    return (@value == node.value) && (@nodes == node.nodes)
  end
end

我们期望测试的最后一行会导致无限递归，直到堆栈溢出，因为它应该不断地相互比较子节点，并且永远不会找到叶节点。 （我们的印象是，数组上的 == 运算符将迭代该数组，并基于 RubyDoc 的数组页面。）但是如果我们将 puts 放入== 方法来查看它的调用频率，我们发现它被调用了 3 次，然后测试就通过了。

我们缺少什么？

编辑：请注意，如果我们将测试中的 be_false 替换为 be_true，则测试将失败。所以它肯定认为数组不相等，它只是不对它们进行递归（除了对 == 的三个不同调用）。

Answer 1

如果单击链接到的 RubyDoc 的方法名称，您将看到 Array#== 方法的源代码（C 语言）：

{
    // [...]
    if (RARRAY(ary1)->len != RARRAY(ary2)->len) return Qfalse;
    if (rb_inspecting_p(ary1)) return Qfalse;
    return rb_protect_inspect(recursive_equal, ary1, ary2);
}

此实现（特别是“recursive_equal”）建议 < code>Array#== 已经实现了您想要的无限递归保护。