Clojure编译器不是一个完整程序编译器。编译单位是顶层形式。因此,即使你说是“编译这个文件”,实际上发生的情况是那个形式中的每个顶层形式都会单独编译,编译器一次只能“看到”一个顶层形式。
函数是闭包,因此它们不仅仅是代码(像静态方法),它们是代码+封闭的值(像实例方法,其中封闭的值是实例的字段)。
例如:
(fn [x] (fn [y] [x y]))
此代码包含一个内部函数和一个外部函数,编译成两个类。每次调用外部函数时,都会为内部函数的类生成一个新的实例,在构造时传入x的值,并将x存储在某个实例字段中。
使用静态方法实现函数的另一个问题是函数是一等值,而静态方法不是。你不能将静态方法作为参数传递等。有一些一等静态方法表示,比如反射的Method和indy的MethodHandles,但反射被认为较慢,而且当Clojure首次创建时,MethodHandles尚未提供。无论如何,这两种表示都不能实现Clojure的函数接口IFn,因此需要大量工作才能使它们正常工作(可能需要重新设计Clojure调用函数的方式以使用动态调用)。
在一般情况下,函数需要能够封装值(实例字段),并需要某种一等表示(实例),因此静态方法是不合适的。
但Clojure编译器确实进行了一些优化,可以在某些情况下为函数生成静态方法,并将函数调用转换为静态方法调用。但仍然生成实例方法版本(该版本仅调用静态方法),因为编译器并不能总是确定正在调用的函数,所以必须使所有函数都支持相同的一般调用约定(成为实现IFn的实例)。
我一直在研究一个方法,用于修复https://clojure.atlassian.net/browse/CLJ-701问题,我还没有发布补丁(它仍然不可用),这使得编译器更积极地用静态方法替换某些函数定义和调用,并完全消除了为这些函数生成单独类的问题,但它适用范围非常有限,并且仅限于在定义的地方立即调用的函数,且函数定义不得逃离。这不会覆盖顶层def,因为def会使函数值全球有效,有点像逃逸的定义。