主页 / user-9840917

myname's questions

Martin Hope
myname
Asked: 2024-11-06 11:29:19 +0800 CST
  • 8

正如标题所说，我如何（以编程方式）以可移植的方式（如果可能）检查一个符号是否代表一个符号宏？

CL-USER> (define-symbol-macro some-macro some)
SOME-MACRO
CL-USER> (macro-function 'some-macro)
NIL
CL-USER> (fboundp 'some-macro)
NIL

SBCL 有 sb-impl::info：

CL-USER> (describe 'sb-impl::info)
SB-INT:INFO
  [symbol]

INFO names a compiled function:
  Lambda-list: (CATEGORY KIND NAME)
  Declared type: (FUNCTION (T T T) (VALUES T T &OPTIONAL))
  Source file: SYS:SRC;COMPILER;GLOBALDB.LISP

INFO has a compiler-macro:
  Source file: SYS:SRC;COMPILER;EARLY-GLOBALDB.LISP

(SETF INFO) names a compiled function:
  Lambda-list: (NEW-VALUE CATEGORY KIND NAME)
  Declared type: (FUNCTION (T T T T) (VALUES T &OPTIONAL))
  Source file: SYS:SRC;COMPILER;GLOBALDB.LISP

(SETF INFO) has a compiler-macro:
  Source file: SYS:SRC;COMPILER;EARLY-GLOBALDB.LISP

似乎有效：

CL-USER> (sb-impl::info :variable :kind 'some-macro)
:MACRO
T

这就是他们在“描述”函数的源代码中所使用的内容（我通过查看那里发现了这一点）。

在此之前，我一直在研究 clhs，但一无所获。是我错过了还是没有标准方法？是否有一些可移植/“简单”的库可以做到这一点？

编辑：

在得到有用的答案之后，我找到了cltl2 的“简单”包装器。它似乎也在 quicklisp 中，因此除了内置的 'special-operator-p'之外，我们还可以拥有：

(defun special-variable-p (symbol)
    (multiple-value-bind (info ignore1 ignore2)
        (variable-information symbol)
      (declare (ignore ignore1 ignore2))
      (eq :special info)))

(defun symbol-macro-p (symbol)
    (multiple-value-bind (info ignore1 ignore2)
        (variable-information symbol)
      (declare (ignore ignore1 ignore2))
      (eq :symbol-macro info)))

我实际上更喜欢广义布尔值，看起来更有用，所以我使用这个：

(defun symbol-macro-p (symbol)
  "Return if SYMBOL stands for a symbol macro."
    (multiple-value-bind (info ignore1 ignore2)
        (variable-information symbol)
      (declare (ignore ignore1 ignore2))
      (when (eq :symbol-macro info)
        (multiple-value-bind (expansion ignored)
            (macroexpand symbol)
          (declare (ignore ignored))
          expansion))))

CL-USER> (symbol-macro-p 'some-macro)
SOME
lisp
Martin Hope
myname
Asked: 2024-07-24 01:35:21 +0800 CST
  • 6

这个有点令人尴尬，但是我被这个问题困扰的时间比我想承认的要长。

我想生成一个宏，如果在某个现有包中找到符号，则该宏会自动隐藏该符号。我只使用 :common-lisp 包，并将从标准中隐藏几个函数。

我之前保存过一个阴影和导出符号列表，但我不想保留这些列表。相反，我更愿意从宏中隐藏符号，这样我就可以同时拥有阴影和导出声明以及定义。这看起来很简单，但是，无论我以何种方式实现它，我要么违反了包锁，要么我的符号未定义，要么其他原因。首先，这是一个包定义：

(in-package :cl-user)

(uiop:define-package :foo-package
  (:nicknames :foo)
  (:use :common-lisp)
  (:shadow #:defun))

(in-package :foo)

测试函数不执行任何操作，只是对测试的一个小包装：

(defun make-string (length init)
  (cl:make-string length :initial-element init))

我的第一次尝试是这样的：

(cl:defmacro defun (name arglist &optional docstring &rest body)
  `(progn
     (when (symbol-package ',name)
       (shadow ',name))
     (cl:defun ,name ,arglist ,docstring ,@body)
     (export '(,name))))

但是，这会导致 SBCL 的包锁冲突，因此在我尝试使用 cl:defun 重新定义该函数之前，影子函数显然没有生效。

将其包装进去 (eval-when (:compile-toplevel :load-toplevel :execute)，以使其在编译时可用并没有帮助。

另一种尝试是使用发电机：

(eval-when (:compile-toplevel :load-toplevel :execute)
  (cl:defmacro defun (name args &optional docstring &rest body)
    (macrolet ((export-it (name args &optional docstring &rest body)
                 `(progn
                    (when (symbol-package ',name)
                      (shadow ',name))
                    (cl:defun ,name ,args ,docstring ,@body)
                    (export '(,name) *package*))))
      `(export-it ,name ,args ,docstring ,@body))))

这给了我 common-lisp:make-string unbound：

调试器在线程 #<THREAD "main thread" RUNNING {10044982F3}> 中的 UNBOUND-VARIABLE @10039FFD22 上调用：变量 MAKE-STRING 未绑定。

我曾尝试生成一个 lambda 并用 funcall 调用它，但也没有成功。

如果我从 repl: 手动隐藏 make-string (shadow 'make-string)，那么我之后可以重新定义并导出 make-string 而不会出现问题。

看来我误解了一些更基本的东西。

顺便说一句，我正在阅读 M. Cracauers 的编译时编程文章，并认为将所有内容放在同一位置是一个好主意，但我认为我对宏和编译时与运行时评估的熟悉程度还不够。

我知道我可以使用 SBCL 特定的东西来临时删除包锁，但我最初用来检查符号是否在：common-lisp 包中的“shadow”和“symbol-package”或“find-package”和“find-symbol”应该更具可移植性。

common-lisp