2024 Clojure 状态调查! 中分享您的想法。

欢迎!请查看 关于页面 了解更多关于这是如何工作的信息。

+1
编译器

我在一个使用 Clojure 和 RoboVM 的项目中工作。我们使用 AOT 编译将 Clojure 编译成 JVM 类,然后使用 RoboVM 将 JVM 类编译成本地代码。在我们的 Clojure 代码中,我们调用 RoboVM 提供的 Java API,这些 API 封装了当地的 iOS API。

但我们发现继承和类级别静态初始化代码存在一个问题。许多 iOS API 需要继承自一个基对象,然后重写某些方法。目前,Clojure 在编译时运行父类的静态初始化代码,无论是使用 ":gen-class" 还是 "proxy" 创建子类。然而,RoboVM 的基 "ObjCObject" 类(链接:1),许多 iOS 特定的类都继承自它,它需要一个 iOS 运行时来初始化,并且由于代码未在设备上运行,在编译时抛出错误。

CLJ-1315 通过修改 "import" 来加载类而不运行静态初始化代码解决了类似的问题。我已经编写了自己的补丁,该补丁将此行为扩展到 ":gen-class" 和 "proxy"。单元测试已通过,我们正在我们的 iOS 应用中成功使用此代码。

补丁: clj-1743-2.patch

以下是一些可以用来说明当前行为的示例代码(完整演示项目在 https://github.com/figly/clojure-static-initialization

`
package clojure_static_initialization;

public class Demo {
static {

System.out.println("Running static initializers!");

}
public Demo () {
}
}
`

(ns clojure-static-initialization.gen-class-demo (:gen-class :extends clojure_static_initialization.Demo))

`
(ns clojure-static-initialization.proxy-demo)

(defn make-proxy []
(proxy [clojure_static_initialization.Demo] []))
`

链接:1 https://github.com/robovm/robovm/blob/master/objc/src/main/java/org/robovm/objc/ObjCObject.java

14 答案

0

评论者:alexmiller

与前版本无变化,只是更新以适用于1.7.0-RC2的master分支。

0

评论者:alexmiller

如果您有一个与代理和gen-class一起测试的草图,这将是有帮助的。

0

评论者:abram

当然,您想要什么形式的草图代码?一个小型独立项目?单元测试?

0

评论者:alexmiller

以下是在测试描述中使用的Java代码(一个带有静态初始化器的类和打印功能)和Clojure代码(扩展它的gen-class和proxy),这里可以用来展示问题。不应有任何针对iOS或其他外部依赖的依赖关系。

0

评论者:abram

已添加示例代码,请告诉我是否可以添加其他内容!

0

评论者:abram

出于好奇,这种情况有可能进入1.8版本的机会有多大?

0

评论者:alexmiller

未知。

0

评论者:notespin

我也受到了这个bug的影响。一个命名空间中的函数调用了在原地初始化的静态Java变量。另一个通过genclass化的命名空间调用该函数。现在在编译时,静态的java会初始化,这导致了构建失败,因为静态java初始化需要构建机器上不存在的资源。

0
by

评论者:michaelblume

刷新补丁以便于应用到master上,没有更改,保留归属。

0
by

评论者:alexmiller

我对于补丁中在RT.loadClassForName()中做出的更改感到困惑,但编译器中的更改是调用RT.classForNameNonLoading()吗?这是补丁的偏移还是怎么回事?

0
by

评论者:sonicsmooth

感谢你发布这个补丁。静态初始化器的问题使得在使用AOT和交互式开发中进行JavaFX开发变得困难。我今天克隆了Clojure 1.9.0-master源码并应用了这个补丁,但示例Clojure项目仍然显示"运行静态初始化器!" 我验证了这在使用我的实际用例中的情况。如果我要首先启动JFXPanel,错误就会消失。截至2017年9月,有其他解决方案吗,例如另一种定义代理或延迟到运行时的方式?谢谢。

$ lein clean;lein repl
编译1个源文件到C:\dev\clojure\clojure-static-initialization\target\classes
编译clojure-static-initialization.gen-class-demo
编译clojure-static-initialization.proxy-demo
运行静态初始化器!
Clojure 1.9.0-master-SNAPSHOT

user=> (def lcp (proxy (link: javafx.scene.control.ListCell) (link: )))

CompilerException java.lang.ExceptionInInitializerError, compiling:(C:\dev\clojure\clojure-static-initialization\target\f31ee90298a1be447b450330204c3c0806c08b96-init.clj:1:10)

$ lein clean;lein repl
编译1个源文件到C:\dev\clojure\clojure-static-initialization\target\classes
编译clojure-static-initialization.gen-class-demo
编译clojure-static-initialization.proxy-demo
运行静态初始化器!
Clojure 1.9.0-master-SNAPSHOT

user=> (def jfxpanel (javafx.embed.swing.JFXPanel.))

'user/jfxpanel

user=> (def lcp (proxy (link: javafx.scene.control.ListCell) (link: )))

'user/lcp

0
by

评论者:[email protected]

我不太确定简单的解决方法只是交换调用{{classForNameNonLoading}}几个地方的问题。{{proxy}}进行了一些相当复杂的内省和类分析,它在很多地方都触及到了静态代码。

另一种解决方案是拥有一个代理函数 - 一个像{{proxy}}一样在运行时做同样事情的功能。
我目前有一个针对JavaFX的ListCell ... 的解决方案...

0

评论者:[email protected]

解决办法:将宏评估从编译时延迟到运行时。
在这种情况下,我假设您已将代理调用封装在一个函数中,并且在运行时做这件事是安全的(因为您已经初始化了JavaFX或其他内容)
1. 使用“反引号”来防止您的宏在编译时评估。
2. 将您的反引号代码封装在eval中

(defn make-thing [] (eval `(proxy ...

  1. 局部绑定和函数参数需要用"gensym"做映射 1. .
  2. 隐式的{{this}}需要作为~'this访问

`
(defn make-thing []
(eval
`(proxy [ListCell][]

 (updateItem [item# empty?#]
   (proxy-super updateItem item# empty?#)            
     (.setText ~'this nil)
     ...

`

  1. 传递给函数的参数需要在eval外动态绑定,并在反引号代码中可能重新绑定,以便在单独的线程中访问

`
(def ^:dynamic an-arg nil)

(defn make-thing [an-arg]
(binding [*an-arg* an-arg]

(eval
`(let [an-arg# *an-arg*]
  (proxy [ListCell][]
    (updateItem [item# empty?#]
      (proxy-super updateItem item# empty?#)            
       (.setText ~'this nil)
       (println "an-arg:" an-arg#)
       ...

`

这可以用宏来完成吗?例如{{proxyfn}}

0
...