Clojure 学习入门（11）- 宏 macro

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

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

宏与函数

[python] view plaincopy print?

;; 宏正确写法
(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：

[python] view plaincopy print?

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

说明：

'~x 显示变量名，即a

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

示例2：

[python] view plaincopy print?

(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 中被重新赋值，因此打印出的结果也为赋值后的最新结果

Clojure 学习入门（11）- 宏 macro相关推荐

Clojure 学习入门（6）- 函数定义
一.创建函数: fn: fn是一个宏,用于定义一个简单的函数,如下: [python] view plaincopy print? user=> (fn [] "hello&quo ...
Clojure 学习入门（6）—— 函数定义
一.创建函数: fn: fn是一个宏,用于定义一个简单的函数,如下: user=> (fn [] "hello") #<user$eval375$fn__376 us ...
Clojure 学习入门（16）- 正则表达式
一.创建正则表达式 re-pattern函数: 函数 (re-pattern) 接受一个字符串参数,返回一个正则表达式样式(java.util.regex.Pattern类的实例).这个样式能用于 ...
Clojure 学习入门（13）- binding
Clojure里面是不支持变量的.Binding跟变量有点像,但是在被赋值之前是不允许改的,包括:全局binding, 线程本地(thread local)binding, 以及函数内的本地bindi ...
Clojure 学习入门（1） - 学习资料
转自:http://blog.csdn.net/ithomer/article/details/17225813 Clojure(发音类似"closure",['kləʊʒə(r) ...
Clojure 学习入门（15）- 条件判断
一.标准的流程控制 if: 将一个判断表达式作为它的第一个参数进行求值.如果求值为true,那么就返回它的第二个参数(相当于"then"子句)的求值结果.如果结果为false( ...
Clojure 学习入门（14）- 循环控制
Clojure 基于函数的流程控制 repeatedly 字面意思为重复函数.一般的用法如下: user=> (repeatedly 5 #(rand-int 11)) (6 8 2 6 6) ...
Clojure 学习入门（7）- 连接mysql
Clojure的contrib包中实现了对现有JDBC的封装,在wiki上有连接,该页面上包含了对不同的数据库的连接方法和基本的操作,但是这个页面上没有提供足够的信息,足够一个初学者能够使用Cloju ...
Clojure 学习入门（3）- 数字类型
一.算术运算加法+:加法函数(+)接受任意数值类型的参数,返回它们的和:没有参数时返回0. [python] view plaincopy print? $clojure Clojure 1.2 ...

Clojure 学习入门（11）- 宏 macro

Clojure 学习入门（11）- 宏 macro相关推荐

最新文章

热门文章