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

Python 有一对内置的函数: all() 和 any()，他们两个都接收可遍历的对象（也就是列表list、元组tuple之类的），all检查所有元素是否全都为真，any检查至少有一个元素为真。本文简单分析它们的用法。

Python 文档中，他们的定义分别是(注意后面的斜体字)：

从定义可以看出，如果把一个空列表传给 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...

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

精彩评论