我有这个Python 3伪代码:
def f1():
a, b, c, d, e, f = some_other_fn()
if (condition):
f2(a, b, c, d, e, f)
def f2(a, b, c, d, e, f):
complex_set_of_operations_with(a, b, c, d, e, f)
for i in range(1000):
f(1)
现在,我对f2()
中的长签名和重复感到有点恼火,并希望将其封装到f1()
def f1():
def f2():
complex_set_of_operations_with(a, b, c, d, e, f)
a, b, c, d, e, f = some_other_fn()
if (condition):
f2()
for i in range(1000):
f(1)
现在,我的问题是:如果我运行f1()
一千次,解释器是否必须解析f2()
一千次,或者它是否足够聪明以创建可重用的引用?
让我们来看看(使用我手头的Python 3.5(。我们将使用 dis 模块来反汇编函数并检查其字节码:
>>> def f1():
... def f2():
... complex_set_of_operations_with(a, b, c, d, e, f)
... a, b, c, d, e, f = some_other_fn()
... if (condition):
... f2()
...
>>> import dis
>>> dis.dis(f1)
2 0 LOAD_CLOSURE 0 (a)
3 LOAD_CLOSURE 1 (b)
6 LOAD_CLOSURE 2 (c)
9 LOAD_CLOSURE 3 (d)
12 LOAD_CLOSURE 4 (e)
15 LOAD_CLOSURE 5 (f)
18 BUILD_TUPLE 6
21 LOAD_CONST 1 (<code object f2 at 0x7f5d58589e40, file "<stdin>", line 2>)
24 LOAD_CONST 2 ('f1.<locals>.f2')
27 MAKE_CLOSURE 0
30 STORE_FAST 0 (f2)
... # the rest is omitted for brevity
在运行时,Python 解释器逐个解释这些原始字节码指令。文档中对这些说明进行了说明。
正如上面例子中的最后四条指令所表明的那样,Python确实每次都构建内部函数(并将其存储在名称f2
下(,但它似乎通过加载f2
(21 LOAD_CONST
(行的预编译常量代码对象来有效地做到这一点,即它不会一遍又一遍地编译f2
的主体。
Python 求值是懒惰的。只有在实际需要时才对其进行评估。
https://swizec.com/blog/python-and-lazy-evaluation/swizec/5148
懒惰的评估蟒蛇