为什么空列表中的任何一个都返回不同的东西？

Question

在Data Science from Scratch由Joel越冬2章中，提供了以下的例子：

all([ ]) # True, no falsy elements in the list 

any([ ]) # False, no truthy elements in the list 

根据越冬，Python的治疗[]（一个空列表），为 “falsey” 的说法。那么，为什么我们会根据all()还是any()参数应用于空列表来获得不同的结果？

Answer 1

每the documentation of all：

all(iterable)

返回True如果迭代的所有元素都是真（或者如果可迭代为空）。

而且documentation for any：

any(iterable)

返回True如果迭代的任何元素是真实的。 如果迭代为空，则返回False。

空迭代[]是falsey，但不要紧作为返回值是刚刚实施。

---

如果你想知道为什么出现这种情况，它只是一个执行的结果。如果你看的等同的代码为all从文档：

def all(iterable): 
    for element in iterable: 
     if not element: 
      return False 
    return True 

因为这种具体实施中，如果迭代是空的，for循环将完全因为没有元素被跳过。因此，它返回True。对于any，文档提供了等效代码：

def any(iterable): 
    for element in iterable: 
     if element: 
      return True 
    return False 

它一个空迭代返回False的原因是一样的道理all返回True。由于列表中没有元素，因此for循环会跳过并返回False。

该实现确实有推理，因为空设置逻辑使all返回true，请参阅this Math.SE post和this SO answer。 all可以被认为是“有和元素一样多的真实元素”。由于空集没有真实元素和没有元素，因此它返回true，因为0等于0. any可以被认为是“至少有一个...”，并且由于该集是空的，因此没有至少一个甚至不是一个元素。因此all为空集返回true，any为空集返回false。

Answer 2

这个定义背后的逻辑推理如下：

any是关系到存在量词而all是关系到全称量词，并遵循他们的逻辑规范。

翻译any为存在至少一个：的[]的至少一种元素评估为真< - NO。

请参阅https://math.stackexchange.com/questions/281735/quantification-over-the-empty-set或https://math.stackexchange.com/questions/202452/why-is-predicate-all-as-in-allset-true-if-the-set-is-empty -