PROSAGA码农传奇-lisp-在Common Lisp中构建动态COND子句

<div class =“post-text”itemprop =“text”>
  
    宏在编译时扩展，所以你的
     <code>
 possible-states
 </code>
     变量必须是编译时常量。如果不是这种情况（或者如果您不清楚上述我的意思），您应该这样做
    的
      
        不
      
    </强>
     在这里使用宏。
  
  
    改为使用函数：
  
   <pre>
 <code>
 (funcall (cdr (find current-state possible-states :key #'car :test #'eq)))

</code>
 </pre>
  
    要么
  
   <pre>
 <code>
 (funcall (cdr (assoc current-state possible-states :test #'eq)))

</code>
 </pre>
  
    或者，更好的是，让你的
     <code>
 possible-states
 </code>
     一个
    <a href="http://clhs.lisp.se/Body/18_.htm" rel="nofollow noreferrer">
      哈希
表
    </A>
     而不是一个
    <a href="http://clhs.lisp.se/Body/f_assocc.htm" rel="nofollow noreferrer">
      协会
名单
    </A>
    ：
  
   <pre>
 <code>
 (funcall (gethash current-state possible-states))

</code>
 </pre>
  
    但是，如果你的
     <code>
 possible-states
 </code>
    的
      
        是
      
    </强>
     一个编译时间常数，你
实际上可以使用宏，除了你可能想要使用

<a href="http://clhs.lisp.se/Body/m_case_.htm" rel="nofollow noreferrer">
       <code>
 case
 </code>
    </A>
     代替

<a href="http://clhs.lisp.se/Body/m_cond.htm" rel="nofollow noreferrer">
       <code>
 cond
 </code>
    </A>
    ：
  
   <pre>
 <code>
 (defmacro state-dispatch (state)
 `(case ,state
 ,@(mapcar (lambda (cell)
 `((,(car cell)) (,(cdr cell))))
 possible-states)))
(defparameter possible-states '((1 . foo) (2 . bar)))
(macroexpand-1 '(state-dispatch mystate))
==> (CASE MYSTATE ((1) (FOO)) ((2) (BAR))) ; T

</code>
 </pre>
  
    请注意
    
      速度
    
     的观点，
    <a href="http://clhs.lisp.se/Body/f_gethas.htm" rel="nofollow noreferrer">
       <code>
 gethash
 </code>
    </A>
     版本可能与宏版本相同（至少它不慢）。
  
</DIV>