问题描述
|
我想更明确地说明关于其参数类型的闭包。所以我会写类似
List<Y> myCollect(List<X> list,Closure<X,Y> clos) { ... }
我知道Groovy不会使用该类型信息,但是Groovy ++可能会在编译时使用它。能否实现(除了发表评论之外)?
更新:
标题听起来可能有误导性,但我认为上面的示例可以使标题更清楚。我对指定闭包的类型感兴趣,闭包的类型是某些函数的参数。假设我想重新定义内置的collect
。所以我对写作myCollect
感兴趣,而不对写作clos
感兴趣。我要实现的是获取编译时错误
myCollect([\'a\',\'ab\'],{ it / 2 }) // compile error
myCollect([\'a\',{ it.size() }) // OK
解决方法
您可以定义闭包参数的类型,但是上面显示的语法不正确。这是一个没有参数类型的闭包:
def concatenate = {arg1,arg2 ->
return arg1 + arg2
}
这是带有参数类型的闭包
def concatenate = {String arg1,String arg2 ->
return arg1 + arg2
}
我知道Groovy不会使用该类型信息,但是Groovy ++可能会在编译时使用它。
Groovy确实做了一些编译时类型检查,但不如Groovy ++(或Java)那么多。即使在编译时未使用类型信息,也将在运行时对其进行检查,并且作为文档形式也很有价值。
,我想您不再使用Groovy ++,但是即使您这样做,也可以使用。它当然适用于静态类型的Groovy 2.x
interface Z {
void callback(X x,Y y)
}
List<Y> myCollect(List<X> list,Z clos) {
...
clos.callback(x,y)
}
呼叫者然后使用普通呼叫:
List<Y> object.myConnect(list) { X x,Y y ->
}
如果省略参数并使用@CompileStatic,则编译器将选择缺少的参数或错误的类型。
之所以可行,是因为1方法接口等效于Groovy中的闭包。