
其他人是对的,Clojure不能确保返回的集合中元素的类型,等等。(实际上,JVM也不能确保集合中元素的类型,这完全由javac处理。)
但是,我看到了向其他Java程序员提供API的价值,该API指定了一个接口,该接口声明以各种方式对参数化的返回值(或参数)进行了参数化;如果人们希望在现有的Java环境中使用Clojure而不产生麻烦,那么这将特别有吸引力。
当前,这需要两步过程:
- 定义一个单独的接口(在Java中!),可以根据需要指定参数化类型
- 定义你的
gen-class
命名空间(或proxy
或reify
实例),使得它实现该接口
(Clojure确实提供了一种
definterface格式,可以避免使用单独的Java接口定义,但是
definterface,与Clojure的其余部分一样,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项目中,并将处理跨语言依赖性。
欢迎分享,转载请注明来源:内存溢出
微信扫一扫
支付宝扫一扫
评论列表(0条)