Groovy调用泛型方法不编译

Question

我有Java8 Groovy 2.4.12和下面的代码编译和运行。

import java.util.function.Consumer
import groovy.transform.CompileStatic

@CompileStatic
class Bar {

    public static <T> void foo(T a, Consumer<T> c) { c.accept(a) }

    static void main(args) {
        ['a','b'].each {
            int xyz
            xyz = 1
            foo('') {
                println '1'
                return
            }
        }
    }
}

但是如果你注释掉< code>return，编译器会说

Groovy:[Static type checking] - Cannot call <T> Bar#foo(T, java.util.function.Consumer <T>) with arguments [java.lang.String, groovy.lang.Closure 

此外，如果您注释掉xyz值分配，那么它又可以了。因此，下面的代码编译并运行：

['a','b'].each {
    int xyz
//  xyz = 1
    foo('') {
        println '1'
    //  return
    }
}

这似乎是一种特殊情况，只有在以下情况下才会发生：

• @CompileStatic注释
• 具有两个参数的泛型方法；第一个是泛型类型，第二个是相同泛型类型的接口
• 调用该泛型方法，第二个参数作为闭包，全部包装在另一个闭包中。
• 调用前的变量声明和值赋值（如果在两行或单行上没有区别，如int xyz=1）

我的问题是：；这是一个编译器错误吗？或者有合理的理由解释为什么它在没有return语句的情况下不能编译，而是用它编译？或者为什么添加变量定义会破坏它？

Answer 1

我的问题是；这是编译器错误还是有合理的原因为什么它在没有返回语句的情况下不编译而是用它编译？

前者。