对象的尾递归

Question

我有一个递归函数，我想让它成为尾递归的。我的实际问题更复杂且取决于上下文。但我想解决的问题是用这个简单的程序演示的：

#include <iostream>

struct obj
{
    int n;

    operator int&() { return n; }
};

int tail(obj n)
{
    return tail(obj{ n + 1 > 1000 ? n - 1000 : n + 1 });
}

int main()
{
    tail(obj{ 1 });
}

这似乎是尾递归的。但是，这不是因为obj n 的析构函数每次都必须被调用。至少 MSVC13（编辑：）和 MSVC15 没有对此进行优化。如果我用 int 替换 obj 并相应地更改调用，它就会变成预期的尾递归。

我的实际问题是：除了将obj 替换为int 之外，还有一种简单的方法可以使这个尾递归吗？我的目标是提高性能，因此使用堆分配内存和new 很可能没有帮助。

Answer 1

简短回答：不。

更长的答案：您可能会找到一种方法来实现这一点，但肯定不容易。 由于标准不要求尾调用优化，因此您永远无法确定对程序的一些细微更改是否会导致编译器无法优化代码。

更糟糕的是，考虑一下当您需要调试程序时会发生什么。编译器几乎肯定不会使用调试器标志优化高级尾​​调用，这意味着您的程序只能在发布模式下正常工作。这将使程序更难维护。

尾递归的替代方案 只写一个循环。它总是可以完成的，而且很可能不会那么复杂。它也不使用堆，因此开销会小得多。

Answer 2

由于您使用临时对象，我假设您在递归调用之后不需要该对象。

一个相当老套的解决方案是分配一个对象，传递一个指向它的指针，然后在进行递归调用之前重新分配它，你将新构造的对象传递给它。

struct obj
{
    int n;

    operator int&() { return n; }
};

int tail_impl(obj*& n)
{
    int n1 = *n + 1 > 1000 ? *n - 1000 : *n + 1;
    delete n;
    n = new obj{n1};
    return tail_impl(n);
}

int tail(obj n)
{
  obj *n1 = new obj{n};
  auto ret = tail_impl(n1);
  delete n1;
  return ret;
}

int main()
{
    tail(obj{ 1 });
}

我显然省略了一些关键的异常安全细节。不过GCC is able to turn tail_impl into a loop，因为确实是尾递归。