是否有可用于比较模式宏表单的工具/函数？

Question

我用我的一些宏的gensym功能，则使得它很难测试：

所以一些宏观的扩张可能是：

'(let [G__10458 (js-obj)] 
    (aset G__10458 "a" (fn [] (? G__10458.val))) 
    (aset G__10458 "val" 3) G__10458) 

我要的是测试它匹配了这种类型的彭定康：

'(let [%1 (js-obj)] 
    (aset %1 "a" (fn [] (? %1.val))) 
    (aset %1 "val" 3) %1) 

有什么东西在clojure.core.match库或做这个另一种模式匹配库？

Answer 1

我已经推出了我自己的现在。它在向量，列表和哈希映射vals上匹配（模式匹配和散列映射键现在对我来说太难了）。

(defn match-sym? [v] 
    (and (symbol? v) 
     (re-find #"^%" (str v)))) 

(defn match 
    ([f1 f2] (match f1 f2 (atom {}))) 
    ([v1 v2 dict] 
    (cond (or (and (list? v1) (list? v2)) 
      (and (vector? v1) (vector? v2))) 
     (and (= (count v1) (count v2)) 
      (->> (map #(match %1 %2 dict) v1 v2) 
        (every? true?))) 

     (and (hash-map? v1) (hash-map? v2)) 
     (and (= (keys v1) (keys v2)) 
      (->> (map #(match %1 %2 dict) (vals v1) (vals v2)) 
        (every? true))) 

     (match-sym? v2) 
     (if-let [vd (@dict v2)] 
      (match v1 vd dict) 
      (do (swap! dict assoc v2 v1) 
       true)) 
     :else (= v1 v2)))) 

及其用法：

> (match '(1 1) '(1 1)) 
;=> true 

> (match '(1 1) '(%1 %1)) 
;=> true 

> (match '(1 2) '(%1 %1)) 
;=> false 

> (match '(let [x 1] (+ x 2)) 
     '(let [%x 1] (+ %x 2))) 
;=> true 

> (match '(let [G__42879 (js-obj)] 
      (aset G__42879 "a" (fn [] (? G__42879.val))) 
      (aset G__42879 "val" 3) G__42879) 

     '(let [%x (js-obj)] 
      (aset %x "a" (fn [] (? %x.val))) 
      (aset %x "val" 3) %x)) 
;=> true 

Answer 2

实际测试您的宏的扩展是非常脆弱的。如果你沿着这条路走下去，宏中的任何小改动都会导致你的测试失败 - 即使你的宏仍然做同样的事情！

更好的方法 - 海事组织 - 是测试你的宏应该做什么。我们可以安全地假设调用你的宏有一个可观察的副作用 - 在你的例子中它设置了一个JS对象的属性。

在这种情况下，我不会测试扩展，而是编写一个测试，确保JS对象的状态与调用宏后所期望的一致。

这将测试与实现分离开来，让您可以自由地重构宏，因为您认为合适，因为测试更健壮，而且只会在宏发生错误时才会失败。作为一条经验法则，我从不测试宏的扩展。