这不是尾递归吗？ （堆栈溢出错误）

Question

这是我编写的一个小函数，用于检查整数是否为质数：

int prime(int x, int y = 2)
{
    if(y <= x/2)
    {
        if((x % y) == 0)
            return 0;
    }
    else
        return 1;

    return prime(x, ++y);
}

现在，我使用Visual Studio 2012对其进行编译，如果我给它一个较大的值（如105943），则会发生堆栈溢出错误，并且代码会中断。 现在，此函数不是尾递归吗？ 如果是这样，则不应为递归调用维护堆栈，并且不应发生溢出？

我到底要来什么？

Answer 1

它是一个尾递归函数，但不需要任何编译器将尾递归优化为循环。 如果您将优化级别设置得足够高，则很有可能会这样做。 但是，仅此而已。

LISP（和派生语言）是我所知道的仅有尾递归实际上是实现要求的地方。