c++ - 在递归中使用--a vs a-1

Question

这个问题在这里已经有了答案:





Undefined behavior and sequence points

(5 个回答)


去年关闭。




我试图使用这样的递归计算阶乘:

#include <iostream>

using namespace std;

int factorial(int a)
{
    if(a == 0)
    {
        return 1;
    }
    return a*factorial(--a);
}

int main()
{
    int a;
    cin >> a;

    cout << factorial(a) << endl;

    return 0;
} 

它不起作用。然后，我做了一个小改动:

#include <iostream>

using namespace std;

int factorial(int a)
{
    if(a == 0)
    {
        return 1;
    }
    return a*factorial(a-1);
}

int main()
{
    int a;
    cin >> a;

    cout << factorial(a) << endl;

    return 0;
} 

......它开始工作了!
问题是我看不出这些代码之间有任何区别:为什么它在第一个代码中不起作用？

Answer 1

在您的第一个代码示例中，以下行具有未定义的行为:

return a * factorial(--a);

这是因为 C++ 标准中没有任何内容规定 a 的“旧”还是"new"(递减)值。用于乘以 factorial 的返回值功能。
编译 clang-cl 给出以下内容:

warning : unsequenced modification and access to 'a' [-Wunsequenced]

在您的第二个代码示例中，没有这样的歧义，如 a未修改。