你真的不想去这个兔子洞,但如果你坚持,这是可能的。做一些工作。在
每次调用make_adder()时,都会为该嵌套函数重新创建新的
:>>> import dis
>>> dis.dis(make_adder)
2 0 LOAD_CLOSURE 0 (x)
3 BUILD_TUPLE 1
6 LOAD_CONST 1 (", line 2>)
9 MAKE_CLOSURE 0
12 STORE_FAST 1 (adder)
4 15 LOAD_FAST 1 (adder)
18 RETURN_VALUE
那里的MAKE_CLOSURE操作码创建了一个带有闭包的函数,一个引用父函数x的嵌套函数(LOAD_CLOSURE操作码为函数构建闭包单元)。在
如果不调用make_adder函数,则只能访问code对象;它与make_adder()函数代码一起存储为常量。adder的字节码依赖于能够将x变量作为作用域单元格来访问,这使得code对象对您几乎毫无用处:
^{pr2}$
LOAD_DEREF从闭包单元格加载值。要使代码对象再次成为函数对象,必须将其传递给函数构造函数:
>>> from types import FunctionType
>>> FunctionType(make_adder.__code__.co_consts[1], globals(),
... None, None, (5,))
Traceback (most recent call last):
File "", line 1, in
TypeError: arg 5 (closure) expected cell, found int
但是正如您所看到的,构造函数期望找到一个闭包,而不是一个整数值。为了创建一个闭包,我们需要一个有自由变量的函数;那些变量被编译器标记为可以关闭。它需要返回那些closed over值给我们,否则不可能创建闭包。因此,我们创建一个只用于创建闭包的嵌套函数:def make_closure_cell(val):
def nested():
return val
return nested.__closure__[0]
cell = make_closure_cell(5)
现在我们可以在不调用make_adder的情况下重新创建adder():
>>> adder = FunctionType(make_adder.__code__.co_consts[1], globals(),
... None, None, (cell,))
>>> adder(10)
15
也许仅仅调用make_adder()会更简单。在
顺便说一句,如您所见,函数是Python中的一类对象。make_adder是一个对象,通过添加(somearguments),您可以调用函数。在本例中,该函数返回另一个函数对象,您也可以调用它。在上面关于如何在不调用make_adder()的情况下创建adder()的复杂示例中,我引用了make_adder函数对象,而没有调用它;例如,为了分解附加到它的Python字节码,或者从中检索常量或闭包。以同样的方式,make_adder()函数返回adder函数对象;make_adder()的点是为了创建该函数,以便其他对象稍后调用它。在
上面的会话是考虑到Python2和3之间的兼容性进行的。旧的python2版本的工作方式是相同的,尽管有些细节略有不同;有些属性有不同的名称,例如func_code而不是{}。如果你想知道细节的话,可以在^{} module和Python datamodel中查找这些文档。在