3

我正在 Clojure 中进行试验ns，这是我尝试的：

user=> (in-ns 'some-ns)
#<Namespace some-ns>
some-ns=> (def aa 100)
#'some-ns/aa
some-ns=> (in-ns 'user)
#<Namespace user>
user=> (= some-ns/aa 100)
true
user=> (= user/aa 100)
CompilerException java.lang.RuntimeException: No such var: user/aa, compiling:(NO_SOURCE_PATH:5:1) ;this works as expected
user=> (defn function [] (in-ns 'some-other-ns) (def cc 100) (in-ns 'user))
#'user/function
user=> (function)
#<Namespace user>
user=> (= some-other-ns/cc 100)
CompilerException java.lang.RuntimeException: No such var: some-other-ns/cc, compiling:(NO_SOURCE_PATH:8:1)
user=> (= user/cc 100)
true

我很困惑，为什么它在功能上不起作用？另外，我尝试了以下操作：

user=> (binding [*ns* (create-ns 'some-a-ns)] (def dd 100))
#'user/dd
user=> (= some-a-ns/dd 100)
CompilerException java.lang.RuntimeException: No such var: some-a-ns/dd, compiling:(NO_SOURCE_PATH:11:1) 
user=> (= user/dd 100)
true

根据clojure doc

使用符号名称和当前命名空间 (*ns*) 的值的命名空间创建和实习或定位一个全局变量。

我错过了什么？

PS。我知道我可以使用(intern 'some-ns 'a 100)，但我真正想要的是一个通用函数/宏

(with-ns 'some-ns (def a 100))
(= some/a 100)
4

1 回答 1

5

intern是正确的解决方案，您可以在自己的任何函数/宏中使用它。（函数可以调用intern；宏可以扩展为代码调用intern。）

def只能在顶层直接使用或嵌套在顶层表单中，一旦顶层表单出现，它将立即执行。所以，definlet很好，def在函数内部不是。

def从编译器接收特殊处理，因为def表单定义的变量是在编译后立即实际创建的def；def但是，如果控制流实际到达表单，则会安装表单中指定的初始绑定def。这就解释了为什么这个binding例子不起作用——重要的是编译时的值*ns*，而这种binding形式引入的绑定将在运行时生效。

最后，如果你绝对坚持def在运行时使用表单来创建变量，那么这样做的方法是eval：

(binding [*ns* some-ns]
  (eval '(def foo 1)))

;; some-ns/foo comes into existence with a root binding of 1

请注意，这里def确实发生在顶层，并且会在编译后立即执行。

于 2013-08-09T06:14:57.613 回答