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

[tioover]

不小心发出来了，我在回复里面说

[bcxx]

是的，你说的对

[casparchen]

对的

[tioover]

嗯，刚刚写了一大堆，提交编辑却说没办法，我重新写。

[tioover]

是这样的，我在写一个 Lisp 解释器，里面要实现闭包，可是 Python 里面没有指针

[tioover]

比如说

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

在这种情况下，foobar() 的环境是 {"foo": 1}
按照一般思路，bar() 里面找不到 foo，就往上层作用域找

[bcxx]

你设计一个 context 将函数运行的状态（就是运行环境）注入进去就行（解释器解释的时候根据这个 context 来解释）

[tioover]

问题是 bar 如果作为一个返回值返回，foo 的环境应该删除

[bcxx]

@tioover 应该是将 bar 的运行环境和 bar 绑定了一起返回（就是不返回 function，而是返回 function + context，也就是整个闭包。）

[tioover]

所以应该 bar 的环境里包括 bar 里面的自由变量 {"foo": parent_env["foo"]}
但是这样的话上层的变量变更了以后bar里面的foo还是1


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

[tioover]

所以应该传递指向数据的指针，Python 里面没有指针，但是被容器（class）容纳的数据是必然传递指针的，比如说 []

所以我想可以用 class Ptr 来模拟指针

env["foo"] = Ptr(data)

这样就可以了，但是感觉不美好

[tioover]

@bcxx 我就是这个意思……刚刚想说完再回复

[tioover]

接 #10
在 bar 的闭包中，只需要

env["foo"] = parent["foo"] 就行

复制就是 parent["foo"].ptr = data 这样就行了。

但是用指针模拟总感觉很糟

[bcxx]

@tioover 你可以看看 lisp / racket 之类是怎样做的……

[tioover]

@bcxx 人家背后直接能用指针吧 = = 用 Python 只能用这种曲线的方法实现

[bcxx]

@tioover 额，你太执着名字上的东西了= = 那时语义上的实现啊，你底层具体怎么实现是另外一回事啊

[tioover]

@bcxx 我是觉得用一个 class 去模拟指针不美……

[tioover]

忘了还有附言了，把内容放在附言里面……

[bcxx]

@tioover = = 不能理解

[ctrlaltdeletel]

额 没太清楚为什么foo的值会被修改，以及被修改了为什么要影响bar环境中foo的值

[tioover]

@ctrlaltdeletel 在 Python 里面你改一样东西的值，其实是新创建一个对象然后修改指针，不能直接修改指针的内容。
后者是闭包的特性…