ruby中的尾递归 - 这两个实现之间有什么区别？

Question

我是Ruby的新手,几天前就开始学习语言了.作为练习,我尝试实现一个简单的快速排序

class Sort
  def swap(i,j)
    @data[i], @data[j] = @data[j], @data[i]
  end

  def quicksort(lower=0, upper = @data.length - 1)
    return nil if lower >= upper
    m = lower
    i = 0
    ((lower+1)..upper).each do |i|
      swap(++m, i) if @data[i] < @data[lower]
    end

    swap(m, lower)

    quicksort1(lower, m -1)
    quicksort1(m+1, upper)
  end
end

在10000个整数上调用quicksort会给出堆栈级错误.在谷歌上搜索之后,我发现Ruby中没有支持尾递归(有点).但后来我找到了以下代码片段(从这里开始)

def qs(v)
  return v if v.nil? or v.length <= 1
  less, more = v[1..-1].partition { |i| i < v[0] }
  qs(less) + [v[0]] + qs(more)
end

即使有一百万个整数,运行第二个代码段也能很好地运行.然而,就我所知,最后有尾递归.那我在这里不明白了什么？

Answer 1

您所显示的方法都不是尾递归的(技术上,第一个是半尾递归:第二个递归调用是尾调用,但第一个不是 - 第二个方法根本不是尾递归).

第一种方法溢出堆栈的原因,但第二种方法不是第一种方法比第二种方法更深入(线性而不是对数)因为一个错误(++m只需将一元+运算符应用于m两次 - 它不会实际上做任何事情m).

当给定足够大的数组时,两个版本都会溢出(即使ruby执行TCO也会这样做),但没有错误,10000个元素就不够大了.