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

Python有一对内置的函数: all()和any()，他们两个都接收可遍历的对象（iterable, 也就是列表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是“或”运算，验证至少一个元素为真，如果对a到z 26个变量做“或”运算，下列等式应该成立，+号表示或：

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的陷阱

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

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

原文链接：http://www.lfhacks.com/tech/python-all-any-empty-list