在Groovy中使用类型化的参数闭包

如何解决在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\',{ 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中的闭包。