主页 / coding / 问题 / 79544612
Accepted
GregF
Asked: 2025-03-30 20:51:18 +0800 CST

当我预计符号不会被评估时，宏中未定义变量：COMMON-LISP-USER::0.25%

  • 772

我有一个宏来为程序定义初始化变量。该宏是...

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

该宏依赖于宏 set-value 和 set-variation，以及函数 is-date-p 和 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)))

我没有包括 is-date-p，因为它与这种情况无关，并且 set-variation 可以简单地被虚拟出来......

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

当我评估...

(defparm interest-rate 5%)

我明白了......

(defparm interest-rate 5%); 在：DEFPARM INTEREST-RATE；（SET-VALUE 5% NIL）；--> IF IF AND IF TYPEP；==>；1；；捕获警告：；未定义变量：COMMON-LISP-USER::5%；；编译单元完成；未定义变量：；5%；捕获 1 警告条件​​ 0.05 0.05

结果是正确的，0.05，但我不明白为什么会收到警告。

我已经输入（打印 nn）语句以尝试确定出现警告的位置，即评估 '5% 符号的位置，但我找不到它。

我的代码中的“警告”的实际点在哪里？！

debugging

2 个回答

  1. Best Answer

    如果我们充分扩展你的表达（“行走”），那么我们会得到如下结果：

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

    您可以看到，在第一个子句中cond 有一个子句(t 5%)。这就是5%变量的位置。

    通常我会通过宏扩展相应的代码片段来调试这些内容（并且编译器可能会给我未定义的变量位置等）：

    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-value需要在宏扩展时调用is-percent-p，而不是在扩展中调用。

    (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

相关问题