这种时候怎么实现？我只能觉得用类模拟指针了……

PO主是在写解释器还是写lisp->py的编译器？

"但是 bar() 这个闭包函数是一个独立的，不应该依赖于 foobar() 的环境，不然只要 bar 存在，foobar 就不能被回收。"

这个说法不太对. 函数bar()依赖定义他的环境(词法作用域), 包括foobar的环境. foobar()可以回收, 但是他的环境还是会被引用到(如果bar()或者其他定义在其中的函数没有回收的话), 函数对环境的引用是单向的. 当所有引用某个环境的函数都被回收后, 该环境才会回收. 所以在设计上, 环境与函数是独立的, 可以把任意一个函数拿到任意一个环境中去求值.
环境的结构是一个map: ENV = {parent: ENV(上一层), data: {foo: 1,...}}

PO主可以去看看 ECMA-262或者http://www.eopl3.com/

额，回不回收的我不大懂。

def foobar():
....foo = 1
....def bar():
........return foo
....foo = 2

（话说如果bar被调用的话正确返回应该是2对吧……)
这时候foobar的context里是有变量foo的。 getContext(foobar) --> { foo: ?? }
建立bar的context的时候，bar的context只知道自己的context的parent是foobar的context。
getContext(bar).parent === getContext(foobar)

不管怎样，bar被调用的时候，肯定是在foobar函数里面所被调用的，调用的时候，foobar的context中的foo的变量是带着某个值的。然后bar里面出现foo，先从自己的context找foo变量，没有就继续递归往上找，直到找到一个，如果没找到就报错。

额，可能重点是lz的 “但是 bar() 这个闭包函数是一个独立的，不应该依赖于 foobar() 的环境”。这句话应该是不正确的吧……

补充一下。另外一个重点是遇到bar的定义的时候，不应该把foo的值传进去当作bar的context的。foo一直是foobar的context里面的变量

……没法删评论，好吧，我上面的理解是错的，大家请无视……

闭包是包含foo这样的东西的……

@exch4nge

def foobar():
....foo = 1
....def bar():
........return foo
....foo = 2
....return bar()
可以这样搞……

@exch4nge

def foobar():
....foo = 1
....def bar():
........return foo
....foo = 2
....return bar
上面的说错了……

想想不能手动控制传值传引用是很蛋疼。。。