Python all和any函数对空列表的返回值

发表时间 ·

Python有一对内置的函数: all()和any(),他们两个都接收可遍历的对象(也就是列表list、元组tuple之类的),all检查所有元素是否全都为真,any检查至少有一个元素为真。

他们的定义是(注意后面的斜体字):

all(iterable)
Return True if all elements of the iterable are true (or if the iterable is empty).

any(iterable)
Return True if any element of the iterable is true. If the iterable is empty, return False.

从定义可以看出,如果把一个空列表传给any,会得到false的结果,这个容易理解,因为里面没有任何一个元素是真的。但是如果把一个空列表传给all,会得到True,这个似乎不能显而易见。

其实,这个问题可以这么理解:any是或运算,验证至少一个元素为真:

any(a, b, c, ..., z) 
= a + any(b, c, ..., z)
= a + b + any(c, ..., z)
= ...
= a + b + c + ... + z + any([])

为了保证等式成立,必须使any([])为False,否则any的结果永远为True
对等地,all是与运算,验证全部元素为真:

all(a, b, c, ..., z) 
= a * any(b, c, ..., z)
= a * b * any(c, ..., z)
= ...
= a * b * c * ... * z * all([])

为了保证等式成立,必须使all([])为True,否则all的结果永远为False

这在写递归函数时就很有用,可以参考Python 实现递归生成器

all函数的这种特性产生了一个后果:当检查一个序列都是真值时,必须先检查非空,不然可能会漏过空序列:

if matched and all(matched):
    # do something...

相关文章   欢迎到 留言板 写下你的看法。
  本页面内容采用 署名协议 CC-BY 授权。欢迎转载,请保留原文链接