common-lisp 常见的宏模式

示例

待办事项：也许将说明移到备注处并分别添加示例

FOOF

在Common Lisp中，有一个通用引用的概念。它们允许程序员将值设置为各种“位置”，就好像它们是变量一样。利用此功能的宏通常F在名称中带有-postfix。该位置通常是宏的第一个参数。

从标准的例子：INCF，DECF，ROTATEF，SHIFTF，REMF。

一个愚蠢的例子，一个宏，它在一个地方翻转数字存储的符号：

(defmacro flipf (place)
  `(setf ,place (- ,place)))

带脚

获取并安全释放资源的宏通常以WITH--prefix命名。该宏通常应使用如下语法：

(with-foo (variable details-of-the-foo...)
  body...)

从标准的例子：WITH-OPEN-FILE，WITH-OPEN-STREAM，WITH-INPUT-FROM-STRING，WITH-OUTPUT-TO-STRING。

一种可以避免名称污染和意外的多重评估的陷阱的实现此类宏的方法是，首先实现功能版本。例如，实现with-widget可以安全地创建小部件并随后进行清理的宏的第一步可能是一个函数：

(defun call-with-widget (args function)
  (let ((widget (apply #'make-widget args))) ; obtain WIDGET
    (unwind-protect (funcall function widget)  ; call FUNCTION with WIDGET
      (cleanup widget)                         ; cleanup

由于这是一个函数，因此无需担心函数或供应商中名称的范围，并且可以轻松编写相应的宏：

(defmacro with-widget ((var &rest args) &body body)
  `(call-with-widget (list ,@args) (lambda (,var) ,@body)))

豆腐

遍历某些事物的宏通常以DO-prefix命名。宏语法通常应采用以下形式

(do-foo (variable the-foo-being-done return-value)
  body...)

从标准的例子：DOTIMES，DOLIST，DO-SYMBOLS。

关注，关注，关注

在某些情况下匹配输入的宏通常用CASE-postfix命名。通常有一个E...CASE-variant，如果输入与任何情况都不匹配，则表示错误，而带有-variant则C...CASE表示连续错误。他们应该具有如下语法

(foocase input
  (case-to-match-against (optionally-some-params-for-the-case)
   case-body-forms...)
  more-cases...
  [(otherwise otherwise-body)])

从标准的例子：CASE，TYPECASE，HANDLER-CASE。

例如，一个宏，该字符串将字符串与正则表达式匹配，并将寄存器组绑定到变量。对正则表达式使用CL-PPCRE。

(defmacro regexcase (input &body cases)
  (let ((block-sym (gensym "block"))
        (input-sym (gensym "input")))
    `(let ((,input-sym ,input))
       (block ,block-sym
         ,@(loop for (regex vars . body) in cases
                 if (eql regex 'otherwise)
                   collect `(return-from ,block-sym (progn ,vars ,@body))
                 else
                   collect `(cl-ppcre:register-groups-bind ,vars
                                (,regex ,input-sym)
                              (return-from ,block-sym
                                (progn ,@body))))))))

(defun test (input)
  (regexcase input
    ("(\\d+)-(\\d+)" (foo bar)
      (format t "Foo: ~a, Bar: ~a~%" foo bar))
    ("Foo: (\\w+)$" (foo)
      (format t "Foo: ~a.~%" foo))
    (otherwise (format t "Didn't match.~%"))))

(test "asd 23-234 qwe")
; Foo: 23, Bar: 234
(test "Foo: Foobar")
; Foo: Foobar.
(test "Foo: 43 - 23")
; Didn't match.

DEFINE-FOO，DEFFOO

定义事物的宏通常用DEFINE-或DEF-prefix命名。

从标准的例子：DEFUN，DEFMACRO，DEFINE-CONDITION。