3

我定义了以下宏：

(defmacro ~lazy (expression)
  `(lambda ()
     ,@expression))

(defgeneric force~ (value)
  (:method (value)
    value)
  (:method ((value function))
    (funcall value)))

(defmacro ~~ (expression)
  `(~lazy (force~ ,expression)))

[...]以下宏定义了一个名为“NAME”的通用函数，并定义了一些标准方法。这应该像“REDUCE”一样工作，并强制所有惰性值在途中返回一个惰性值，即使它曾经遇到一个惰性值，否则返回一个非惰性值（由以“~”开头和结尾的宏表示）。

(defmacro ~lazy-reduce~ (name reduce-fun (arg-var args-var)
                         &body methods)
  (let ((first (gensym "first")))
    `(defgeneric ,name (,arg-var ,args-var)
       ,@(append
          (if (not (member `(,arg-var (,args-var cons))
                           methods
                           :key #'car
                           :test #'equal))
              `((:method (,arg-var (,args-var cons))
                  (let ((,first (first ,args-var)))
                    (if (functionp ,first)
                        (~~ (,reduce-fun (force~ ,first)
                                         (force~
                                          (,name ,arg-var
                                                 (rest ,args-var)))))
                        (,name (,reduce-fun ,arg-var ,first)
                               (rest ,args-var)))))))
          (if (not (member `((,arg-var function)
                             ,args-var)
                           methods
                           :key #'car
                           :test #'equal))
              `((:method ((,arg-var function)
                          ,args-var)
                  (~~ (,name (force~ ,arg-var)
                             ,args-var))))))
       ,@(mapcar (lambda (method)
                   (cons :method method))
                 methods))))

现在我定义 ~_AND~ 像这样：

(~lazy-reduce~ ~_and~ and (val vals)
   (((val null)
     vals)
    nil)
   ((val (vals null))
    val))

打电话

(~_and~ t (list 2))

工作正常并返回'2'，正如预期的那样

(force~ ~_and~ t (list (~ 2)))

只返回“T”。

我不知道为什么会这样，它使我无法简洁地定义“~FIND-IF”。

4

1 回答 1

0

我发现了我的错误：~_AND~ 的第一种方法如下所示：

(:method (val (vals cons))
 (let ((first (first vals)))
   (if (functionp first)
       (~~ (and (force~ first)
                (force~ (~_and~ val (rest vals)))))
       (~_and~ (and val first)
               (rest vals)))))

（这可以通过 MACROEXPAND-1 在给定的 ~_AND~ 定义上看到）

这意味着显示的调用被（大致）评估为

(and (force~ (~ 2))
     T)

如所见，这将返回“T”。

于 2013-04-04T13:47:59.630 回答