能不能讲一下closure，正在看practical common lisp，就是理解不了这个概念

win_hate

原帖由 xdshting 于 2009-3-9 09:22 发表
谢谢了
再看ansi common lisp关于closure的介绍，又有一点不明白的地方
书上的例子
( let ((counter 0))
    (defun reset ()
       (setf counter 0))
    (defun stamp ()
       (setf counter (+ c ...

问得好。在 scheme 中，这样是不行的。如果你不说，我还真不知道 common lisp 有这一手。

我对 common lisp 不了解，还是等对 common lisp 比较熟悉的朋友来回答吧。

xdshting

1，看了一些对closure的介绍

有一个感觉，有点像java里的封装吗，把free variable看作私有变量，只有通过对外接口去访问他

这样理解对不对？

2，另外，还是有点不明白，什么时候变量可以递增，什么时候他被重新初始化

(defparameter *fn* (let ((count 0)) #'(lambda () (setf count (1+ count)))))

以后通过 *fn* 去调用，let 只执行了一次，只有一个与 *fn* 关联的匿名函数(相应的私有空间)。

为什么只调用一次，是defparameter捣鬼吗？

win_hate

我查了一个：

http://community.schemewiki.org/?scheme-faq-language

scheme 的 faq，在里面的 Is there a way to define top-level closures?  一节说到：

In Common Lisp, the defun construct always creates a top-level definition, e.g.

所以你能在 let 外访问 let 中定义的函数。

而在 scheme 中， let 通常是个 sugar，被转换成 curry 函数。所以在 let 的外部就不能直接访问 let  内部定义的函数了(除非把它作为 let 的最后一项返回)。

[ 本帖最后由 win_hate 于 2009-3-9 11:23 编辑 ]

win_hate

原帖由 xdshting 于 2009-3-9 11:05 发表
>>1，看了一些对closure的介绍

有一个感觉，有点像java里的封装吗，把free variable看作私有变量，只有通过对外接口去访问他

这样理解对不对？



2，另外，还是有点不明白，什么时候变量可以递增，什么时候 ...

1、不懂 java，不过 “把free variable看作私有变量” 是对的。

2、就好比，如果你多次执行 (+ 1 1)，则每次都会计算一个加法。
但 (setq a (+ 1 1)) 后，每次执行 a，都直接得到 2，不会再执行一次加法。

(defparameter *fn* (let ((count 0)) #'(lambda () (setf count (1+ count)))))

求值方式为：

a. 求出 (let ((count 0)) #'(lambda () (setf count (1+ count))) 的值。此时创建了匿名函数；
b. 把匿名函数入口绑定到 *fn* 上。

以后再执行 *fn* 时，就直接访问匿名函数了。

[ 本帖最后由 win_hate 于 2009-3-9 11:25 编辑 ]

xdshting

原帖由 win_hate 于 2009-3-9 11:12 发表
我查了一个：

http://community.schemewiki.org/?scheme-faq-language

scheme 的 faq，在里面的 Is there a way to define top-level closures?  一节说到：



所以你能在 let 外访问 let 中定义的函 ...

在很多地方都看到top-level这个词，您能不能详细解释以下

给我的感觉有一点像是全局的意思

win_hate

就是全局吧。

lixuzhang

原帖由 xdshting 于 2009-3-8 23:39 发表
书上的例子是
(let ((count 0)) #'(lambda () (setf count (1+ count))))

the reference to count inside the LAMBDA form should be legal according to the rules of lexical scoping. Yet the anonymou ...

C语言只能返回函数指针，所以函数指针只是函数指针。

但Closure就是将函数指针与上下文的变量绑定在一起了；所以返回的函数指针就不再一样。


根据count的值的不同，返回的函数指针（lambda函数）与count形成的闭包，就形成了各种不同的函数（部分变量已经绑定不同值）。

(...
    (lambda (x)
        (+ n x))

根据n的不同值，返回的lambda函数就是 x+1， 或x+2，或x+3函数（变量n已经绑定）。