Как передать типизированную коллекцию из clojure в java?

Я знаю основы clojure/java interop: вызов java из clojure и наоборот. Однако я не смог вернуть типизированную коллекцию из clojure в java. Я пытаюсь увидеть что-то из этой природы List<TypedObject> из java-кода, который вызывает в clojure.

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] ????])

Давайте рассмотрим, что я пишу API, используя clojure, который должен быть распространен как файл jar, который будет использоваться из java. Мой вопрос был действительно как к тому, что передать вместо???? вопросительные знаки выше внутри: gen-класса для AOT, так что программист, пишущий кусок кода в java, используя мой api, может иметь соответствующее завершение intellisense/code (т.е.: createListofTypedObjects() returns List<TypedObject>), например, из eclipse.

ОТВЕТЫ

Ответ 1

Другие правы, что Clojure не обеспечивает типы элементов в возвращенных коллекциях и т.д. (На самом деле, JVM не обеспечивает типы элементов в коллекциях, которые полностью обрабатываются javac.)

Однако я вижу значение предоставления API другим программистам на Java, который указывает интерфейс, который объявляет, что возвращаемые значения (или параметры) параметризуются различными способами; это особенно привлекательно, если вы хотите использовать Clojure в существующей среде Java, не создавая волн.

В настоящее время требуется двухэтапный процесс:

  • определить отдельный интерфейс (в Java!), который задает параметризованные типы, как вам нравится
  • определите пространство имен gen-class (или proxy или reify) таким образом, чтобы он реализовал этот интерфейс

(Clojure предоставляет форму definterface, которая позволит вам избежать определения отдельного интерфейса Java, но definterface, как и остальные Clojure, не предусматривает указания параметризованных типов. Возможно, когда-нибудь...: -))

например.

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, и будет зависеть кросс-язычная зависимость.

Ответ 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>

Ответ 3

Вам не нужно беспокоиться о дженериках (типизированных коллекциях) в Clojure. Генерики - это просто подсказки типа для компилятора Java. В текущей программе Java List<String> фактически совпадает с List<Object>.

Итак, например, вектор Clojure, содержащий строки, уже является List<String> без необходимости преобразования.