Início / coding / Perguntas / 79161275
Accepted
myname
Asked: 2024-11-06 11:29:19 +0800 CST

Existe uma maneira padrão/portátil de consultar se um símbolo representa uma macro de símbolos?

  • 772

Como o título diz, como posso verificar (programaticamente) de forma portátil (se possível) se um símbolo representa uma macro de símbolos?

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

SBCL tem 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

Parece funcionar:

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

É isso que eles usam no código-fonte para a função 'describe' (eu descobri olhando lá).

Antes disso, eu estava olhando para clhs, mas não encontrei nada. Eu perdi ou não há uma maneira padrão? Existe alguma biblioteca portátil/"trivial" que faça isso?

Editar:

Após uma resposta útil, encontrei um wrapper "trivial" para cltl2 . Parece estar no quicklisp também, então podemos ter além do 'special-operator-p' embutido :

(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)))

Na verdade, prefiro um booleano generalizado, parece mais útil, então estou usando isto:

(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

1 respostas

  1. Best Answer

    Há uma função VARIABLE-INFORMATION¹ que estava no CLtL2, mas não no padrão Common Lisp, que pelo menos algumas implementações do CL suportam, que pode ser usada para dizer se um símbolo tem uma macro de símbolo.

    No SBCL, o acesso é feito por meio de:

    CL-USER> (require :sb-cltl2)
("SB-CLTL2")
CL-USER> (sb-cltl2:variable-information 'some-macro)
:SYMBOL-MACRO
NIL
NIL

    O Clozure tem no CCLpacote:

    CL-USER> (ccl:variable-information 'some-macro)
:SYMBOL-MACRO
NIL
NIL

    O Allegro o lista em sua documentação , mas não tenho uma cópia para testar.

    O LispWorks o inclui no HCLpacote conforme sua documentação , mas, novamente, não tenho uma cópia dele.

    Como @myname descobriu, ele está disponível em um trivial-cltl2pacote para que você não precise descobrir em qual pacote a função está, facilitando seu uso em diversas implementações.

    1: Encontrei essa função em uma resposta de Rainer sobre uma pergunta diferente sobre como saber se uma variável é especial quando eu estava procurando por uma duplicata.

    • 2

relate perguntas