首页
学习
活动
专区
工具
TVP
发布
精选内容/技术社群/优惠产品,尽在小程序
立即前往

Clojure 学习入门(11)—— 宏 macro

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

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

宏与函数

代码语言:javascript
复制
;; 宏正确写法
(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:

代码语言:javascript
复制
(defmacro debug [x] `(println "---" '~x ":" ~x))
(let [a 10] (debug a))             ;; --- a : 10

说明:

'~x  显示变量名,即a

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

示例2:

代码语言:javascript
复制
(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 中被重新赋值,因此打印出的结果也为赋值后的最新结果

下一篇
举报
领券