在Groovy中使用类型化的参数闭包
|
我想更明确地说明关于其参数类型的闭包。所以我会写类似
List<Y> myCollect(List<X> list, Closure<X,Y> clos) { ... }
我知道Groovy不会使用该类型信息,但是Groovy ++可能会在编译时使用它。能否实现(除了发表评论之外)?
更新:
标题听起来可能有误导性,但我认为上面的示例可以使标题更清楚。我对指定闭包的类型感兴趣,闭包的类型是某些函数的参数。假设我想重新定义内置的collect
。所以我对写作myCollect
感兴趣,而不对写作clos
感兴趣。我要实现的是获取编译时错误
myCollect([\'a\', \'ab\'], { it / 2 }) // compile error
myCollect([\'a\', \'ab\'], { it.size() }) // OK
没有找到相关结果
已邀请:
2 个回复
娜拐赐巫潭
这是带有参数类型的闭包
我知道Groovy不会使用该类型信息,但是Groovy ++可能会在编译时使用它。 Groovy确实做了一些编译时类型检查,但不如Groovy ++(或Java)那么多。即使在编译时未使用类型信息,也将在运行时对其进行检查,并且作为文档形式也很有价值。
良阑纠苫
呼叫者然后使用普通呼叫:
如果省略参数并使用@CompileStatic,则编译器将选择缺少的参数或错误的类型。 之所以可行,是因为1方法接口等效于Groovy中的闭包。