c++ - 这个递归函数是如何自动转化为迭代函数的呢？

Question

我正在阅读下面的尾递归

Tail recursion refers to a recursive call at the last line. Tail recursion can be mechanically eliminated by enclosing the body in a while loop and replacing the recursive call with one assignment per function argument.

例如

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);