哪些Vars影响Clojure功能？

Question

如何以编程方式确定哪些Vars可能会影响Clojure中定义的函数的结果？

考虑一下Clojure函数的这个定义:

(def ^:dynamic *increment* 3)
(defn f [x]
  (+ x *increment*))

这是(也是^(1)的一个功能x,但也是⁽¹⁾ ;但我不太关心它.在为此函数编写测试时,我想确保控制所有相关输入,因此我执行以下操作:*increment*clojure.core/+

(assert (= (binding [*increment* 3] (f 1)) 4))
(assert (= (binding [*increment* -1] (f 1)) 0))

(想象一下,这*increment*是某人可能合理改变的配置值;我不希望此功能的测试需要在发生这种情况时进行更改.)

我的问题是:我如何写一个断言,它的值(f 1)可以依赖*increment*但不取决于任何其他Var？因为我希望有一天有人会重构一些代码并导致函数成为现实

(defn f [x]
  (+ x *increment* *additional-increment*))

并忽略更新测试,我想测试失败,即使*additional-increment*是零.

这当然是一个简化的例子 - 在一个大型系统中,可以有很多动态Vars,它们可以通过一长串函数调用来引用.该解决方案需要工作,即使f调用g它调用h它引用一个VAR.如果它没有声称(with-out-str (prn "foo"))取决于它会很好*out*,但这不太重要.如果被分析的代码调用eval或使用Java互操作,当然所有的赌注都是关闭的.

我可以想到三类解决方案:

1. 从编译器获取信息

   我想编译器会扫描函数定义以获取必要的信息,因为如果我尝试引用一个不存在的Var,它会抛出:

   user=> (defn g [x] (if true x (+ *foobar* x)))
   CompilerException java.lang.RuntimeException: Unable to resolve symbol: *foobar* in this context, compiling:(NO_SOURCE_PATH:24) 
   

   请注意,这发生在编译时,无论是否将执行违规代码.因此编译器应该知道函数可能引用了哪些Vars,并且我希望能够访问该信息.

2. 解析源代码并遍历语法树,并在引用Var时进行记录

   因为代码就是数据而已.我想这意味着调用macroexpand和处理每个Clojure原语以及它们采用的各种语法.这看起来非常像编译阶段,能够调用编译器的某些部分,或以某种方式将我自己的钩子添加到编译器中会很棒.

3. 检测Var机制,执行测试并查看访问哪些Vars

   不像其他方法那样完整(如果在我的测试无法运行的代码的分支中使用Var会怎么样？)但这就足够了.我想我需要重新定义def产生类似于Var的东西但以某种方式记录它的访问.

---

^{(1)实际上,如果重新绑定,特定功能不会改变+; 但是在Clojure 1.2中,您可以通过制作它来绕过优化(defn f [x] (+ x 0 *increment*)),然后您可以玩得开心(binding [+ -] (f 3)).在Clojure 1.3中尝试重新绑定+会引发错误.}

Answer 1

关于你的第一点,你可以考虑使用该analyze库.有了它,您可以很容易地找出表达式中使用的动态变量:

user> (def ^:dynamic *increment* 3)
user> (def src '(defn f [x]
                  (+ x *increment*)))
user> (def env {:ns {:name 'user} :context :eval})
user> (->> (analyze-one env src) 
           expr-seq 
           (filter (op= :var)) 
           (map :var) 
           (filter (comp :dynamic meta)) 
           set)
#{#'user/*increment*}