python函数参数评估模型

Question

我正在看 Peter Norvig 网站上的一篇文章，他试图回答以下问题（顺便说一句，这不是我的问题） “我可以在 Python 中执行相当于（测试？结果：替代）的操作吗？”

这是他列出的选项之一，

def if_(test, result, alternative=None):
    "If test is true, 'do' result, else alternative. 'Do' means call if callable."
    if test:
        if callable(result): result = result()
        return result
    else:
        if callable(alternative): alternative = alternative()
        return alternative

这是一个用法示例。

>>> fact = lambda n: if_(n <= 1, 1, lambda: n * fact(n-1))
>>> fact(6)
720

我理解这是如何工作的（我认为），但我只是在玩代码，并决定看看当我将上面“事实”定义中的第三个参数更改为时会发生什么 n *fact(n-1)，即改为不可调用的表达式。运行它时，解释器进入永无止境的循环。我很清楚为什么会发生这种情况，也就是说， if_ 函数返回的表达式与它接收到的表达式相同。但该表达式的类型是什么？这里究竟发生了什么？我不是在寻找详细的解释，而是在寻找一些对 python 评估模型的指导，这可能有助于我的理解。

谢谢！

Answer 1

当您将 fact 更改为 n *fact(n-1) 时循环永远不会终止的原因是 n *fact(n-1)必须首先评估（作为 if 的第三个参数）。评估它会导致再次调用 fact，无限循环（因为不再有任何基本情况来阻止它）。

以前，您传递的是一个函数对象 (lambda)，该对象在 if 主体之前不会被求值，并且其结果将通过 test.

（我相信）这被称为急切求值，其中函数参数在传递给函数之前先求值。在惰性求值方案中，参数只有在函数体中使用时才会被求值。