在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 
    
已邀请:
您可以定义闭包参数的类型,但是上面显示的语法不正确。这是一个没有参数类型的闭包:
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中的闭包。     

要回复问题请先登录注册