为什么在 CPython 中 `len(l) != 0` 比 `bool(l)` 快？

Question

我正在对列表中的操作速度进行一些实验。为此，我定义了两个列表：l_short = [] 和 l_long = list(range(10**7))。

这个想法是将bool(l)与len(l) != 0进行比较

在if 竞赛中，以下实现要快很多if l: pass 而不是if len(l) != 0: pass

但没有 if 比赛我得到了以下结果：

%%timeit
len(l_long) != 0
# 59.8 ns ± 0.358 ns per loop (mean ± std. dev. of 7 runs, 10000000 loops each)

%%timeit
bool(l_long)
# 63.3 ns ± 0.192 ns per loop (mean ± std. dev. of 7 runs, 10000000 loops each)

bool的时间稍长，为什么呢？

这是使用 dis 的字节码（仅供参考）

dis("len(l_long) != 0")
"""
  1           0 LOAD_NAME                0 (len)
              2 LOAD_NAME                1 (l_long)
              4 CALL_FUNCTION            1
              6 LOAD_CONST               0 (0)
              8 COMPARE_OP               3 (!=)
             10 RETURN_VALUE
"""

dis("bool(l_long)")
"""
  1           0 LOAD_NAME                0 (bool)
              2 LOAD_NAME                1 (l_long)
              4 CALL_FUNCTION            1
              6 RETURN_VALUE
"""

Answer 1

bool(l_long)首先尝试调用l_long.__bool_()；但是，list.__bool__ 没有定义。下一步是致电l_long.__len__() != 0。

另一方面，len(l_long) != 0 直接转到l_long.__len__()

您看到的时间差本质上是在调用l_long.__len__ 之前捕获l_long.__bool__ 引发的AttributeError 所需的时间。