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...

如果您对本站内容有疑问或者寻求合作，欢迎 联系邮箱 。邮箱已到剪贴板