c-尾递归未发生

我在C项目中使用g(Ubuntu 4.8.2-19ubuntu1)4.8.2.我写了一个函数来做到这一点：

template<typename T, T (*funct)(int) >
multiset<T> Foo(const multiset<T>& bar, int iterations) {
    if (iterations == 0) return bar; 
    multiset<T> copy_bar(bar); 

    T baz = funct(copy_bar.size());

    if (baz.attr > 0)
        return Foo<T,funct>(copy_bar, 100);
    else 
        return Foo<T,funct>(bar, iterations - 1);    
}

我遇到了bad_alloc()异常,因此我用gdb测试了该函数,结果没有发生尾部递归,这是我期望的,因为返回后没有语句.

注意：我尝试使用-O2编译标志,但是没有用

解决方法:

您的函数不是尾递归的,因为在递归调用之后还有很多工作要做：销毁copy_bar(具有非平凡的析构函数),也可能破坏baz(如果类型T也具有非平凡的析构函数).

标签：c,recursion,g,tail-recursion
来源： https://codeday.me/bug/20191012/1898942.html