Lispマクロが欲しないときに式を評価する

Question

lispに渡されたn番目の式を返し、その式だけを評価するマクロをlispに書き込もうとしています。例：

(let ((n 2)) 
    (nth-expr n (/ 1 0) (+ 1 2) (/ 1 0))) 

3を返す必要があります。エラーで除算しています。私のマクロ定義は次の通りです：

私は間違っていると思いますか？ありがとう。

EDIT：上記の部分で私を助けるため@Vsevolod Dyomkinへ

感謝。もう一つの問題があります。私がしようとすると

(let ((n 3) (x "win") (y "lose")) 
    (nth-expr n (princ x) (princ x) (princ y) (princ x))) 

私はエラーError: Attempt to take the value of the unbound variable 'Y'を得ています。

私の更新されたコードは次のようになります。あなたはこのようなqoute,expressionsに持って

(defmacro nth-expr (n &rest expressions) 
    (let ((i (gensym)) 
     (expr (gensym)) 
     (num (gensym))) 
    `(let ((,num (eval ,n))) 
     (do ((,i 1 (1+ ,i)) 
      (,expr ',expressions (cdr ,expr))) 
      ((= ,i ,num) (eval (car ,expr))))))) 

Answer 1

：

(defmacro nth-expr (n &rest expressions) 
    (let ((i (gensym)) 
     (expr (gensym))) 
    `(do ((,i 1 (1+ ,i)) 
      (,expr ',expressions (cdr ,expr))) 
     ((= ,i ,n) (car ,expr))))) 

そうでなければ、何を買ってあげることはこれです - expressionsリストです次のように挿入されます：

CL-USER> (let ((n 2)) 
      (macroexpand-1 '(nth-expr n (/ 1 0) (+ 1 2) (/ 1 0)))) 
(DO ((#:G864 1 (1+ #:G864)) 
    (#:G865 ((/ 1 0) (+ 1 2) (/ 1 0)) (CDR #:G865))) 
    ((= #:G864 N) (CAR #:G865))) 

Answer 2

主なものは次のとおりです拡張と一緒に。

作業コードはどのように見えるのですか？マクロの使用が拡大するコードですか？

このようなコードを作成するためのマクロを作成します。

マクロで提供されているコードを評価していないことを確認してください。

問題の簡単な拡張ターゲットは、CASEフォームです。

(case n 
    (0 (do-this)) 
    (1 (do-that)) 
    (2 (do-something-else))) 

今ではCASEフォームへ(nth-expr n (/ 1 0) (+ 1 2) (/ 1 0))を展開されるマクロを書くのは簡単でなければなりません...

Answer 3

あなたはここにevalを必要としないし、一覧に式を格納するには必要ありません。

適切な実装は以下の通りです：あなたの第二の例では、エラーがEVALがあなたの辞書的に結合N、XとY変数を見ることができないということです

(CASE N ((1) (/ 1 0)) ((2) (+ 1 2)) ((3) (/ 1 0))) 

Answer 4

：として

(defmacro nth-expr (n &rest expressions) 
    `(case ,n 
     ,@(loop for e in expressions 
       for n from 1 
       collect 
       `((,n) ,e)))) 

あなたの例では、拡大します。

EVALためCLHSから

：

現在動的環境とヌル字句環境に形態を評価。

あなたはXとYなどの特殊な宣言した場合、それは動作します：

(let ((n 3) (x "win") (y "lose")) 
    (declare (special x y)) 
    (nth-expr n (princ x) (princ x) (princ y) (princ x))) 

をしかし、これはまだSK-logicによって提案CASEソリューションほど良好ではありません。