与空列表进行比较时使用“==”运算符是否错误？

Question

PyCharm (4.0.6) 在我使用 == 运算符与空列表进行比较时会报错，但在我使用 is 运算符时却不会：

我想这与 PEP 8 有关，但问题是当我使用 is 运算符时，正如 PyCharm 所暗示的那样，我有一个假阴性。这是 iPython shell 中的一个简单示例，表明在这种情况下 == 运算符似乎更合适，因为 is 运算符 returns 是假阴性：

In[2]: actions = []
In[3]: actions == []
Out[3]: True
In[4]: actions is []
Out[4]: False

有人可以解释为什么 PyCharm 在与空列表进行比较时抱怨 == 运算符吗？根据 PEP 8，我做错了什么吗？

Answer 1

引用 PEP-8's Programming Recommendations 部分，

For sequences, (strings, lists, tuples), use the fact that empty sequences are false.
Yes: if not seq:
     if seq:

No: if len(seq)
    if not len(seq)

因为空序列在 Python 中是 Falsy，

>>> bool([])
False
>>> bool(())
False

您可以简单地使用 PEP-8 中提到的 if not。

注意： 永远不要使用 is 来比较两个值是否相等，因为 is 运算符检查两个对象是否相同, 但 == 检查两个对象是否相等。

我深入研究了源代码以了解发生了什么。当我们做 a == [],

>>> dis(compile('if a == []: pass', "string", "exec"))
  1           0 LOAD_NAME                0 (a)
              3 BUILD_LIST               0
              6 COMPARE_OP               2 (==)
              9 POP_JUMP_IF_FALSE       15
             12 JUMP_FORWARD             0 (to 15)
        >>   15 LOAD_CONST               0 (None)
             18 RETURN_VALUE

我们正在构建一个新列表，这将是一个非常昂贵的操作，仅供比较。另一方面

>>> dis(compile('if not a: pass', "string", "exec"))
  1           0 LOAD_NAME                0 (a)
              3 POP_JUMP_IF_TRUE         9
              6 JUMP_FORWARD             0 (to 9)
        >>    9 LOAD_CONST               0 (None)
             12 RETURN_VALUE

我们正在尝试查看当前序列是否为 Truthy。这在内部检查序列的长度是否为零（这只是一个简单的查找，因为列表的长度保存在一个变量中）。如果长度为零，则 if not actions: 将为 Truthy。这里我们没有构造一个新的列表，只是隐式地检查长度，而不是显式地做

if len(actions) == 0:

所以，我猜测 Python 专家建议 if not seq 因为这也可能带来性能优势。

Answer 2

根据 PEP8 文档，您应该使用

For sequences, (strings, lists, tuples), use the fact that empty sequences are false.

Yes: if not seq:
     if seq:

No: if len(seq)
    if not len(seq)

与空列表进行比较时使用“==”运算符是否错误？

Is it wrong to use the "==" operator when comparing to an empty list?

python

list

pycharm

pep8