首页 > 解决方案 > 为什么“not”运算符比 python 中的常规条件更快?

问题描述

我正在阅读一篇关于列表推导的文章,它提到列表推导比常规和嵌套的 for 循环更快。在阅读那篇文章时,它提到了这个声明

  if expression % 2 == 0:

慢于

  if not expression % 2:

任何人都可以解释这背后的原因吗?即使我正在解决树木问题,并且在递归中我使用的不是根类型的参数。因此,如果有人可以提供帮助,将不胜感激。

文章链接:https : //switowski.com/blog/for-loop-vs-list-comprehension 这里是简短的实现,感谢@Ted

>>> MILLION_NUMBERS = list(range(1_000_000))
>>> def for_loop():
...     output = []
...     for element in MILLION_NUMBERS:
...         if not element % 2:
...             output.append(element)
...     return output
... 
>>> def for_loop2():
...     output = []
...     for element in MILLION_NUMBERS:
...         if element % 2 == 0:
...             output.append(element)
...     return output
... 
>>> timeit.timeit(stmt=for_loop, number=100)
6.254316797000001
>>> timeit.timeit(stmt=for_loop2, number=100)
7.362754617999997

提前致谢。

标签: pythonpython-3.x

解决方案


如果您在这两种情况下都使用反汇编程序,您会发现:

如果表达式 % 2 == 0:


  2           0 LOAD_FAST                0 (x)
              2 LOAD_CONST               1 (2)
              4 BINARY_MODULO
              6 LOAD_CONST               2 (0)
              8 COMPARE_OP               2 (==)
             10 POP_JUMP_IF_FALSE       20

如果不是表达式 % 2:

2           0 LOAD_FAST                0 (x)
              2 LOAD_CONST               1 (2)
              4 BINARY_MODULO
              6 POP_JUMP_IF_TRUE        16

上面的示例必须再执行两次操作才能确定该值是否为零。这可能是本书作者所说的基础。实际上,这几乎没有任何区别,并且在 python 的实现中可能会有很大的不同。您也可以使用timeit模块来计时!

>>> timeit.timeit('5 % 2 == 0', number=10**7)
0.47088638799323235
>>> timeit.timeit('not 5 % 2', number=10**7)
0.1560280679987045

这会告诉你第二个比第一个快近 3 倍。


推荐阅读