2

在使用 Emacs、SLIME 和 Clozure CL 时，我有一个小小的抱怨：（aref我还没有看到任何其他实例）的函数签名仅显示为(aref a).

当我去源代码时，有问题的代码以(defun aref (a &lexpr subs). 据我所知，&lexpr不是有效的 CL lambda 列表关键字。因此，这表明 SLIME 由于“weird”关键字而没有显示正确的函数签名。

但是，当我对 做同样的事情时svref，没有什么（至少对我而言）可以证实上述假设。所以也许 SLIME 也能做点什么。

任何人都可以指出相关文档（我在 SLIME 手册和 CCL 手册中没有找到任何相关的内容）或者有人有解决方法/解决方案吗？

4

1 回答 1

3

SVREF不采用数组索引列表，因为它的第一个参数是一个向量。一个数组可能是多维的，这就解释了为什么有可变数量的下标。对于AREF，可能的来源是：

.../ccl/level-0/l0-array.lisp
  #'AREF
.../ccl/compiler/optimizers.lisp
  (COMPILER-MACRO AREF)
.../ccl/compiler/nx1.lisp
  #'CCL::NX1-AREF

其中，只有第一个&lexpr在其参数列表中具有不常见的关键字。

一个实验：

CL-USER> (defun foobar (a &lexpr b) (list a b))
;Compiler warnings :
;   In FOOBAR: Unused lexical variable &LEXPR
FOOBAR

让我们使用 CCL 中未导出的符号（自动完成找到它）：

CL-USER> (defun foobar (a ccl::&lexpr b) (list a b))
FOOBAR

这一次，它有效，让我们尝试一下：

CL-USER> (foobar 0 1 2 3 4)
(0 17563471524599)

Lisp 的演变说（强调我的）：

MacLisp 引入了 LEXPR，这是一种接受任意数量参数并将它们放入堆栈的函数；

（见https://www.dreamsongs.com/Files/Hopl2.pdf）

通过替换修复

您可以在 Swank 级别修复它，方法是替换&lexpr为&rest. 你只需要 patch ，它为 Clozureccl.lisp提供了一个实现：arglist

(defimplementation arglist (fname)
  (multiple-value-bind (arglist binding) (let ((*break-on-signals* nil))
                                           (ccl:arglist fname))
    (if binding
        (substitute '&rest 'ccl::&lexpr arglist)
        :not-available)))

更多细节

事实上，在swank-arglists.lisp你可以看到未知的东西被放在一个单独的列表中，称为:unknown-junk. 要查看它的实际效果，请执行以下操作：

CL-USER> (trace swank::decoded-arglist-to-string)
NIL

然后，写入(aref并按下Space，这将触发对参数列表的查询并生成以下跟踪：

0> Calling (SWANK::DECODED-ARGLIST-TO-STRING #S(SWANK/BACKEND:ARGLIST :PROVIDED-ARGS NIL :REQUIRED-ARGS (CCL::A) :OPTIONAL-ARGS NIL :KEY-P NIL :KEYWORD-ARGS NIL :REST NIL :BODY-P NIL :ALLOW-OTHER-KEYS-P NIL :AUX-ARGS NIL :ANY-P NIL :ANY-ARGS NIL :KNOWN-JUNK NIL :UNKNOWN-JUNK (CCL::&LEXPR CCL::SUBS)) :PRINT-RIGHT-MARGIN 159 :OPERATOR AREF :HIGHLIGHT (0)) 
<0 SWANK::DECODED-ARGLIST-TO-STRING returned "(aref ===> a <===)"

注意:UNKNOWN-JUNK (CCL::&LEXPR CCL::SUBS))部分。也许更好的解决方法是让 Swank 了解一下&lexpr？

于 2018-12-21T11:57:57.393 回答