Kann versuchen, in verschiedenen (aber verschachtelten) Makros zu sein?

Question

Die try ist in einem Makro, die catch in einer zweiten, die von der ersten aufgerufen wird. Wie bekomme ich das Folgende zur Arbeit?

(defmacro catch-me [] 
    `(catch ~'Exception ~'ex 
    true)) 

(defmacro try-me [] 
    `(try (+ 4 3) 
     (catch-me))) 

try-me Erweiterung sieht gut aus:

(clojure.walk/macroexpand-all '(try-me)) 

ergibt

(try (clojure.core/+ 4 3) (catch Exception ex true)) 

aber Aufruf (try-me) ergibt:

"Unable to resolve symbol: catch in this context", 

die, BTW, ist auch die Nachricht, die Sie in der REPL bekommen würden wenn Sie Fang verwenden, wenn Sie nicht versuchen.

UPDATE:

Dies ist, wie ich es (danke, @Barmar) zu arbeiten bekommen, hier können Sie den aktuellen Kontext meines Codes sehen:

(defmacro try-me [& body] 
    `(try 
    ~@body 
    ~@(for [[e msg] [[com.mongodb.MongoException$Network "Database unreachable."] 
         [com.mongodb.MongoException "Database problem."] 
         [Exception "Unknown error."]]] 
     `(catch ~e ~'ex 
      (common/site-layout 
      [:div {:id "errormessage"} 
       [:p ~msg] 
       [:p "Error is: " ~e] 
       [:p "Message is " ~'ex]]))))) 

aber das ist, was ich Hoffnung auf (ein separates Makro catch-me verwenden):

(defmacro try-me [& body] 
    `(try 
    ~@body 
    (catch-me com.mongodb.MongoException$Network "Database unreachable.") 
    (catch-me com.mongodb.MongoException "Database problem.") 
    (catch-me Exception "Unknown error."))) 

ich denke, das wäre einfacher zu schreiben/aufrechtzuerhalten.

Irgendwelche Ideen? Ich brauche Syntax-Quoting, weil ich Parameter übergebe, deshalb kann Arthurs Antwort leider nicht angewendet werden (oder kann es irgendwie?), Aber ich habe meinen aktuellen Kontext erst jetzt gepostet.

Answer 1

Der Grund erhalten Sie, dass Fehler ist, weil die Syntax für try ist:

(try expr* catch-clause* finally-clause?) 

Das bedeutet, dass es vor dem Fang eine beliebige Anzahl von ausdr Formen sein können und schließlich Klauseln. try scannt die expr s, bis es eine findet, die mit catch oder finally beginnt. Es tut dies vor erweitern alle Makros, da es nur versucht, herauszufinden, wo die Ausdrücke excrs und Catch/finally beginnen. Es sammelt alle catch und finally-Klauseln und richtet die entsprechende Fehlerbehandlungsumgebung für sie ein.

Sobald es dies tut, führt es normalerweise alle expr Formulare aus. Also erweitert es ihre Makros und führt sie dann aus. Aber catch ist keine Funktion oder spezielle Form, es ist nur etwas, das im vorherigen Schritt try sucht. Wenn es normal ausgeführt wird, erhalten Sie den gleichen Fehler wie beim Eingeben in die REPL.

Was Sie wahrscheinlich tun sollten, ist ein Makro zu schreiben, das Sie um Ihren gesamten Code wrape, der in den gewünschten Ausdruck erweitert, try/catch. Ohne ein Beispiel dafür, was Sie erreichen möchten, ist es schwierig, eine konkrete Antwort zu geben.

Answer 2

Die kurze Antwort ist JA, obwohl das Verschachteln von Makros mit speziellen Formen zu einigen doppelten Zitaten führen kann.Es ist unbedingt die Symbole, um zu verhindern auf beiden Ebenen der Expansion ausgewertet:

user> (defmacro catch-me []         
      '(list 'catch 'Exception 'ex 
         'true)) 

user> (defmacro try-me [] 
    `(try (+ 4 3)    
        ~(catch-me))) 
#'user/try-me 

user> (try-me) 
7 

und zu sehen, dass es die Ausnahme abfängt auch:

user> (defmacro try-me [] 
    `(try (/ 4 0) 
       ~(catch-me))) 
#'user/try-me 
user> (try-me) 
true