リテラルでないシーケンスの引用符を付けないでください

Question

この質問は、this answerという制限に基づいています。

私はこのようなスプライシングにunquoteを使用するマクロがある場合：

(defmacro instantiate [klass values] 
     `(new ~klass ~@values)) 

をvaluesリテラルシーケンスまたは配列-ことができます場合にのみ動作します。

それはのようなシーケンスを保持VAR渡された場合：

(def v [1 2 3]) 
(macroexpand '(instantiate Person v)) 

を次に出力がvが順序ではないことを示すエラーになります。

でも関数呼び出しがリストとして解釈されます：

(defn vf [] [1 2 3]) 
(macroexpand '(instantiate Person (vf))) 
user=>(new Person vf) 

私の質問は：シーケンスはISN」スプライスされるこれらの2つのケースでClojureのマクロでスプライシングにunquoteを使用する方法はありますリテラルですか？

Answer 1

マクロは引数が評価されないため、表示される動作は意図した通りです。

マクロは、実行時ではなくコンパイル時に展開されます。マクロに渡された変数の値は、コンパイル時に利用できない可能性があります。したがって、一般的なケースではevalを使用するような汚いハックは機能しません。このようなトリックを必要とするマクロを作成しないでください。

Answer 2

スプライシング引用符は

(defmacro instantiate [klass values] 
    `(new ~klass ~@values)) 

が

(defmacro instantiate [klass values] 
    (concat (list 'new klass) (if (seq? values) 
            values 
            (list values)))) 

user=> (macroexpand '(instantiate asdf (1 2 3))) 
(new asdf 1 2 3) 

user=> (macroexpand '(instantiate asdf 1)) 
(new asdf 1)