为什么在 Python 中隐式检查是否为空？

Question

Python 的禅宗说显式优于隐式。

然而，检查集合 c 是否为空的 Pythonic 方法是：

if not c:
    # ...

检查集合是否不为空的方法如下：

if c:
    # ...

对于任何可能具有“零”或“空”的内容（元组、整数、字符串、无等），

同上这样做的目的是什么？如果我不这样做，我的代码会出现更多错误吗？或者它是否支持更多用例（即：某种多态性），因为人们可以覆盖这些布尔强制？

Answer 1

这种最佳实践并非没有道理。

在测试 if object: 时，您基本上是在调用对象的 __bool__ 方法，该方法可以根据对象行为进行重写和实现。

例如，集合上的 __bool__ 方法（Python 2 中的 __nonzero__）将根据集合是否为空返回一个布尔值。

（参考：http://docs.python.org/reference/datamodel.html< /a>)

Answer 2

可能被第一条和第三条打败：

• 美丽比丑陋好。
• 简单总比复杂好。

Answer 3

“简单总比复杂好。”

“可读性很重要。”

以 if users 为例 - 它比 if len(users) == 0 更具可读性

Answer 4

if c:
    # ...

是明确的。 “if”明确指出后面的表达式将在布尔上下文中计算。

公平地说，这样

if c == 0:
    # ...

更清晰，编程新手可能会同意。

但对于一个有经验的程序员（至少是这个）来说，后者并不清晰，它是多余的。由于“if”，我已经知道 c 将与 0 进行比较；我不需要被告知两次。

Answer 5

隐式布尔多态性是许多语言的一部分。事实上，这个习语

if msg:
    print str(len(msg)) + ' char message: ' + msg

可以说来自 c!

void print_msg(char * msg) {
    if (msg) {
        printf("%d char message: %s", (int) strlen(msg), msg);
    }
}

未分配的指针应包含 NULL，它可以方便地计算为 false，从而使我们能够避免分段错误。

这是一个非常基本的概念，以至于Python很难拒绝它。事实上，考虑到 c 中可用的布尔多态性相当笨拙的版本，很明显（至少对我来说）Python 通过允许任何类型具有可定制的，使得这种行为更加明确。 - 通过 __nonzero__ 定义布尔转换。

Answer 6

如果您愿意，可以输入 if len(lst) > 0，但这有什么意义呢？ Python 确实使用一些约定，其中之一是空容器被认为是错误的。

您可以使用 object.__nonzero__(self)：

调用以实现真值
测试和内置操作
bool();应返回 False 或 True，
或其整数等值 0 或 1。
当这个方法没有定义时，
如果是，则调用 __len__()
定义，并且该对象被认为
如果其结果非零，则为 true。如果一个
类既不定义 __len__() 也不定义
__nonzero__()，它的所有实例都是
被认为是正确的。

Answer 7

其他人已经指出，这是传统的逻辑延伸（至少早在 C 语言中，也许更早），即布尔上下文中零为假，非零为真。其他人也已经注意到，在 Python 中，您可以通过自定义魔术方法等实现一些特殊效果。 （这确实直接回答了您的问题“它是否支持更多用例？”）其他人已经注意到，经验丰富的 Python 程序员将学习此约定并习惯该约定，因此这对他们来说是非常明显和明确的。

但老实说，如果您不喜欢这个惯例，并且您只是为了自己的乐趣和利益而编程，那么不要遵循它。明确、清晰、冗余比混淆要好得多，而且事实上，犯冗余总是比混淆要好。

也就是说，归根结底，这并不是一个很难学习的约定，如果您作为小组项目的一部分进行编码，那么最好遵守项目的约定，即使您不同意它们。

Answer 8

空列表的计算结果为 False 和非空列表的计算结果为 True 是 Python 的核心约定，它足够明确。如果 if 语句的上下文甚至传达了 c 是一个列表的事实，那么 len(c) == 0 也不会更明确。

我认为len(c) == 0只有当你真的想检查长度而不是魔术零或空时才更明确，因为他们的评估可能与长度检查不同。