clojure Makro unquote Spleißen Liste der Funktionsaufrufe

Question

Ich möchte ein ACL-Modul schreiben, indem Sie ein Makro schreiben, dieses Makro ist das Ergebnis jedes Funktionsaufrufs im Makro zu überprüfen, wenn eine false zurückgibt, dann wird die ACL fehlschlagen, ohne zu laufen der folgende Funktionsaufruf. Wenn eine wahr zurückgibt und es noch Funktionsaufrufe zu überprüfen gibt, überprüfen Sie die folgenden bis zum letzten.

(defmacro checks 
    [head & tail] 
    `(let [status# ~head] 
    (if (and (true? status#) 
       (seq '~tail)) 
     (checks ~@tail) 
     status#))) 

Ich werde dieses Makro wie folgt aufrufen:

(checks (module1 args) (module2 args))` 

aber dies wird für (check ~@tail) in der Makrodefinition scheitern. Das Problem ist, dass ich Unquote Splicing die Liste aber ohne jede Funktion in der Liste aufrufen möchte.

Answer 1

Ich habe den Weg gefunden, um dieses Problem zu lösen:

(defmacro checks 
    [head & tail] 
    (let [sym (gensym)] 
    `(let [~sym ~head] 
     (if ~sym 
     ~(if tail 
      `(checks ~@tail) 
      sym) 
     ~sym)))) 

Verwendung Syntax unquote wieder auf Außen der (checks ~@tail) Form.

Answer 2

Das Problem besteht darin, dass Sie den Code für den rekursiven Aufruf des Makros generieren, obwohl kein Argument vorhanden ist.

(macroexpand-1 '(checks 1)) 
=> 
(clojure.core/let 
[status__1973__auto__ 1] 
(if 
    (clojure.core/and (clojure.core/true? status__1973__auto__) (clojure.core/seq (quote nil))) 
    (user/checks) 
    status__1973__auto__)) 

Der innere Makroaufruf schlägt fehl, weil mindestens ein Argument benötigt wird. Unabhängig davon, wie viele Argumente Sie dem Makro zur Verfügung stellen, wird durch die Erweiterung möglicherweise der fehlgeschlagene Aufruf generiert.

Sie müssen feststellen, ob es etwas gibt, in tail vor den rekursiven Aufruf zu checks Erzeugung:

(defmacro checks 
    [head & tail] 
    (if-not tail 
    head 
    `(let [status# ~head] 
     (if (true? status#) 
     (checks ~@tail) 
     status#)))) 

Jetzt

(macroexpand-1 '(checks 1)) 
=> 1 

(checks 1) 
=> 1 

Und

(macroexpand-1 '(checks 1 2 3)) 
=> 
(clojure.core/let 
[status__2010__auto__ 1] 
(if (clojure.core/true? status__2010__auto__) (user/checks 2 3) status__2010__auto__)) 

Außerdem

(checks 1 2 3) 
=> 1 
(checks true true 3) 
=> 3 

Wie @ PiotrekBzdyls Kommentar suggeriert, ist dies nur ein and Makro, das alles andere als true als falsch behandelt.