在 def* 宏中合并文档字符串的正确方法？

如何解决在 def* 宏中合并文档字符串的正确方法？

我正在学习实用的 Common Lisp。我得到了一个例子，你定义了一个 deftest 宏，它像 defun 一样工作，并带有一些附加功能。这让我想到能够添加文档字符串会很好。我发现以下两种方法都有效，但其中一种更正确吗？是否有“正确”的方法来实现 defun 的类似可选文档字符串的行为？

(defmacro deftest (name parameters &body body)
  (let ((docstring ""))
    (when (stringp (car body)) (setf docstring (car body) body (cdr body)))
    `(defun,name,parameters,docstring
       (let ((*test-name* (append *test-name* (list ',name)))),@body))))

(defmacro deftest (name parameters &optional docstring &body body)
  (when (not (stringp docstring)) (setf docstring ""))
  `(defun,docstring
     (let ((*test-name* (append *test-name* (list ',@body)))

解决方法

通常，您可能希望从函数体中解析出可能的文档字符串和任何声明，以便您可以将声明放在它们所属的位置。我使用这样的东西：

(defun parse-body (body)
    (multiple-value-bind (docstring decls/forms)
        (if (stringp (first body))
            (values (first body) (rest body))
          (values nil body))
      (loop for remainder on decls/forms
            while (and (not (null remainder))
                       (consp (first remainder))
                       (eql (car (first remainder)) 'declare))
            collect (first remainder) into decls
            finally (return (values docstring decls remainder)))))

然后你的 deftest 就是

(defmacro deftest (name parameters &body body)
  (multiple-value-bind (docstring decls forms) (parse-body body)
    `(defun,name,parameters,@(if docstring (list docstring) '()),@decls
       (let ((*test-name* (append *test-name* (list ',name)))),@forms))))

我希望我能说我有一个标准的 parse-body 函数，但我没有：我每次只写一个新函数。