Emacs Lisp中request宏引发变量作用域失效问题求助

问题场景 #

我们定义了如下两个Emacs Lisp函数：

(defun test (x)
  "X."
  (request "http://example.com"
    :parser 'json-read
    :complete (cl-function
               (lambda (&key response &allow-other-keys)
                 (message "%s" x)))))

(defun test2 (x)
  "X."
  (funcall (cl-function (lambda (z) (message "%s" z))) x))

调用(test2 3)可正常运行并输出预期信息，但调用(test 3)时出现如下错误：

error in process sentinel: let*: Symbol’s value as variable is void: x
error in process sentinel: Symbol’s value as variable is void: x

原因分析 #

request宏是异步执行HTTP请求的，它的:complete回调函数会在请求完成后由Emacs的进程哨兵触发执行。此时原函数test的栈帧已经退出，变量x的动态绑定已经被销毁，而回调里直接引用x会导致找不到变量值。

而test2是同步执行lambda，变量x的绑定在lambda执行时仍然有效，所以不会出问题。

解决方法 #

需要将变量x的值捕获并保存到回调函数的闭包中，确保回调执行时能访问到该值，以下是几种可行方案：

方案1：用lexical-let创建词法绑定 #

(defun test (x)
  "X."
  (lexical-let ((x x))
    (request "http://example.com"
      :parser 'json-read
      :complete (cl-function
                 (lambda (&key response &allow-other-keys)
                   (message "%s" x))))))

lexical-let会创建一个词法作用域的绑定，把当前x的值保存下来，让回调函数在后续异步执行时能访问到。

方案2：通过&aux参数捕获值 #

利用cl-function的&aux参数特性，在lambda创建时捕获x的值：

(defun test (x)
  "X."
  (request "http://example.com"
    :parser 'json-read
    :complete (cl-function
               (lambda (&key response &allow-other-keys &aux (captured-x x))
                 (message "%s" captured-x)))))

&aux定义的captured-x会在lambda初始化时获取当前x的值，后续异步执行时即可正常访问。

方案3：开启全局词法作用域 #

如果使用Emacs 24.1及以上版本，可以在代码文件开头添加以下声明，开启全局词法绑定：

;; -*- lexical-binding: t -*-

开启后所有函数默认使用词法作用域，原代码中的回调会自动捕获x的绑定，无需额外修改。

内容的提问来源于stack exchange，提问作者Sventimir