关于省略'的不一致性；返回'；在Groovy中返回闭包块的关键字

我刚刚开始学习Groovy。然后我进入了这个： 因此，在方法定义的末尾可以省略“return”。好吧 尽管我更愿意亲自使用它，但我还是想看一看。 我测试了一些简单的案例以了解其工作原理：

e、 g.demo.groovy：

def a1 = { return { return 'hi'} }()
println a1

def a2 = { return {'hi'} }()
println a2

def a3 = { {'hi'} }()
println a3

def a4 = { {-> 'hi'} }()
println a4

我运行了脚本，结果是：

demo$_run_closure1$_closure5@21c64522
demo$_run_closure2$_closure6@460f76a6
hi
demo$_run_closure4$_closure7@1922e6d

从案例a1开始，我一次省略一个关键字“return”。它们分别是a2和a3。 让我挠头的是案例a3。我希望关闭像案例a1和a2一样返回。但它返回“嗨”，而不是闭包本身。 因此，我添加了另一个测试用例a4，然后它按预期工作

我试图搜索一些关于它的文档，但找不到合适的。 为什么它返回“hi”而不是闭包对象

提前谢谢

仅供参考，我的groovy版本是：

Groovy版本：3.0.7 JVM:15.0.1供应商：Oracle公司OS:Mac OS X

---

您在

a3

示例中看到的不是嵌套闭包，而是嵌套代码块

嵌套代码块 Java中一种不常用的结构是匿名代码块。通常不鼓励这样做，因为这通常是将相关代码重构为方法的一个标志。但限制作用域有时很有用，现在Groovy中提供了：

{
    def a = 1
    a++
    assert 2 == a
}
try {
    a++ // not defined at this point
} catch(MissingPropertyException ex) {
    println ex.message
}
{
    {
        // inner nesting is another scope
        def a = 'banana'
        assert a.size() == 6
    }
    def a = 1
    assert a == 1
}

请注意，在Groovy中，在任何方法调用之后都有一个代码块结构，这将被视为试图将闭包作为方法调用中的最后一个参数传递。即使在换行之后也会发生这种情况。因此，在任何其他块（例如if-then-else语句或其他匿名代码块）之后启动匿名代码块是安全的。您可能需要使用分号终止前面的语句。在这种情况下，请参见上面关于重构代码的注释！：-）

---

资料来源：

您可以在

groovyConsole

中运行此脚本，然后转到“script”->“Inspect AST”，查看编译器在这种情况下生成的内容：

您可以看到，

a3

是一个隐式返回

'hi'

的闭包

Groovy 3中添加了对嵌套代码块的支持。如果在Groovy 2中运行相同的示例，您将看到以下编译错误：

org.codehaus.groovy.control.MultipleCompilationErrorsException: startup failed:
/home/wololock/workspace/groovy-3-sandbox/src/main.groovy: 7: Ambiguous expression could be either a parameterless closure expression or an isolated open code block;
   solution: Add an explicit closure parameter list, e.g. {it -> ...}, or force it to be treated as an open block by giving it a label, e.g. L:{...} @ line 7, column 12.
   def a3 = { {'hi'} }()
              ^

1 error

---

这一点更为深刻：

{{{{{{{{42}}}（）

也感谢您的伟大回答！现在清楚了。顺便说一句，在语言规范中包含它不是更好吗，而不仅仅是发布说明？作为一个新手，我希望语言规范和JLS一样完整。我对Groovy 2一无所知，但Groovy 2的错误消息，如“不明确！闭包或嵌套的代码块？”比Groovy 3的违反直觉的默认值要清楚得多，至少对我来说是这样。@SillyQuestiler AFAIK没有正式的规范。在我完全错过的这一更改之前，经验法则基本上是：如果你看到

{}

除非靠近某个关键字（try、for、class等），否则它是一个闭包。我也不喜欢这种变化。