当一个函数存在仪器化失败时,explain-data会包含“调用者”信息。然而,如果仪器化失败是针对宏的话,这个信息会缺失。
这个评论使我相信,explain-data包含此信息是预期行为,以便第三方错误打印程序可以显示它。
在下面的重现中,我设置了一个自定义打印程序以仅捕获原始explain-data(它不是一个有用的打印程序,只是一个演示解决问题的方法)
重现
(require '[clojure.spec.alpha :as s])
(require '[clojure.spec.test.alpha :as st])
(require '[clojure.specs.alpha :as s])
(s/fdef my-fn
:args (s/cat :x int?))
(defn my-fn [x]
x)
(s/fdef my-macro
:args (s/cat :x int?))
(defmacro my-macro [x]
x)
(st/instrument)
(def !ed (atom nil))
(set! s/*explain-out* (fn [ed]
(reset! !ed ed)))
(my-fn "")
@!ed
;; {:clojure.spec.alpha/problems [{:path [:args :x], :pred clojure.core/int?, :val "", :via [], :in [0]}], :clojure.spec.alpha/spec #object[clojure.spec.alpha$regex_spec_impl$reify__2436 0x72029b0e "clojure.spec.alpha$regex_spec_impl$reify__2436@72029b0e"], :clojure.spec.alpha/value (""), :clojure.spec.alpha/args (""), :clojure specs.test.alpha/failure :instrument, :clojure.spec.test.alpha/caller {:file "form-init8333540581183382896.clj", :line 548, :var-scope expound.alpha/eval27394}}
;; ^--- 注意有一个 :clojure specs.test.alpha/caller 条目
(my-macro "")
@!ed
;; #:clojure.spec.alpha{:problems [{:path [:args :x], :pred clojure.core/int?, :val "", :via [], :in [0]}], :spec #object[clojure.spec.alpha$regex_spec_impl$reify__2436 0x479a6a73 "clojure.spec.alpha$regex_spec_impl$reify__2436@479a6a73"], :value (""), :args ("")}
;; ^--- 没有调用者信息