这个递归函数是如何自动转换为迭代函数的呢？

Question

我正在阅读如下尾递归

尾递归是指在最后一行进行递归调用。尾巴 递归可以通过将主体封闭在一个 while 循环并 用一个赋值替换递归调用 函数参数。

例如

void print(Iterator start, Iterator end, ostream& out=cout) {
  if(start == end)
      return;
  out << *start++ << endl;
  print(start, end, out);
}

通过上述规范转换为迭代为

void print(Iterator start, Iterator end, ostream& out=cout) {
   while(true) {
      if(start == end)
          return;
      out << *start++ << endl;
    }
}

在上面的段落中提到“用每个函数参数一个赋值替换递归调用，但在给定的示例中我们没有任何赋值？

谁能解释并举例说明如何将递归转换为迭代函数？

Answer 1

赋值隐藏在自增运算符中：

start++;

实际上是一个赋值：

start = start+1;

其实这个例子（第一部分）不是很好。

out << *start++ << endl;
print(start, end, out);

应该是

out << *start << endl;
print( start+1, end, out);

Answer 2

我不认为，您所指的任何段落都很重要；只关注主要问题，您希望将递归函数转换为普通迭代函数，这可以（毫不费力地）完成，

void print(Iterator start, Iterator end, ostream& out=cout) {
   while(start != end) {
      out << *start++ << endl;
    }
}

Answer 3

它在 C++ 中隐藏了一点，但start++ 正在为循环中的每个时间分配一个新值。

Answer 4

他们在谈论的是，您将尾部函数调用的参数分配给此函数调用的参数变量，但在这种情况下，它不是必需的，因为您使用完全相同的参数调用函数 (因为就像其他人说的，第一个参数start的变化发生在函数调用之前）。

其实，如果做的准确，迭代函数应该是这样的

void print(Iterator start, Iterator end, ostream& out=cout) {
    while(true) {
        if(start == end)
            return;
        out << *start++ << endl;

        start = start;
        end = end;
        out = out;
    }
}

但这些分配完全没有必要，即使在预期上是正确的。

Answer 5

递归到迭代的一般转换如下所示。

原码：

void print(Iterator start, Iterator end, ostream& out=cout) {
  if(start == end)
      return;
  out << *start++ << endl;
  print(start, end, out);
}

转换后的代码：

void print(Iterator start, Iterator end, ostream& out=cout) {
  while(true) {
     if(start == end)
        return;
     out << *start << endl;

     // One assignment per function argument for 'general' tail recursion
     start = start + 1;       // (1)
     end = end;               // (2)
     out = out;               // (3)
  }
}

包括解释中的三个作业。赋值 (1) 嵌入在 start++ 中，赋值 (2) 和 (3) 被优化掉。