为什么内置于“ all”函数中的Python对于空的可迭代对象返回True？

Question

我知道这有充分的理由，但我想知道是什么原因？

>>> print all([])
True

如果all（）用于检查iterable上的每个项目是否均评估为“ True”，并且我们知道空列表的评估结果为False

>>> bool([])
False

那么，为什么all（）对于空列表返回True？

<编辑>

我已经阅读了文档，并且知道实现

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

但是问题是为什么不呢？

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

这有逻辑吗？如果您有已完成任务的列表

today_todo_status = [task.status for task in my_todo if task.date == today]
can_i_go_home = all(today_todo_status)

好的，在上面的 假设 示例中，如果我没有任务，那真的很有意义，所以我可以回家了。

但是还有其他情况，我不认为all（）是为待办事项清单制作的。

Answer 1

这表示为“对于S中的所有X，X为真”。如果S为空，则没有X。但是，真值声明仍然为True，因为对于所有X来说，X都是真实的……根本就没有X！

这是使用逻辑的解释。

考虑两个集合A和B，其中A + B是两个集合的并集。

如果any（A + B）= True-> any（A）或any（B）= True，但是我们不能断言any（A）= True或any（B）= True。

如果any（A + B）= False-> any（A）= False和any（B）= False。

如果all（A + B）= True-> all（A）= True和all（B）= True

如果all（A + B）= False-> all（A）= False或all（B）= False，但是我们不能断言all（A）=
False或all（B）= False。

现在代替B，让我们将空集0添加到A。我们想提出逻辑，使得添加空集不会更改all（）或any（）的值，因为A + 0 = A。

任何（A + 0）=任何（A）或任何（0）

any（0）必须为False，因此，如果any（A）为True，则any（A + 0）为True，如果any（A）为False，则any（A +
0）为False。

全部（A + 0）=全部（A）和全部（0）

如果all（A）为True，则all（A + 0）为True。因此，all（0）为True。