为什么以及如何在is_even()函数内的IF条件中递归X变量在满足0后递增?[副本]

• is_even(x) 如果满足以下条件,则为真 x 为0
• is_even(x) 是 is_odd(x-1) 否则
• is_odd(x) 是 not is_even(x)

这三条规则都是正确的,因此函数是正确的。实施基本上说 is_odd 总是可以否定 is_even 具有相同的值,而 is_even(x) 等同于 is_odd(x-1) 如果 x 严格来说是正的,如果 x 为0。

编辑

x 永不递增。实际上,你从一个值开始, x 在测试中分别为5和7,然后它在内部永远不会改变 is_odd 因此,它在那里没有增加 is_even 一 ahOdd 那就是 x-1 传递给 is_even ,因此 is_even 会变得更小 x 比一个 is_odd 尽管每个函数调用都有自己的版本 x 变量,基本上函数调用越深 x 直到它达到0。

当它达到0时,平凡的情况得到解决,然后该函数将结果返回给调用它的函数

• is_even(0)
• is_odd(0)
• is_even(1)
• 已添加(1)
• is_even(2)
• 已添加(2)
• is_even(3)
• 已添加(3)
• is_even(4)
• 已添加(4)
• is_even(5)
• 是日(5)

所以你的is_odd(5)是第一个被调用的函数,它调用了is_even(5),以此类推,然后is_even(0)将结果返回给is-odd(0)。然后is_odd(0)将结果返回给is_even(1)。

具有较大x的函数确实会调用具有较小x的函数,但一旦x为0的简单情况得到解决,具有较小x函数的结果就会返回给调用者,即具有较大x函数,因此你可能会有x增加的错觉,但实际上它并没有增加。相反,x较大的函数调用会等待x较小的函数调用被求值,一旦结果准备就绪,它就会接管该阶段并完成计算。