Question

我知道clojure / java interop的基础知识：从clojure调用java，反之亦然。但是，我无法将clojure中的类型集合返回给java。我试图从调用clojure的java代码中看到那种自然List<TypedObject>的东西。

Java Object:

public class TypedObject {
    private OtherType1 _prop1;
    public OtherType1 getProp1() {
        return _prop1;
    }
    public void setProp1(OtherType1 prop1) {
        _prop1 = prop1;
    }
}

CLojure method:

(defn -createListOfTypedObjects
      "Creates and returns a list of TypedObjects"
      [input]
      ;Do work here  to create and return list of TypedObjects
      [typedObj1, typedObj2, typedObj3])

(:gen-class
 :name some.namespace
 :methods [createListofTypedObjects[String] ????])

让我们考虑一下，我正在使用clojure编写一个API，它将作为jar文件分发，以便在java中使用。我的问题是如何通过代替????上面的问题标记在：AOT的gen-class中，所以程序员使用我的api在java中编写一段代码，可以在eclipse中有适当的intellisense / code完成（即：createListofTypedObjects() returns List<TypedObject>）。

Answer 1

其他人是对的，Clojure不能确保返回集合中的元素类型等。（实际上，JVM也不能确保集合中元素的类型 - 完全由javac处理。）

但是，我可以看到为其他Java程序员提供API的价值，这些程序员指定了一个接口，该接口声明以各种方式参数化的返回值（或参数）;如果想要在现有Java环境中使用Clojure而不制造波浪，这一点尤其具有吸引力。

目前需要两个步骤：

定义一个单独的接口（在Java中！），根据需要指定参数化类型
定义您的gen-class命名空间（或proxy或reify实例），以便它实现该接口

（Clojure确实提供了definterface形式，允许您避免单独的Java接口定义，但definterface，就像Clojure的其余部分一样，不提供指定参数化类型。也许有一天......： - ））

e.g。

public interface IFoo {
    List<TypedObject> createListOfTypedObjects ();
}

然后你的gen-class命名空间：

(ns your.ns.FooImpl
  (:gen-class
    :implements [IFoo]))
(defn -createListOfTypedObjects
  []
  [typedObj1, typedObj2, typedObj3])

当您的用户创建FooImpl的实例时，他们会例如获取代码完成，指示该方法返回List<TypedObject>而不是Object或未参数化的List类型。

如果您正在使用理智的构建工具（例如maven，gradle或正确配置的ant），那么您可以将Java接口放在Clojure项目中，并且将对交叉语言依赖关系进行处理的。

Answer 2

如果您尝试将List<String>之类的内容传递给java方法，那么您无需担心它。类型参数（例如，String）仅用于javac编译器，因此任何List在运行时都可以正常工作。

另一方面，如果您尝试传递特定对象类型的数组（例如String[]），则可以使用各种-array函数：

user=> (make-array String 10)            ; an empty String array
#<String[] [Ljava.lang.String;@78878c4c>
user=> (into-array ["foo" "bar"])        ; array type inferred from first element
#<String[] [Ljava.lang.String;@743fbbfc>
user=> (into-array Number [1.2 5 7N])    ; explicit type array
#<Number[] [Ljava.lang.Number;@7433b121>

Answer 3

您不必担心Clojure中的泛型（类型集合）。泛型实际上只是Java编译器的类型提示。在正在运行的Java程序中，List<String>实际上与List<Object>相同。

因此，例如，包含字符串的Clojure向量已经是List<String>，无需转换。

如何将类型化的集合从clojure传递给java？

3 个答案: