Clojure 学习入门（11）—— 宏 macro

clojure macro宏在运行之前机械展开，定义宏相当于给语言增加新特性，写宏的*原则*： 

• 能写成函数就不要用宏（因为写宏没有写函数简单直观，容易写错，需要先在 REPL 中测试一番） 
• 只有不得不用时才用宏（性能要求高时比函数调用快，或者需要“代码<->数据”相互转换） 
• 精心设计的宏调用比函数调用更 DSL（如实现控制结构、传递 Java方法） 

宏与函数

;; 宏正确写法
(defmacro op [x f1 y f2 z]
  (list f2 z (list f1 x y)))      

(println (op 5 + 2 * 10))                   ;; 70
(println (macroexpand '(op 5 + 2 * 10)))                     ;; (* 10 (+ 5 2))
(println (macroexpand-1 '(op 5 + 2 * 10)))                   ;; (* 10 (+ 5 2))
(println (clojure.walk/macroexpand-all '(op 5 + 2 * 10)))    ;; (* 10 (+ 5 2))

;; 宏错误写法
(defmacro op2 [x f1 y f2 z]
  ( f2 z (f1 x y)))

(println (op2 5 + 2 * 10))                  ;; 2
(println (macroexpand '(op2 5 + 2 * 10)))                    ;; 2
(println (macroexpand-1 '(op2 5 + 2 * 10)))                  ;; 2
(println (clojure.walk/macroexpand-all '(op2 5 + 2 * 10)))   ;; 2

;; 不使用宏
(defn op3 [x f1 y f2 z]
  ( f2 z (f1 x y)))

(println (op3 5 + 2 * 10))                  ;; 70
(println (macroexpand '(op3 5 + 2 * 10)))                    ;; (op3 5 + 2 * 10)
(println (macroexpand-1 '(op3 5 + 2 * 10)))                  ;; (op3 5 + 2 * 10)
(println (clojure.walk/macroexpand-all '(op3 5 + 2 * 10)))   ;; (op3 5 + 2 * 10)

说明： 

正确的宏写法，需要添加 list，宏用defmacro定义，不用宏写法的函数用defn定义
调试宏，用macroexpand展开

宏符号

`	原原本本地直译过去，不用`，let语句不被翻译，例如: (let [datastr '{:a 1 :b 2}])
~'	后面的变量被直接翻译过去，例如：(let [~'conn "meta"] (with-mongo ~'conn))
'~	变量名本身而非值，例如：(defn f1 [x] (println '~x ":" ~x))  (let [a 10] (f1 a)) ;; a:10
~@	表示多条语句

示例1：

(defmacro debug [x] `(println "---" '~x ":" ~x))
(let [a 10] (debug a))             ;; --- a : 10

说明：

'~x  显示变量名，即a

~x 解析为变量值，即a的值 10

示例2：

(defn make-connection [x] (println "in make-connection = " x) x)    ;; meta
(defn with-mongo [x] (println "in with-mongo = " x))   ;; meta

(defmacro with-dict
  "连接到 meta库的 dict表进行操作"
  [& body]
  `(let [~'dbname "meta"
         ~'tbname :dict
         ~'conn (make-connection ~'dbname)
         ]
     (with-mongo ~'conn)
     (println "~'conn = " ~'conn)   ;; meta
     (println "~'tbname = " ~'tbname)   ;; :dict
     (println "~@body = " ~@body)       ;; meta :dict db-test2' tbl-test2'
     ~@body))


(let [dbname 'db-test' 
      tbname 'tbl-test'
      dbname2 'db-test2' 
      tbname2 'tbl-test2'
      conn 'conn-sql'
      make-connection 'make-conn'
      body 'body1']
  (with-dict dbname tbname dbname2 tbname2))

运行结果：

in make-connection =  meta
in with-mongo =  meta
~'conn =  meta
~'tbname =  :dict
~@body =  meta :dict db-test2' tbl-test2'
说明：

make-connection 和 with-mongo 是定义的函数，后面传递的是参数，使用 ~' 修饰直接翻译过去，即字符串传字符串，:dict 键值也传键值

with-dict 传递多个参数给body，其中 dbname tbname 在 with-dict 中被重新赋值，因此打印出的结果也为赋值后的最新结果