Python：any/ all中的惰性函数求值

如何解决Python：any/ all中的惰性函数求值

Python中的逻辑运算符是惰性的。具有以下定义：

def func(s):
    print(s)
    return True

调用or运算符

>>> func('s') or func('t')
's'

仅求值第一个函数调用，因为or认识到表达式求值为 True，与第二个函数调用的返回值无关。 and的行为类似。

但是，通过以下方式使用any()（类似地：all()）时：

>>> any([func('s'),func('t')])
's'
't'

将评估所有函数调用，因为首先构造内部列表，然后any开始对其项的布尔值进行迭代。当我们省略列表构造并只写

时，也会发生同样的情况

>>> any(func('s'),func('t'))
's'
't'

这样，我们就失去了any被短路的能力，这意味着一旦迭代对象的第一个元素消失，它就会中断。如果函数调用的开销很大，那么预先评估所有函数将是巨大的损失，并且浪费了any的这种能力。从某种意义上讲，这可以称为Python陷阱，因为对于试图利用any的功能的用户而言，这可能是出乎意料的，并且因为any通常被认为是链接or条语句的顺序。但是any只是短路，而不是 lazy ，这是有区别的。

any is accepting an iterable。因此，应该有一种创建迭代器的方法，该迭代器不预先评估其元素，而是将未经评估的元素传递给any并仅让它们在any内部进行评估，以实现完全惰性的评估

因此，问题是：如何将any用于真正的惰性函数评估？这意味着：如何在不预先评估所有函数调用的情况下，使any可以使用的函数调用迭代器？

解决方法

我们可以使用generator expression，分别传递函数及其参数，并仅在生成器中进行计算，如下所示：

>>> any(func(arg) for arg in ('s','t'))
's'

对于具有不同签名的不同功能，它可能类似于以下内容：

any(
    f(*args)
    for f,args in [(func1,('s',)),(func2,(1,'t'))]
)

这样，any将在生成器中的一个函数调用求值为next()时立即停止调用生成器中的True元素，这意味着该函数求值已完全懒。

wjandrea在评论中提到了另一种推迟函数求值的简洁方法：我们也可以使用lambda expressions，就像这样：

>>> any(f() for f in [lambda: func('s'),lambda: func('t')]
's'