当一个函数的仪器失效时,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.spec.alpha/failure :instrument, :clojure.spec.test.alpha/caller {:file "form-init8333540581183382896.clj", :line 548, :var-scope expound.alpha/eval27394}}
;; ^--- 注意这里有一个 :clojure.spec.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 ("")}
;; ^--- 没有调用者信息