Início / coding / Perguntas / 79544612
Accepted
GregF
Asked: 2025-03-30 20:51:18 +0800 CST

Variável indefinida: COMMON-LISP-USER::0.25% na macro quando eu esperava que o símbolo não fosse avaliado

  • 772

Tenho uma macro para definir variáveis ​​de inicialização para o programa. A macro é ...

(defmacro defparm (var value &key (frequency nil) (date nil date-supplied-p))
  "Macro to define starting parameters."
  `(let ((new-value (set-value ,value ,frequency)))
     (cond ((eq ,date-supplied-p t) 
             (set-variation ',var new-value (make-date ,date)))
           (t (setf (slot-value *my-parms* ',var) new-value)))))

Esta macro depende das macros set-value e set-variation e das funções is-date-p e is-percent-p.

(defun is-percent-p (value)
  (cond ((and (symbolp value) (char= (char (symbol-name value) (1- (length (symbol-name value)))) #\%)))
        ((and (stringp value) (char= (char value (1- (length value))) #\%)))
        (t nil)))

(defmacro set-value (value &optional frequency)
  `(cond ((and (typep ',value 'symbol) (is-percent-p ',value))
           (let ((new-value (string-right-trim "%" (symbol-name ',value))))
             (/ (if (find #\. new-value)
                    (parse-float:parse-float new-value)
                    (parse-integer new-value :junk-allowed nil)) 100.0)))
         (t ,value)))

Não incluí is-date-p porque não é relevante nessa situação, e set-variation pode ser simplesmente descartado...

(defun set-variation (&rest x)
  (declare (ignorable x)))

Quando eu avalio...

(defparm interest-rate 5%)

Eu entendo isso...

(defparm interest-rate 5%) ; in: DEFPARM INTEREST-RATE ; (SET-VALUE 5% NIL) ; --> IF IF AND IF TYPEP ; ==> ; 1 ; ; pego AVISO: ; variável indefinida: COMMON-LISP-USER::5% ; ; unidade de compilação finalizada ; Variável indefinida: ; 5% ; pego 1 AVISO condição 0,05 0,05

O resultado está correto, 0,05, mas não entendo por que recebo o aviso.

Coloquei instruções (print nn) na tentativa de identificar onde o aviso ocorre, onde o símbolo '5%' é avaliado, mas não consigo encontrá-lo.

Onde no meu código está o ponto real do "aviso"?!

debugging

2 respostas

  1. Best Answer

    Se expandirmos sua expressão completamente ("andar"), teremos algo assim:

    
(LET ((NEW-VALUE
       (COND ((IF (TYPEP '5% 'SYMBOL) (IS-PERCENT-P '5%) NIL)
              (LET ((NEW-VALUE (STRING-RIGHT-TRIM "%" (SYMBOL-NAME '5%))))
                (/ (IF (FIND #\. NEW-VALUE)
                       (PARSE-FLOAT NEW-VALUE)
                       (PARSE-INTEGER NEW-VALUE :JUNK-ALLOWED NIL))
                   100.0)))
             (T 5%))))
  (COND ((EQ NIL T) (SET-VARIATION 'INTEREST-RATE NEW-VALUE (MAKE-DATE NIL)))
        (T (CLOS::SET-SLOT-VALUE *MY-PARMS* 'INTEREST-RATE NEW-VALUE))))

    Você pode ver que no seu primeiro cond há uma cláusula (t 5%). É onde 5%está uma variável.

    Normalmente, eu depuraria essas coisas expandindo macros dos trechos de código correspondentes (e, opcionalmente, um compilador me daria localizações de variáveis ​​indefinidas, etc.):

    CL-USER 9 > (pprint (macroexpand-1 '(SET-VALUE 5% NIL)))

(COND ((AND (TYPEP '5% 'SYMBOL) (IS-PERCENT-P '5%))
       (LET ((NEW-VALUE (STRING-RIGHT-TRIM "%" (SYMBOL-NAME '5%))))
         (/ (IF (FIND #\. NEW-VALUE)
                (PARSE-FLOAT NEW-VALUE)
              (PARSE-INTEGER NEW-VALUE :JUNK-ALLOWED NIL))
            100.0)))
      (T 5%))
    • 2

  2. set-valueprecisa chamar is-percent-pno momento da macroexpansão, não colocar a chamada na expansão.

    (defmacro set-value (value &optional frequency)
  (if (is-percent-p value)
      (let ((new-value (string-right-trim "%" (string value))))
        (/ (if (find #\. new-value)
               (parse-float:parse-float new-value)
               (parse-integer new-value :junk-allowed nil))
           100.0)
        new-value)
      value))
    • 1

relate perguntas