闭包如何将上下文变量查看到堆栈中？

Question

我想了解调用b()推送的堆栈帧如何访问 a a() ) 推送的堆栈帧中的x值。

是否有从b()帧到a()帧的指针？ 或者运行时是否将x的值复制为b()框架中的局部变量？ 还是引擎盖下有另一种机制？

这个例子在python，但是有没有一个通用的机制来解决这个问题，或者不同的语言使用不同的机制？

>>> def a():
...     x = 5
...     def b():
...         return x + 2
...     return b()
... 
>>> a()
7

Answer 1

在 CPython（大多数人使用的实现）中， b本身包含对值的引用。 考虑对您的 function 进行此修改：

def a():
    x = 5
    def b():
        return x + 2

    # b.__closure__[0] corresponds to x
    print(b.__closure__[0].cell_contents)
    x = 9
    print(b.__closure__[0].cell_contents)

当您调用a时，请注意单元格内容的值随局部变量x的变化而变化。

__closure__属性是cell对象的元组，每个变量一个b关闭。 cell object 基本上有一个有趣的属性cell_contents ，它的作用类似于对其所代表的变量的引用。 （您甚至可以分配给cell_contents属性来更改变量的值，但我无法想象什么时候这是个好主意。）