爲什麼空列表中的任何一個都返回不同的東西？

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 -